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

Diff of /sml/trunk/src/compiler/Semant/modules/moduleutil.sml

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

sml/trunk/src/compiler/Semant/modules/moduleutil.sml revision 16, Wed Mar 11 21:00:04 1998 UTC sml/branches/SMLNJ/src/compiler/Semant/modules/moduleutil.sml revision 113, Fri Jun 5 19:41:21 1998 UTC
# Line 153  Line 153 
153        TU.mapTypeFull (transTycon entEnv) ty        TU.mapTypeFull (transTycon entEnv) ty
154        handle EE.Unbound => (debugmsg "$transType"; raise EE.Unbound)        handle EE.Unbound => (debugmsg "$transType"; raise EE.Unbound)
155    
156    (*
157  val transTyconPhase = (Stats.makePhase "Compiler 033 4-transTycon")  val transTyconPhase = (Stats.makePhase "Compiler 033 4-transTycon")
158  val transTycon =  val transTycon =
159    fn x => fn y => (Stats.doPhase transTyconPhase (transTycon x) y)    fn x => fn y => (Stats.doPhase transTyconPhase (transTycon x) y)
# Line 160  Line 161 
161  val transTypePhase = (Stats.makePhase "Compiler 033 5-transType")  val transTypePhase = (Stats.makePhase "Compiler 033 5-transType")
162  val transType =  val transType =
163    fn x => fn y => (Stats.doPhase transTypePhase (transType x) y)    fn x => fn y => (Stats.doPhase transTypePhase (transType x) y)
164    *)
165    
166  fun strDefToStr(CONSTstrDef str, _) = str  fun strDefToStr(CONSTstrDef str, _) = str
167    | strDefToStr(VARstrDef(sign,entPath), entEnv) =    | strDefToStr(VARstrDef(sign,entPath), entEnv) =
# Line 223  Line 225 
225                              info = II.selInfo(dinfo,slot), path = sp,                              info = II.selInfo(dinfo,slot), path = sp,
226                              typ = ref(transType entities spec)})                              typ = ref(transType entities spec)})
227    
228           | CONspec{spec=T.DATACON{name, const, typ, rep, sign}, slot} =>           | CONspec{spec=T.DATACON{name, const, typ, rep, sign, lazyp}, slot} =>
229               let val newrep =               let val newrep =
230                     case (rep, slot)                     case (rep, slot)
231                      of (A.EXN _, SOME i) => A.EXN (A.selAcc(dacc,i))                      of (A.EXN _, SOME i) => A.EXN (A.selAcc(dacc,i))
# Line 231  Line 233 
233    
234                in V.CON(T.DATACON{rep=newrep, name=name,                in V.CON(T.DATACON{rep=newrep, name=name,
235                                   typ=transType entities typ,                                   typ=transType entities typ,
236                                   const=const, sign=sign})                                   const=const, sign=sign, lazyp=lazyp})
237               end               end
238    
239           | _ => bug "mkVal: wrong spec")           | _ => bug "mkVal: wrong spec")
# Line 320  Line 322 
322    
323    
324  (*  (*
325   * The following functions are used in SCStaticEnv and module elaboration   * The following functions are used in CMStaticEnv and module elaboration
326   * for building EntPathContexts.  They extract module ids from modules.   * for building EntPathContexts.  They extract module ids from modules.
327   *)   *)
328  fun tycId(T.GENtyc{stamp,...}) = ModuleId.TYCid stamp  fun tycId(T.GENtyc{stamp,...}) = ModuleId.TYCid stamp
# Line 472  Line 474 
474  end (* structure ModuleUtil *)  end (* structure ModuleUtil *)
475    
476  (*  (*
477   * $Log: moduleutil.sml,v $   * $Log$
  * Revision 1.10  1997/10/01  18:14:17  dbm  
  *   Added error recovery case to mkStrDef.  
  *  
  * Revision 1.9  1997/09/30  02:32:34  dbm  
  *   Made treatment of SIGINFO consistent with argument being a _reverse_  
  *   entity path.  
  *  
  * Revision 1.8  1997/09/24  04:07:25  dbm  
  *   Modified mkStrBase to fix "Compiler bug: ModuleUtil.strId" in bug1150.sml  
  *   that arose after Zhong's fixes for EntityEnv.Unbound problem.  
  *  
  * Revision 1.7  1997/07/17  20:40:45  dbm  
  *   Clean up mapDtMembs.  
  *  
  * Revision 1.6  1997/07/15  16:14:41  dbm  
  *   Change in representation associated with new treatment of extdefs in  
  *   signatures and the rewrite of instantiate.sml.  
  *   Added getSignature names for use in build/boot.sml.  
  *  
  * Revision 1.5  1997/05/20  12:24:18  dbm  
  *   SML '97 sharing, where structure.  
  *  
  * Revision 1.4  1997/03/24  22:19:30  dbm  
  *   Fix for bug 1166.  Changed definition of descToTyc to interpret body  
  *   of DEFtyc in EXTCONSTtyc case.  
  *  
  * Revision 1.3  1997/03/17  18:54:07  dbm  
  * Changes in datatype representation to support datatype replication.  
  *  
  * Revision 1.2  1997/01/21  13:25:32  george  
  *    Modify the entityExp definition to correctly implement the  
  *    datatype generativity in functor body. -- from zsh  
  *  
478   *)   *)

Legend:
Removed from v.16  
changed lines
  Added in v.113

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