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/FLINT/trans/reptycprops.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-3/compiler/FLINT/trans/reptycprops.sml

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

revision 3343, Thu May 14 16:29:06 2009 UTC revision 3344, Fri May 15 12:52:07 2009 UTC
# Line 539  Line 539 
539              end (* fun primaryCompInStruct *)              end (* fun primaryCompInStruct *)
540            | primaryCompInStruct _ = bug "Unexpected error signature"            | primaryCompInStruct _ = bug "Unexpected error signature"
541    
         (* Get the primary components in a realization R0 but replacing any  
            occurrences of entities in a realization R1 with the  
            corresponding entities in a realization R2. *)  
         (* fun primariesWithParamRepl(ftmap0, bodyRlzn : M.strEntity,  
                                    freeRlzn : M.strEntity,  
                                    argRlzn : M.strEntity,  
                                    sign : M.sigrec, d) =  
             let *)  
   
   
542          fun getTk(M.FSIG{paramsig=paramsig as M.SIG ps, ...}, argRlzn,          fun getTk(M.FSIG{paramsig=paramsig as M.SIG ps, ...}, argRlzn,
543                    d) =                    d) =
544              let              let

Legend:
Removed from v.3343  
changed lines
  Added in v.3344

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