-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
While compiling a large program I came across the following rather strange error message:
Exception- Subscript unexpectedly raised while compiling Exception- Fail "Exception- Subscript unexpectedly raised while compiling" raised
After a bit of hacking I managed to reduce it to the following program: (which uses Isabelle's pretty printing library, and which I tested using Isabelle2007)
fun foo l s x i = [] @ map (fn (i,s) => Pretty.block [(case x of NONE => Pretty.str "a" | SOME openi => (if (openi = i) then Pretty.str "b" else Pretty.str "c")), Pretty.str "d"]) l;
This is running PolyML 5.1... is this a known issue fixed in more recent cvs snapshots?
My workaround was to move the case statement into it's own function. Then it compiles ok.
cheers, lucas