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....