Allow underscore in constructor names.

metaborg · Oct 1, 2021 · a5253d1 · a5253d1
1 parent f3a26eb
commit a5253d1
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/org.metaborg.meta.lang.spt/syntax/spt/ATerm.sdf3 b/org.metaborg.meta.lang.spt/syntax/spt/ATerm.sdf3
@@ -9,7 +9,7 @@ TermAnno.Anno = <<PreTerm>{<{PreTerm ", "}*>}>
 // Lists conflict with fragment markers, so they can't be ATerm in our grammar
 TermList.List = <[<{Term ", "}*>]>
 
-Term.Appl = <<ID>(<{MidTerm ", "}*>)>
+Term.Appl = <<CONS>(<{MidTerm ", "}*>)>
 Term.Tuple = <(<{MidTerm ", "}*>)>
 Term.Int = <<INT>>
 Term.String = <<ASTRING>>

diff --git a/org.metaborg.meta.lang.spt/syntax/spt/Common.sdf3 b/org.metaborg.meta.lang.spt/syntax/spt/Common.sdf3
@@ -7,6 +7,7 @@ lexical syntax
   MODULE-PATH    = {MODULE-ID "/"}+
   LANG           = [a-zA-Z] [a-zA-Z0-9\-\_]*
   SORT           = [a-zA-Z] [a-zA-Z0-9\-\_]*
+  CONS           = [a-zA-Z] [a-zA-Z0-9\-\_]*
   STRAT          = [a-zA-Z] [a-zA-Z0-9\-\_\']*
   INT            = "-"? [0-9]+
   STRING         = "\"" StringChar* "\""
@@ -33,6 +34,7 @@ lexical restrictions
   MODULE-ID     -/- [a-zA-Z0-9\-\_\']
   LANG          -/- [a-zA-Z0-9\-\_\']
   SORT          -/- [a-zA-Z0-9\-\_\']
+  CONS          -/- [a-zA-Z0-9\-\_\']
   STRAT         -/- [a-zA-Z0-9\-\_\']
   INT           -/- [0-9]