CVS: sml-dist/src/compiler/Elaborator/types typecheck.sig, NONE, 1.1.2.1

George Kuan <[email protected]> Mon, 19 Jun 2006 21:20:51 -0700

Newsgroups	gmane.comp.lang.sml.smlnj.commits
Message-ID	<[email protected]>

Update of /cvsroot/smlnj/sml-dist/src/compiler/Elaborator/types
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv19798/Elaborator/types

Added Files:
      Tag: primop-branch-2
	typecheck.sig 
Log Message:
Separated out SIGMATCH and TYPECHECK sig files in elaborate.cm group

--- NEW FILE: typecheck.sig ---

signature TYPECHECK = 
sig

  val decType : StaticEnv.staticEnv * Absyn.dec * bool
		* ErrorMsg.errorFn * SourceMap.region -> Absyn.dec
  val debugging : bool ref

end (* signature TYPECHECK *)