back to root

back to Zipperposition

Compiling on Mac

• Jasmin Blanchette

  2020-07-14 11:56:1 (GMT)

  I get

  menhir src/parsers/Parse_dk.{ml,mli}
  Warning: you are using the standard library and/or the %inline keyword. We
  recommend switching on --infer in order to avoid obscure type error messages.
  

  Is that a good sign? ;)