Diff of /sml/trunk/tests/bugs/outputs.pre-110.5/bug1510.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 1	Line 1
1	val it = () : unit	val it = () : unit
2	functor Cast : <sig>	bug1510.1.sml:3.9-11.4 Error: type t does not match definitional specification
	structure IntListToIntOption :
	sig
	type ('a,'b) t = 'a -> 'b
	val cast : (from,to) t
	end
	val it = SOME 17 : ?.to

---

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