[Ur] introducing a name in functor body

Gergely Buday gbuday at gmail.com
Thu Dec 1 09:08:49 EST 2011


Hi,

I had a problem in a large functor. There, inserting a Name

con iter :: Name

resulted in

syntax error: deleting  LTYPE SYMBOL

I was able to create a minimal example but here I get

name.ur:5:6-5:19: syntax error: deleting  CSYMBOL DCOLON NAME
name.ur:7:2-7:5: syntax error: deleting  VAL
name.ur:7:12-7:12: syntax error: inserting  HASH

$ cat name.ur
functor Main(M: sig end ) : sig val foo : int  end =
struct
  open M

  con Field :: Name

  val foo = 3
end

What is wrong with this?

- Gergely



More information about the Ur mailing list