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/trunk/src/MLRISC/Tools/MDL/mdl-gen-instr.sml
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/Tools/MDL/mdl-gen-instr.sml

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

revision 983, Wed Nov 21 18:44:55 2001 UTC revision 984, Wed Nov 21 19:00:08 2001 UTC
# Line 22  Line 22 
22               ([DATATYPE("instruction",[],Comp.instructions md)],[])               ([DATATYPE("instruction",[],Comp.instructions md)],[])
23    
24         (* Arguments to the instruction functor *)         (* Arguments to the instruction functor *)
25         val args = ["LabelExp : LABELEXP"]         val args = ["T: MLTREE"]
26    
27         (* The signature *)         (* The signature *)
28         val sigBody =         val sigBody =
29            [$ ["structure C : "^Comp.signame md "CELLS",            [$ ["structure C : "^Comp.signame md "CELLS",
30                "structure T : MLTREE",                "structure T : MLTREE",
               "structure LabelExp : LABELEXP",  
31                "structure Constant: CONSTANT",                "structure Constant: CONSTANT",
32                "structure Region : REGION",                "structure Region : REGION",
               "   sharing LabelExp.T = T",  
33                "   sharing Constant = T.Constant",                "   sharing Constant = T.Constant",
34                "   sharing Region = T.Region"                "   sharing Region = T.Region"
35                ],                ],
# Line 42  Line 40 
40         (* The functor *)         (* The functor *)
41         val strBody =         val strBody =
42             [$ ["structure C = "^Comp.strname md "Cells",             [$ ["structure C = "^Comp.strname md "Cells",
43                 "structure LabelExp = LabelExp",                 "structure T = T",
                "structure T = LabelExp.T",  
44                 "structure Region = T.Region",                 "structure Region = T.Region",
45                 "structure Constant = T.Constant"                 "structure Constant = T.Constant"
46                ],                ],

Legend:
Removed from v.983  
changed lines
  Added in v.984

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