search

brownplt / pyret-lang

The Pyret language.
Other
1.07k stars 110 forks source link

(Type checker) bad error on omega #1283

Open sorawee opened 6 years ago

sorawee commented 6 years ago

A student in CS173 reports this.

Little omega won't type check (I assume), but it should not result in an internal error:

lam(x): x(x) end

results in:

Evaluating the field lookup expression at file:///home/travis/build/brownplt/code.pyret.org/node_modules/pyret-lang/src/arr/compiler/type-check-structs.arr:556:43-556:91 errored.

does not have a field named recursive-type-constraints

Please report this as a bug.
blerner commented 6 years ago

Some part of me is thrilled that this is the current output ;-)