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 /tests/trunk/coresml/outputs/r034c-ac.out
ViewVC logotype

Diff of /tests/trunk/coresml/outputs/r034c-ac.out

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

revision 2403, Wed Apr 11 21:41:09 2007 UTC revision 2412, Mon Apr 16 16:35:25 2007 UTC
# Line 1  Line 1 
1  val it = () : unit  val it = () : unit
2  val f = fn : 'a -> 'a  val f = fn : 'a -> 'a
3  val x = <poly-record> : ('a -> 'a) * 'b list  val x = (fn,[]) : ('a -> 'a) * 'b list
4  r034c-ac.sml:15.1-15.15 Warning: type vars not generalized because of  r034c-ac.sml:15.5-15.15 Warning: type vars not generalized because of
5     value restriction are instantiated to dummy types (X1,X2,...)     value restriction are instantiated to dummy types (X1,X2,...)
6  r034c-ac.sml:15.1-15.15 Warning: binding not exhaustive  r034c-ac.sml:15.5-15.15 Warning: binding not exhaustive
7            (g,nil) = ...            (g,nil) = ...
8  val g = fn : ?.X1 -> ?.X1  val g = fn : ?.X1 -> ?.X1
9    

Legend:
Removed from v.2403  
changed lines
  Added in v.2412

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