[Ur] Compiler bug

Ron de Bruijn rmbruijn at gmail.com
Tue Oct 18 10:55:03 EDT 2011


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



More information about the Ur mailing list