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/primop/tests/po-prop3.sml
ViewVC logotype

Diff of /tests/trunk/primop/tests/po-prop3.sml

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

revision 2563, Thu May 17 15:05:39 2007 UTC revision 2564, Thu May 17 15:17:29 2007 UTC
# Line 1  Line 1 
1  Control.internals := true;  Control.Elab.internals := true;
2  Control.FLINT.printFctTypes := true;  Control.FLINT.printFctTypes := true;
3  Control.FLINT.print := true;  Control.FLINT.print := true;
4    
# Line 7  Line 7 
7        val x : int * int -> int        val x : int * int -> int
8    end    end
9    
10  structure M :> =  structure M :> S =
11    struct    struct
12        val x = Int.+        val x = Int.+
13    end    end

Legend:
Removed from v.2563  
changed lines
  Added in v.2564

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