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/m21.sml
ViewVC logotype

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

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

revision 3053, Mon Jun 2 14:08:02 2008 UTC revision 3281, Tue Mar 17 22:27:10 2009 UTC
# Line 1  Line 1 
1    signature S =
2  functor MLTreeMult'(type instr) (val addv   : unit  -> instr list)   =  sig
3  struct      type t
   
4  end  end
5    
6    functor H(X:S) (Y:sig val f : X.t end)   =
7    struct
8    
 signature PPCINSTR' =  
 sig  
     type instr  
9  end  end
10    
11  functor PPC'(PPCInstr : PPCINSTR') =  functor G() =
12  struct  struct
13    functor Multiply32 = MLTreeMult'(PPCInstr)  functor I = H(struct type t = int end)
14       (* structure M = H(struct type t = int end) (struct val f = 1 end) *)
15    
16    
17  end  end
18    
19    structure M = G()

Legend:
Removed from v.3053  
changed lines
  Added in v.3281

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