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

SCM Repository

[smlnj] Annotation of /sml/branches/idlbasis-devel/src/MLRISC/Tools/MDL/mdl-typing.sig
ViewVC logotype

Annotation of /sml/branches/idlbasis-devel/src/MLRISC/Tools/MDL/mdl-typing.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 744 - (view) (download) (as text)
Original Path: sml/trunk/src/MLRISC/Tools/MDL/mdl-typing.sig

1 : leunga 744 (*
2 :     * Type checking
3 :     *)
4 :     signature MDL_TYPING =
5 :     sig
6 :     structure Ast : MDL_AST
7 :     structure TypeUtil : MDL_TYPE_UTILS
8 :     structure Env : MDL_ENV
9 :     structure Comp : MDL_COMPILE
10 :     sharing Env.Ast = TypeUtil.Ast = Ast
11 :     sharing Comp.Env = Env
12 :    
13 :     val isPolymorphic : Ast.ty -> bool
14 :     val typeCheck : Comp.md -> Ast.decl -> Ast.decl * Env.env
15 :     end

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