@@ -5,10 +5,15 @@ const htmlGenFile = "../src/React/Basic/DOM/Generated.purs";
5
5
const htmlSimplifiedGenFile = "../src/React/Basic/DOM/Simplified/Generated.purs" ;
6
6
const svgGenFile = "../src/React/Basic/DOM/SVG.purs" ;
7
7
8
- const htmlHeader = `-- | ----------------------------------------
8
+ const warningHeader = `-- | -------------------- ----------------------------------------
9
9
-- | THIS FILE IS GENERATED -- DO NOT EDIT IT
10
- -- | ----------------------------------------
10
+ -- | Instead edit files under 'codegen/' dir and regenerate with:
11
+ -- | npm install
12
+ -- | node ./index.js
13
+ -- | ------------------------------------------------------------
14
+ ` ;
11
15
16
+ const htmlHeader = `${ warningHeader }
12
17
module React.Basic.DOM.Generated where
13
18
14
19
import Data.Nullable (Nullable)
@@ -23,10 +28,7 @@ import Web.DOM (Node)
23
28
24
29
` ;
25
30
26
- const simplifiedHtmlHeader = `-- | ----------------------------------------
27
- -- | THIS FILE IS GENERATED -- DO NOT EDIT IT
28
- -- | ----------------------------------------
29
-
31
+ const simplifiedHtmlHeader = `${ warningHeader }
30
32
module React.Basic.DOM.Simplified.Generated where
31
33
32
34
import Data.Nullable (Nullable)
@@ -55,10 +57,7 @@ const propType = (e, p) => {
55
57
}
56
58
}
57
59
58
- const svgHeader = `-- | ----------------------------------------
59
- -- | THIS FILE IS GENERATED -- DO NOT EDIT IT
60
- -- | ----------------------------------------
61
-
60
+ const svgHeader = `${ warningHeader }
62
61
module React.Basic.DOM.SVG where
63
62
64
63
import Data.Nullable (Nullable)
0 commit comments