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/transtypes.sml
ViewVC logotype

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

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

revision 3387, Tue May 26 06:44:22 2009 UTC revision 3388, Tue May 26 19:00:15 2009 UTC
# Line 6  Line 6 
6    
7    type primaryEnv = (Stamps.stamp * PLambdaType.tkind) list list    type primaryEnv = (Stamps.stamp * PLambdaType.tkind) list list
8    
   (* this should go away.  replaced by Instantiate.primary *)  
   datatype primary = FormalTyc of Types.tycon  
                    | FormalFct of Stamps.stamp * Modules.fctSig  
   
   val toPrimaryEnv : Types.tycon list  
                      * ((Stamps.stamp * Modules.fctSig) list)  
                      -> primary list  
   
9    val genTT  : unit    val genTT  : unit
10                 -> {tpsKnd : primary -> PLambdaType.tkind,                 -> {(* tpsKnd : primary -> PLambdaType.tkind, *)
11                     primaryTyconToTyc : primaryEnv -> int -> Types.tycon                     primaryTyconToTyc : primaryEnv -> int -> Types.tycon
12                                         -> PLambdaType.tyc,                                         -> PLambdaType.tyc,
13                     toTyc  : primaryEnv -> DebIndex.depth -> Types.ty                     toTyc  : primaryEnv -> DebIndex.depth -> Types.ty
# Line 577  Line 569 
569               * occurrences in the body rlzn after evalApp.               * occurrences in the body rlzn after evalApp.
570               *)               *)
571    
572  (*          val {rlzn=paramRlzn, primaries} =              val {rlzn=paramRlzn, primaries=_} =
573                  INS.instFormal{sign=paramsig,entEnv=env,                  INS.instFormal{sign=paramsig,entEnv=env,
574                                 rpath=InvPath.IPATH[], compInfo=compInfo,                                 rpath=InvPath.IPATH[], compInfo=compInfo,
575                                 region=SourceMap.nullRegion}                                 region=SourceMap.nullRegion}
576  *)  
577              val _ = debugmsg ">>parameter kinds"              val _ = debugmsg ">>parameter kinds"
578              val primaryBindings =              val primaryBindings =
579                  map (FctKind.primaryToBind (compInfo, paramEnv))                  map (FctKind.primaryToBind (compInfo, paramEnv))
# Line 741  Line 733 
733          | fctLtyLook x = fctLty (coreDict, strLtyLook, fctLtyLook)          | fctLtyLook x = fctLty (coreDict, strLtyLook, fctLtyLook)
734  *)  *)
735    
736     in {tpsKnd=tpsKnd, tpsTyc=tpsTyc,     in {primaryTyconToTyc=primaryTyconToTyc,
737         toTyc=toTyc, toLty=toLty, strLty=strLty, fctLty=fctLty}         toTyc=toTyc, toLty=toLty, strLty=strLty, fctLty=fctLty}
738    end (* function genTT *)    end (* function genTT *)
739    

Legend:
Removed from v.3387  
changed lines
  Added in v.3388

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