housekeeping

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

src/ligo/multifix/foo.test

@@ -1 +0,0 @@
-let toto = at * bo in list [ toto ; tata ; titi ]