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/arith64/compiler/ElabData/modules/moduleutil.sml
ViewVC logotype

Diff of /sml/branches/arith64/compiler/ElabData/modules/moduleutil.sml

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

revision 4873, Thu Oct 4 21:39:53 2018 UTC revision 4874, Fri Oct 5 14:33:11 2018 UTC
# Line 79  Line 79 
79  (*** The function getStr is used in modules/sigmatch.sml only ***)  (*** The function getStr is used in modules/sigmatch.sml only ***)
80  fun getStr (elements, entEnv, sym, dacc, prims) =  fun getStr (elements, entEnv, sym, dacc, prims) =
81     case getSpec(elements, sym)     case getSpec(elements, sym)
82      of STRspec{sign, slot, def, entVar} =>      of STRspec{sign, slot, def, entVar} => (case EE.look(entEnv,entVar)
         (case EE.look(entEnv,entVar)  
83            of STRent entity =>            of STRent entity =>
84                 (STR{sign = sign, rlzn = entity, access = A.selAcc(dacc,slot),                 (STR{sign = sign, rlzn = entity, access = A.selAcc(dacc,slot),
85                      prim = POI.selStrPrimId(prims, slot)},                      prim = POI.selStrPrimId(prims, slot)},
86                  entVar)                  entVar)
87             | _ => bug "getStr: bad entity")             | _ => bug("getStr: bad entity for " ^ Symbol.symbolToString sym)
88            (* end case *))
89       | _ => bug "getStr: wrong spec"       | _ => bug "getStr: wrong spec"
90    
91  (*** The function getFct is used in modules/sigmatch.sml only ***)  (*** The function getFct is used in modules/sigmatch.sml only ***)

Legend:
Removed from v.4873  
changed lines
  Added in v.4874

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