[Ur] "unhandled exception: UnboundNamed"

Vag Vagoff vag.vagoff at gmail.com
Thu Jan 6 17:12:59 EST 2011


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.
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: g.urp
URL: <http://www.impredicative.com/pipermail/ur/attachments/20110107/0a6860f1/attachment.txt>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: list11.ur
URL: <http://www.impredicative.com/pipermail/ur/attachments/20110107/0a6860f1/attachment.asc>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: t.ur
URL: <http://www.impredicative.com/pipermail/ur/attachments/20110107/0a6860f1/attachment-0001.txt>


More information about the Ur mailing list