[Ur] Compiler bug

[Ron de Bruijn]

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