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/branches/primop-branch-3/compiler/DEVNOTES/mod-examples/m22.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-3/compiler/DEVNOTES/mod-examples/m22.sml

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

revision 3283, Sat Mar 21 14:13:12 2009 UTC revision 3284, Thu Mar 26 16:02:03 2009 UTC
# Line 1  Line 1 
1  (* bug 587.sml *)  (* bug 587.sml *)
2  (* Compiler bug: ModuleUtil: Instantiate:getSigPos.2<Argument> *)  (* Compiler bug: ModuleUtil: Instantiate:getSigPos.2<Argument> *)
3    
4  (* bug 587.sml *)  signature S1 = sig end;
 (* Compiler bug: ModuleUtil: Instantiate:getSigPos.2<Argument> *)  
   
 signature SEQUENCE =  
   sig  
   end;  
5    
6  signature SEMANTIC_VALUE =  signature S2 =
7    sig    sig
8      type semantic_type      type t1
9      type semantic_value      type t2
10      val add_semantic_value : semantic_value -> semantic_value -> unit      val f : t2 -> t2 -> unit
11    end;    end;
12    
13  funsig MK_SEMANTIC_VALUE (Sequence : SEQUENCE) = SEMANTIC_VALUE;  funsig SF (X : S1) = S2;
14    
15  functor MkWhole (functor MkSemanticValue : MK_SEMANTIC_VALUE) =  functor F (functor XF : SF) = struct end;
   struct  
   end;  

Legend:
Removed from v.3283  
changed lines
  Added in v.3284

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