Syntax error messages missing

ComputerAidedLL / click-and-collect

A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml

GNU Lesser General Public License v2.1

19 stars 2 forks source link

Closed olaure01 closed 3 years ago

olaure01 commented 3 years ago

Syntax errors do not produce messages on pre-prod version. OK on main one.

etiennecallies commented 3 years ago

Thanks @olaure01 ! It's deployed on preprod.