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/elaborate/elabutil.sig
ViewVC logotype

Diff of /sml/trunk/src/compiler/Semant/elaborate/elabutil.sig

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

sml/trunk/src/compiler/Semant/elaborate/elabutil.sig revision 16, Wed Mar 11 21:00:04 1998 UTC sml/branches/SMLNJ/src/compiler/Semant/elaborate/elabutil.sig revision 143, Mon Sep 7 21:46:44 1998 UTC
# Line 51  Line 51 
51    
52    val clean_pat : ErrorMsg.complainer -> Absyn.pat -> Absyn.pat    val clean_pat : ErrorMsg.complainer -> Absyn.pat -> Absyn.pat
53    
54      val getCoreExn : (StaticEnv.staticEnv * string) -> VarCon.datacon
55    val completeMatch : (StaticEnv.staticEnv * string)    val completeMatch : (StaticEnv.staticEnv * string)
56                        -> Absyn.rule list -> Absyn.rule list                        -> Absyn.rule list -> Absyn.rule list
57    val completeMatch' : Absyn.rule -> Absyn.rule list -> Absyn.rule list    val completeMatch' : Absyn.rule -> Absyn.rule list -> Absyn.rule list
# Line 69  Line 70 
70    val checkBoundTyvars :    val checkBoundTyvars :
71         TyvarSet.tyvarset * Types.tyvar list * ErrorMsg.complainer -> unit         TyvarSet.tyvarset * Types.tyvar list * ErrorMsg.complainer -> unit
72    
   val checkBoundConstructor :  
        StaticEnv.staticEnv * Symbol.symbol * ErrorMsg.complainer -> unit  
   
73    val pat_id :    val pat_id :
74         SymPath.path * StaticEnv.staticEnv * ErrorMsg.complainer * compInfo         SymPath.path * StaticEnv.staticEnv * ErrorMsg.complainer * compInfo
75         -> Absyn.pat         -> Absyn.pat
# Line 100  Line 98 
98    
99  end (* signature ELABUTIL *)  end (* signature ELABUTIL *)
100    
 (*  
  * $Log: elabutil.sig,v $  
  * Revision 1.2  1997/03/22  18:15:57  dbm  
  * Added function hasModules, which is used in ElabMod to fix bug 905/952.  
  *  
  * Revision 1.1.1.1  1997/01/14  01:38:35  george  
  *   Version 109.24  
  *  
  *)  

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

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