search

easyuc / EasyUC

Experiments with Universal Composability in EasyCrypt
31 stars 1 forks source link

Loading invalid .uc file #16

Closed 01tomislav closed 1 year ago

01tomislav commented 1 year ago

replace lexing/parsing/typechecking error message with a new one directing user to typecheck file before loading

alleystoughton commented 1 year ago

We should be running UcState.set_units(); when the interpreter starts, as the interpreter depends on everything being units. And the error message for a bad load should direct the user to run ucdsl with the -units option.