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-2/src/compiler/ElabData/types/typesutil.sig
ViewVC logotype

Diff of /sml/branches/primop-branch-2/src/compiler/ElabData/types/typesutil.sig

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

revision 1960, Fri Jul 7 20:38:45 2006 UTC revision 1961, Fri Jul 7 21:06:11 2006 UTC
# Line 64  Line 64 
64    
65    val compareTypes : Types.ty * Types.ty -> bool    val compareTypes : Types.ty * Types.ty -> bool
66    
67      val matchInstTypes : Types.ty * Types.ty ->
68                             (Types.tyvar list * Types.tyvar list) option
69       (* matchInstTypes probably supercedes compareTypes, and if so,
70        * compareTypes should be deleted *)
71    
72    val tyvarType : Types.ty -> Types.tyvar    val tyvarType : Types.ty -> Types.tyvar
73    
74    (*    (*
# Line 74  Line 79 
79    val getRecTyvarMap : int * Types.ty -> (int -> bool)    val getRecTyvarMap : int * Types.ty -> (int -> bool)
80    val gtLabel : Symbol.symbol * Symbol.symbol -> bool    val gtLabel : Symbol.symbol * Symbol.symbol -> bool
81  (**  (**
82    val isValue : Absyn.exp -> bool *)    val isValue : Absyn.exp -> bool
83    (* checks whether an expression is nonexpansive; used to determine    (* checks whether an expression is nonexpansive; used to determine
84     * when type generalization is permitted under the value rule *)     * when type generalization is permitted under the value rule *)
85      dbm: where has this moved to? typecheck.sml?
86    **)
87    val isVarTy : Types.ty -> bool    val isVarTy : Types.ty -> bool
88    
89    val sortFields : (Absyn.numberedLabel * 'a) list    val sortFields : (Absyn.numberedLabel * 'a) list

Legend:
Removed from v.1960  
changed lines
  Added in v.1961

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