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 2412, Mon Apr 16 16:35:25 2007 UTC revision 2427, Wed Apr 18 21:51:58 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 = (fn,[]) : ('a -> 'a) * 'b list  val x = (fn,[]) : ('a -> 'a) * 'b list
 r034c-ac.sml:15.5-15.15 Warning: type vars not generalized because of  
    value restriction are instantiated to dummy types (X1,X2,...)  
 r034c-ac.sml:15.5-15.15 Warning: binding not exhaustive  
           (g,nil) = ...  
4  val g = fn : ?.X1 -> ?.X1  val g = fn : ?.X1 -> ?.X1
5    

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

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