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/trunk/src/compiler/Semant/types/typecheck.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/Semant/types/typecheck.sml

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

revision 419, Fri Sep 3 23:51:27 1999 UTC revision 587, Thu Mar 30 09:01:52 2000 UTC
# Line 701  Line 701 
701                          | f _ = bug "typecheck.823"                          | f _ = bug "typecheck.823"
702                     in f(exp,region,funty)                     in f(exp,region,funty)
703                    end                    end
704                     | setType _ = bug "setType"
705    
706                (* Second, go through and type-check the right-hand-side                (* Second, go through and type-check the right-hand-side
707                   expressions (function bodies) *)                   expressions (function bodies) *)
# Line 740  Line 741 
741         | SEQdec(decls) =>         | SEQdec(decls) =>
742             SEQdec(map (fn decl => decType0(decl,occ,region)) decls)             SEQdec(map (fn decl => decType0(decl,occ,region)) decls)
743         | ABSTYPEdec{abstycs,withtycs,body} =>         | ABSTYPEdec{abstycs,withtycs,body} =>
744             let fun makeAbstract(GENtyc{stamp,arity,eq,path,kind}) = (eq := ABS)             let fun makeAbstract(GENtyc { eq, ... }) = eq := ABS
745                   | makeAbstract _ = bug "makeAbstract"                   | makeAbstract _ = bug "makeAbstract"
746                 fun redefineEq(DATATYPEdec{datatycs,...}) =                 fun redefineEq(DATATYPEdec{datatycs,...}) =
747                      (app (fn GENtyc{eq,...} => eq := DATA) datatycs;                     let fun setDATA (GENtyc { eq, ... }) = eq := DATA
748                       EqTypes.defineEqProps(datatycs,nil,EntityEnv.empty))                           | setDATA _ = ()
749                       in
750                           app setDATA datatycs;
751                           EqTypes.defineEqProps(datatycs,nil,EntityEnv.empty)
752                       end
753                   | redefineEq(SEQdec decs) = app redefineEq decs                   | redefineEq(SEQdec decs) = app redefineEq decs
754                   | redefineEq(LOCALdec(din,dout)) =                   | redefineEq(LOCALdec(din,dout)) =
755                      (redefineEq din; redefineEq dout)                      (redefineEq din; redefineEq dout)

Legend:
Removed from v.419  
changed lines
  Added in v.587

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