move concrete syntax to frontend

RedPRL · Jun 30, 2020 · 1a758f5 · 1a758f5
1 parent a038a46
commit 1a758f5
Show file tree

Hide file tree

Showing 5 changed files with 3 additions and 3 deletions.
diff --git a/src/core/ConcreteSyntax.ml → src/frontend/ConcreteSyntax.ml b/src/core/ConcreteSyntax.ml → src/frontend/ConcreteSyntax.ml
diff --git a/src/core/ConcreteSyntax.mli → src/frontend/ConcreteSyntax.mli b/src/core/ConcreteSyntax.mli → src/frontend/ConcreteSyntax.mli
diff --git a/src/core/ConcreteSyntaxData.ml → src/frontend/ConcreteSyntaxData.ml b/src/core/ConcreteSyntaxData.ml → src/frontend/ConcreteSyntaxData.ml
@@ -1,4 +1,5 @@
 open Basis
+open Core
 
 type info = LexingUtil.span option
 

diff --git a/src/frontend/Grammar.mly b/src/frontend/Grammar.mly
@@ -44,8 +44,8 @@
 %nonassoc COLON
 %nonassoc FST SND VPROJ CAP SUC LOOP RIGHT_ARROW TIMES
 
-%start <Core.ConcreteSyntax.signature> sign
-%start <Core.ConcreteSyntax.command> command
+%start <ConcreteSyntax.signature> sign
+%start <ConcreteSyntax.command> command
 %type <Ident.t> plain_name name
 %type <con_>
   plain_atomic_in_cof_except_term

diff --git a/src/frontend/Load.mli b/src/frontend/Load.mli
@@ -1,5 +1,4 @@
 open Basis
-open Core
 
 type error =
   | LexingError of {span : LexingUtil.span; last_token: string option}