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 93, Tue May 12 21:56:22 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 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 473  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.1.1.1  1998/04/08 18:39:28  george
479   *   Added error recovery case to mkStrDef.   * Version 110.5
  *  
  * 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.16  
changed lines
  Added in v.93

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