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/SMLNJ/src/compiler/Semant/elaborate/elabutil.sig
ViewVC logotype

Diff of /sml/branches/SMLNJ/src/compiler/Semant/elaborate/elabutil.sig

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

revision 142, Mon Sep 7 21:37:09 1998 UTC revision 143, Mon Sep 7 21:46:44 1998 UTC
# Line 70  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 101  Line 98 
98    
99  end (* signature ELABUTIL *)  end (* signature ELABUTIL *)
100    
 (*  
  * $Log$  
  *)  

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

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