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

SCM Repository

[smlnj] Revision 2740
ViewVC logotype

Revision 2740


Jump to revision: Previous Next
Author: gkuan
Date: Tue Aug 21 21:05:34 2007 UTC (11 years, 11 months ago)
Log Message:
Defunctorized Elaborator (i.e., elabtop, elabmod, sigmatch, evalentity, and instantiate) by using types.sml pkind representation instead of FLINT tkind

Changed paths:

Path Details
Directorysml/branches/primop-branch-3/compiler/ElabData/basics/debindex.sig added
Directorysml/branches/primop-branch-3/compiler/ElabData/basics/debindex.sml added
Directorysml/branches/primop-branch-3/compiler/ElabData/elabdata.cm modified , text changed
Directorysml/branches/primop-branch-3/compiler/ElabData/types/types.sig modified , text changed
Directorysml/branches/primop-branch-3/compiler/ElabData/types/types.sml modified , text changed
Directorysml/branches/primop-branch-3/compiler/Elaborator/elaborate/elabmod.sml modified , text changed
Directorysml/branches/primop-branch-3/compiler/Elaborator/elaborate/elabtop.sml modified , text changed
Directorysml/branches/primop-branch-3/compiler/Elaborator/elaborate.cm modified , text changed
Directorysml/branches/primop-branch-3/compiler/Elaborator/modules/evalent.sml modified , text changed
Directorysml/branches/primop-branch-3/compiler/Elaborator/modules/instantiate.sml modified , text changed
Directorysml/branches/primop-branch-3/compiler/Elaborator/modules/plist.sml added
Directorysml/branches/primop-branch-3/compiler/Elaborator/modules/sigmatch.sml modified , text changed
Directorysml/branches/primop-branch-3/compiler/FLINT/trans/transtypes.sml modified , text changed
Directorysml/branches/primop-branch-3/compiler/Semant/modules/module-plists.sml modified , text changed
Directorysml/branches/primop-branch-3/compiler/Semant/pickle/pickmod.sml modified , text changed
Directorysml/branches/primop-branch-3/compiler/Semant/pickle/unpickmod.sml modified , text changed
Directorysml/branches/primop-branch-3/compiler/Semant/statenv/prim.sml modified , text changed
Directorysml/branches/primop-branch-3/compiler/core.cm modified , text changed

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