Hi,
I believe I found a compiler bug, which I already reduced to a minimal example:
a.ur
========
con e = []
structure B : sig
end = struct
end
open B
fun main () =
return <xml></xml>
a.urs
=======
val main : unit -> transaction page
con a = []
con e = a
a.ur:0:0-0:0: Unmatched signature item
Item: con a :: {<UNIF:D>} = []
unhandled exception: UnboundNamed
--
Best regards,
Ron de Bruijn
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
