diff --git a/src/ligo/ligo-parser/.gitignore b/src/ligo/ligo-parser/.gitignore index 14e1f3c03..5d8b6a914 100644 --- a/src/ligo/ligo-parser/.gitignore +++ b/src/ligo/ligo-parser/.gitignore @@ -5,3 +5,4 @@ _build/* */.merlin *.install /Version.ml +/dune-project diff --git a/src/ligo/ligo-parser/AST2.ml b/src/ligo/ligo-parser/AST2.ml index 78a181f79..73f5b9b85 100644 --- a/src/ligo/ligo-parser/AST2.ml +++ b/src/ligo/ligo-parser/AST2.ml @@ -1,3 +1,5 @@ +(* + [@@@warning "-30"] module I = AST @@ -793,3 +795,5 @@ let s_ast (ast : I.ast) : O.ast = (* and s_terminator = function *) (* Some semi -> s_token semi ";" *) (* | None -> () *) + + *) diff --git a/src/ligo/ligo-parser/Typecheck2.ml b/src/ligo/ligo-parser/Typecheck2.ml index fe62ead71..7be850385 100644 --- a/src/ligo/ligo-parser/Typecheck2.ml +++ b/src/ligo/ligo-parser/Typecheck2.ml @@ -1,3 +1,4 @@ +(* [@@@warning "-27"] (* TODO *) [@@@warning "-32"] (* TODO *) [@@@warning "-30"] @@ -272,3 +273,4 @@ let a_ast I.{types; storage_decl; declarations; orig} = O.{types; storage_decl; declarations; orig} let annotate : I.ast -> O.ast = a_ast +*) diff --git a/src/ligo/ligo-parser/Typecheck2.mli b/src/ligo/ligo-parser/Typecheck2.mli index 0a9003ae7..ba541d029 100644 --- a/src/ligo/ligo-parser/Typecheck2.mli +++ b/src/ligo/ligo-parser/Typecheck2.mli @@ -1,3 +1,4 @@ +(* [@@@warning "-30"] module SMap : Map.S with type key = string @@ -106,3 +107,4 @@ module O : sig end val annotate : I.ast -> O.ast +*) diff --git a/src/ligo/ligo-parser/dune-project b/src/ligo/ligo-parser/dune-project deleted file mode 100644 index 70db9f0d9..000000000 --- a/src/ligo/ligo-parser/dune-project +++ /dev/null @@ -1,2 +0,0 @@ -(lang dune 1.7) -(using menhir 2.0)