Make -CF -LEX -VAR sorts of kind KERNEL() to support kernel productions.

metaborg · Oct 7, 2021 · 3579ddd · 3579ddd
1 parent 616a8b0
commit 3579ddd
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/org.metaborg.meta.lang.template/trans/statix/sort_cons.stx b/org.metaborg.meta.lang.template/trans/statix/sort_cons.stx
@@ -47,9 +47,9 @@ rules
 
   kindOfSymbolDef: scope * SymbolDef -> SORT_KIND
   kindOfSymbolDef(s, SortDef(name))   = K :- kindOfSort(s, name) == K.
-  kindOfSymbolDef(s, SymbolDefCf(_))  = CONTEXTFREE().
-  kindOfSymbolDef(s, SymbolDefLex(_)) = LEXICAL().
-  kindOfSymbolDef(s, SymbolDefVar(_)) = VAR().
+  kindOfSymbolDef(s, SymbolDefCf(_))  = KERNEL().
+  kindOfSymbolDef(s, SymbolDefLex(_)) = KERNEL().
+  kindOfSymbolDef(s, SymbolDefVar(_)) = KERNEL().
   kindOfSymbolDef(s, SymbolDef_Symbol(symbol)) = K :- kindOfSymbol(s, symbol) == K.
 
   typeOfSortConsRef: scope * SortConsRef -> TYPE

diff --git a/org.metaborg.meta.lang.template/trans/statix/symbol.stx b/org.metaborg.meta.lang.template/trans/statix/symbol.stx
@@ -88,11 +88,11 @@ rules
     kindsOfSymbols(s, symbols) == _,
     @sy.kind := K.
 
-  kindOfSymbol(s, Cf(symbol)) = CONTEXTFREE() :-
+  kindOfSymbol(s, Cf(symbol)) = KERNEL() :-
     kindOfSymbol(s, symbol) == _. // TODO: check kind?
-  kindOfSymbol(s, Lex(symbol)) = LEXICAL() :-
+  kindOfSymbol(s, Lex(symbol)) = KERNEL() :-
     kindOfSymbol(s, symbol) == _. // TODO: check kind?
-  kindOfSymbol(s, Varsym(symbol)) = VAR() :-
+  kindOfSymbol(s, Varsym(symbol)) = KERNEL() :-
     kindOfSymbol(s, symbol) == _. // TODO: check kind?
   kindOfSymbol(s, Label(label, symbol)) = K :-
     labelOK(s, label),