Open tilltheis opened 12 years ago
Running listToStrictJSArray [1,2,3] results in the error Uncaught ReferenceError: primStrictWriteArray is not defined (at runtime in the browser).
listToStrictJSArray [1,2,3]
Uncaught ReferenceError: primStrictWriteArray is not defined
I'm using ehc-1.1.3, Revision 2422:2426M but the sources at https://github.com/UU-ComputerScience/uhc/blob/master/EHC/src/javascript/rts/prim.cjs don't have a definition either.
Apparently there is missing quite a lot of code for Arrays in the runtime. I don't know whether they got lost somewhere or that they were never there to begin with.
Running
listToStrictJSArray [1,2,3]
results in the errorUncaught ReferenceError: primStrictWriteArray is not defined
(at runtime in the browser).I'm using ehc-1.1.3, Revision 2422:2426M but the sources at https://github.com/UU-ComputerScience/uhc/blob/master/EHC/src/javascript/rts/prim.cjs don't have a definition either.