Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/src/compiler/Semant/elaborate/elabtype.sig
ViewVC logotype

View of /sml/trunk/src/compiler/Semant/elaborate/elabtype.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 16 - (download) (as text) (annotate)
Wed Mar 11 21:00:04 1998 UTC (23 years, 7 months ago) by monnier
File size: 1172 byte(s)
Initial revision
(* COPYRIGHT (c) 1998 Bell Laboratories *)
(* elabtype.sig *)

signature ELABTYPE =
sig

  val elabType :
        Ast.ty * StaticEnv.staticEnv * ErrorMsg.errorFn * SourceMap.region
        -> Types.ty * TyvarSet.tyvarset

  val elabTyvList : 
        Ast.tyvar list * ErrorMsg.errorFn * SourceMap.region 
        -> Types.tyvar list

  val elabDB :
        (Types.tyvar list * Symbol.symbol 
                  * (Symbol.symbol * Ast.ty option) list * SourceMap.region) 
        * StaticEnv.staticEnv * InvPath.path * ErrorMsg.errorFn
        -> VarCon.datacon list * StaticEnv.staticEnv

  val elabTYPEdec :
        Ast.tb list * StaticEnv.staticEnv * InvPath.path 
        * SourceMap.region * ElabUtil.compInfo
        -> Absyn.dec * StaticEnv.staticEnv

  val elabDATATYPEdec :
        {datatycs: Ast.db list, withtycs: Ast.tb list} * StaticEnv.staticEnv 
        * ExpandTycon.sigContext * EntityEnv.entityEnv 
        * (Types.tycon -> bool) * InvPath.path 
        * SourceMap.region * ElabUtil.compInfo
        -> Types.tycon list * Types.tycon list * VarCon.datacon list 
           * StaticEnv.staticEnv

  val debugging : bool ref

end (* signature ELABTYPE *)


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