Hi!
after compiling this:
g.urp:
t
list11
t.ur:
signature TUPLE = sig
val fst : a ::: Type -> b ::: Type -> a * b -> a
val snd : a ::: Type -> b ::: Type -> a * b -> b
end
structure T : TUPLE = struct
fun fst [a] [b] (a,b) = a
fun snd [a] [b] (a,b) = b
end
list11.ur:
open T
command:
urweb g
compiler throws very strange message:
unhandled exception: UnboundNamed
and not mention any names.
Perhaps some bugs in compiler error reporting?
(Checked on both release and development versions)
Vag.
t
list11
open T
signature TUPLE = sig
val fst : a ::: Type -> b ::: Type -> a * b -> a
val snd : a ::: Type -> b ::: Type -> a * b -> b
end
structure T : TUPLE = struct
fun fst [a] [b] (a,b) = a
fun snd [a] [b] (a,b) = b
end
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
