ohmjs · LiamRiddell · Aug 7, 2023 · Aug 7, 2023 · Aug 16, 2023 · Aug 16, 2023
diff --git a/.gitattributes b/.gitattributes
@@ -0,0 +1,2 @@
+ text=lf
+ *.js linguist-vendored eol=lf
diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -0,0 +1,3 @@
+{
+    "files.eol": "\n"
+}
diff --git a/packages/ohm-js/dist/ohm-grammar.js b/packages/ohm-js/dist/ohm-grammar.js
diff --git a/packages/ohm-js/src/ohm-grammar.ohm b/packages/ohm-js/src/ohm-grammar.ohm
@@ -1,5 +1,14 @@
 Ohm {
 
+  Document
+    = Includes? Grammars
+
+  Includes
+    = IncludeStatement+
+
+  IncludeStatement
+      = include "'" relativeFilePath "'"
+
   Grammars
     = Grammar*
 
@@ -61,6 +70,12 @@ Ohm {
     | terminal                                       -- terminal
     | "(" Alt ")"                                    -- paren
 
+  include
+  	= caseInsensitive<"include">
+
+  relativeFilePath 
+  	= ~"'" (letter | digit | "-" | "\\" | "/" | ".")+ 
+
   ruleDescr  (a rule description)
     = "(" ruleDescrText ")"
 

diff --git a/~/.gitconfig b/~/.gitconfig
@@ -0,0 +1,2 @@
+[core]
+autocrlf = false