Closed eduardo-imadeira closed 5 months ago
PR #52
running: python aeon/__main__.py examples/sugar/test.ae --log INFO ERROR TYPECHECKER SYNTH_TYPE CONSTRAINT
python aeon/__main__.py examples/sugar/test.ae --log INFO ERROR TYPECHECKER SYNTH_TYPE CONSTRAINT
It takes a lot of time parsing but if I comment the import line, it runs smoothly
PR #52
running:
python aeon/__main__.py examples/sugar/test.ae --log INFO ERROR TYPECHECKER SYNTH_TYPE CONSTRAINT
It takes a lot of time parsing but if I comment the import line, it runs smoothly