diff --git a/src/ligo/multifix/dune b/src/ligo/multifix/dune index 198700359..5cde1b385 100644 --- a/src/ligo/multifix/dune +++ b/src/ligo/multifix/dune @@ -18,21 +18,18 @@ (targets parser.ml parser.mli) (deps parser.mly ast.ml) (action (system "menhir --external-tokens Lex.Token lex/token.mly parser.mly --base parser")) - (mode promote-until-clean) ) (rule (targets parser.mly) (deps partial_parser.mly pre_parser.mly) (action (system "cat pre_parser.mly partial_parser.mly > parser.mly")) - (mode promote-until-clean) ) (rule (targets partial_parser.mly) (deps generator.exe) (action (system "./generator.exe parser > partial_parser.mly")) - (mode promote-until-clean) ) ;; Generating AST @@ -41,7 +38,6 @@ (targets ast.ml) (deps generator.exe) (action (system "./generator.exe ast > ast.ml")) - (mode promote-until-clean) ) ;; Generating Generator diff --git a/src/ligo/multifix/foo.test b/src/ligo/multifix/foo.test deleted file mode 100644 index debde1b01..000000000 --- a/src/ligo/multifix/foo.test +++ /dev/null @@ -1 +0,0 @@ -let toto = at * bo in list [ toto ; tata ; titi ]