[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