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/branches/SMLNJ/src/compiler/Semant/modules/moduleutil.sml revision 45, Sun Mar 22 20:11:09 1998 UTC sml/trunk/src/compiler/Semant/modules/moduleutil.sml revision 168, Sat Nov 7 20:11:41 1998 UTC
# Line 205  Line 205 
205    
206  fun mkTyc(sym, sp, SIG{elements,...}, sInfo) =  fun mkTyc(sym, sp, SIG{elements,...}, sInfo) =
207        (case getSpec (elements, sym)        (case getSpec (elements, sym)
208          of TYCspec{spec,entVar=ev,scope} =>          of TYCspec{spec,entVar=ev,repl,scope} =>
209               (case sInfo               (case sInfo
210                 of SIGINFO ep =>                 of SIGINFO ep =>
211                      T.PATHtyc{arity=TU.tyconArity spec, entPath=rev(ev::ep),                      T.PATHtyc{arity=TU.tyconArity spec, entPath=rev(ev::ep),
# Line 225  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 233  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 322  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 475  Line 475 
475    
476  (*  (*
477   * $Log: moduleutil.sml,v $   * $Log: moduleutil.sml,v $
478   * Revision 1.10  1997/10/01  18:14:17  dbm   * Revision 1.3  1998/05/23 14:10:10  george
479   *   Added error recovery case to mkStrDef.   *   Fixed RCS keyword syntax
  *  
  * 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  
480   *   *
481   *)   *)

Legend:
Removed from v.45  
changed lines
  Added in v.168

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