[Ur] using argument's field name in a functor signature

Gergely Buday gbuday at gmail.com
Fri Oct 21 08:13:44 EDT 2011


Hi,

I have the following error message for the following code. The problem
is with the M.fieldName. Is it not allowed to use a long identifier
for a field name in functor signature? The functor implementation is
clearly wrong, that is just to have a full functor definition.

- Gergely

[gergoe at homeship sandbox]$ urweb functor
functor.ur:8:41-8:43: syntax error: deleting  CSYMBOL DOT
Parse failure
[gergoe at homeship sandbox]$ cat functor.ur
con roles = [1, 2, 3, 4, 5, 6]

functor DummyF ( M : sig
                          con fieldName :: Name
                         end) :
        sig
	
          val foo : {} -> map (fn _ => [ M.fieldName = int ]) roles

        end =

        struct

          fun foo () = 2

        end



More information about the Ur mailing list