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

SCM Repository

[smlnj] View of /sml/branches/gatien-branch/compiler/Elaborator/elaborate.cm
ViewVC logotype

View of /sml/branches/gatien-branch/compiler/Elaborator/elaborate.cm

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3122 - (download) (annotate)
Mon Jul 21 15:16:13 2008 UTC (11 years, 4 months ago) by gatien
File size: 2668 byte(s)
beginning of definitions of functions for merging the multiple databases into a single one
(* elaborate.cm
 *
 * (C) 2001 Lucent Technologies, Bell Labs
 *
 * The SML/NJ elaborator.
 *)
Group
        signature ELAB_CONTROL
	structure ElabControl

	signature PRIM_TYC_NUM
	signature DEB_INDEX
	signature BASICTYPES
	signature INSTANTIATE_PARAM
	signature INSTANTIATE
	signature EVALENTITY
	signature ELABTOP
	signature UNIFY
	signature TYPECHECK
	signature SIGMATCH

	functor InstantiateFn
	functor EvalEntityFn
	functor SigMatchFn
	functor ElabModFn
	functor ElabTopFn

	structure PrimTycNum
	structure DebIndex
	structure BasicTypes
	structure ElabUtil
	structure SpecialSymbols
	structure ElabDebug
	structure Unify
	structure Typecheck

	signature PPUTIL
	signature PPUTILNEW
	signature PPTYPE
	signature PPABSYN
	signature PPMOD
	signature PPVAL
	signature PPAST

	structure PPUtil
	structure PPUtilNew
	structure PPPrim 
	structure PPType
	structure PPAbsyn
	structure PPModules
	structure PPVal
	structure PPAst

	signature ENS_VAR
	structure Ens_var
	signature ENS_VAR2
	structure Ens_var2
	structure Ens_types
	structure Ens_types2
	signature ENS_PRINT
	structure Ens_print
	signature ENS_PRINT2
	structure Ens_print2
	structure Ens_absyn
	structure TyToString
	structure StringToTy
	signature TYTOSTRING
	signature STRINGTOTY
	structure Conversion
	signature CONVERSION
is

	basics/elabcontrol.sig
	basics/elabcontrol.sml
	basics/debindex.sig
	basics/debindex.sml
	basics/conrep.sml
	basics/ptnum.sml

	types/basictypes.sig
	types/basictypes.sml
	types/eqtypes.sml
	types/unify.sml
	types/overload.sml
	types/overloadlit.sml
	types/typecheck.sml

	modules/expandtycon.sml
	modules/sigmatch.sml 
	modules/instantiate.sml
	modules/evalent.sml

	elaborate/tyvarset.sml
	elaborate/elabutil.sig
	elaborate/elabutil.sml
	elaborate/specialsyms.sml
	elaborate/elabtype.sig
	elaborate/elabtype.sml
	elaborate/precedence.sml
	elaborate/elabcore.sml
	elaborate/include.sml
	elaborate/elabsig.sml
	elaborate/elabdebug.sml
	elaborate/elabmod.sml
	elaborate/elabtop.sml

	print/ppprim.sml 
	print/pputil.sig
	print/pputil.sml
	print/pputil-new.sig
	print/pputil-new.sml
	print/pptype.sml
	print/ppval.sml
	print/ppabsyn.sml
	print/ppmod.sml
	print/ppast.sig
	print/ppast.sml

	$smlnj/viscomp/elabdata.cm
	$smlnj/viscomp/basics.cm
	$smlnj/viscomp/parser.cm

	$smlnj/MLRISC/MLRISC.cm

	$smlnj/smlnj-lib/smlnj-lib.cm
	$smlnj/smlnj-lib/controls-lib.cm
	$smlnj/basis/basis.cm

	srcinfo/ens_var.sig
	srcinfo/ens_var.sml
	srcinfo/ens_var2.sml
	srcinfo/ens_types.sml
	srcinfo/ens_types2.sml
        srcinfo/ens_print.sml
        srcinfo/ens_print2.sml
	srcinfo/absyn_scan.sml
	srcinfo/stringtoty.sml
	srcinfo/tytostring.sml
	srcinfo/tytostring.sig
	srcinfo/conversion.sml

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