Diff of /sml/trunk/tests/bugs/outputs.pre-110.5/bug1511.1.out

Parent Directory | Revision Log | Patch

	revision 786, Fri Feb 23 21:36:06 2001 UTC	revision 787, Fri Feb 23 21:38:43 2001 UTC
#	Line 4	Line 4
4	type ('a,'b) t = 'a -> 'b	type ('a,'b) t = 'a -> 'b
5	val x : ('a,int) t	val x : ('a,int) t
6	end	end
7	Error: Compiler bug: TypesUtil: tyvarType: CONty	bug1511.1.sml:9.1-13.4 Error: type t does not match definitional specification

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.786   changed lines   Added in v.787

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0