Typecheck working #6
Description
Currently we fail the assertion error in type.ml when we try to compile 023 - the interface contract. Trace the execution and at least get the typecheck to work.
{{ message }}
Currently we fail the assertion error in type.ml when we try to compile 023 - the interface contract. Trace the execution and at least get the typecheck to work.