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@homeship sandbox]$ urweb functor
functor.ur:8:41-8:43: syntax error: deleting CSYMBOL DOT
Parse failure
[gergoe@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
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
