RobertStanforth

Results 3 issues of RobertStanforth

The following (syntactically incorrect) code causes the compiler itself to fail with a Haskell error: ``` def f : _ 0 \x. y = x y n = 0 :p...

bug

This code: ``` data Tracer = AsTracer paramFields:Fields init:(Key -> ({&...paramFields})) def wrap (tracer : Tracer) : Tracer = (AsTracer ps tracer_init) = tracer AsTracer _ (\key. pushAt #p 0....