@@ -5,10 +5,15 @@ const htmlGenFile = "../src/React/Basic/DOM/Generated.purs";
55const htmlSimplifiedGenFile = "../src/React/Basic/DOM/Simplified/Generated.purs" ;
66const svgGenFile = "../src/React/Basic/DOM/SVG.purs" ;
77
8- const htmlHeader = `-- | ----------------------------------------
8+ const warningHeader = `-- | -------------------- ----------------------------------------
99-- | 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+ ` ;
1115
16+ const htmlHeader = `${ warningHeader }
1217module React.Basic.DOM.Generated where
1318
1419import Data.Nullable (Nullable)
@@ -23,10 +28,7 @@ import Web.DOM (Node)
2328
2429` ;
2530
26- const simplifiedHtmlHeader = `-- | ----------------------------------------
27- -- | THIS FILE IS GENERATED -- DO NOT EDIT IT
28- -- | ----------------------------------------
29-
31+ const simplifiedHtmlHeader = `${ warningHeader }
3032module React.Basic.DOM.Simplified.Generated where
3133
3234import Data.Nullable (Nullable)
@@ -55,10 +57,7 @@ const propType = (e, p) => {
5557 }
5658}
5759
58- const svgHeader = `-- | ----------------------------------------
59- -- | THIS FILE IS GENERATED -- DO NOT EDIT IT
60- -- | ----------------------------------------
61-
60+ const svgHeader = `${ warningHeader }
6261module React.Basic.DOM.SVG where
6362
6463import Data.Nullable (Nullable)
0 commit comments