Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/tests/bugs/outputs.pre-110.5/bug1511.1.out
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 548, Tue Feb 29 16:38:11 2000 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

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

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