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/branches/temi-branch/compiler/Elaborator/types/basictypes.sml
ViewVC logotype

Diff of /sml/branches/temi-branch/compiler/Elaborator/types/basictypes.sml

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

revision 3019, Tue May 6 20:25:44 2008 UTC revision 3020, Wed May 7 02:59:25 2008 UTC
# Line 45  Line 45 
45  *)  *)
46  fun isArrowType(CONty(GENtyc { stamp, ... }, _)) = Stamps.eq(stamp, arrowStamp)  fun isArrowType(CONty(GENtyc { stamp, ... }, _)) = Stamps.eq(stamp, arrowStamp)
47    | isArrowType(VARty(ref(INSTANTIATED ty))) = isArrowType ty    | isArrowType(VARty(ref(INSTANTIATED ty))) = isArrowType ty
48      | isArrowType(MARKty(tyc, region)) = isArrowType tyc
49    | isArrowType _ = false    | isArrowType _ = false
50  fun domain(CONty(_,[ty,_])) = ty  fun domain(CONty(_,[ty,_])) = ty
51      | domain(MARKty(ty, region)) = domain ty
52    | domain _ = bug "domain"    | domain _ = bug "domain"
53  fun range(CONty(_,[_,ty])) = ty  fun range(CONty(_,[_,ty])) = ty
54      | range(MARKty(ty, region)) = range ty
55    | range _ = bug "range"    | range _ = bug "range"
56    
57    
# Line 142  Line 145 
145  *)  *)
146    
147  fun getFields (CONty(RECORDtyc _, fl)) = SOME fl  fun getFields (CONty(RECORDtyc _, fl)) = SOME fl
148      | getFields(MARKty(tyc, region)) = getFields tyc
149    | getFields (VARty(ref(INSTANTIATED ty))) = getFields ty    | getFields (VARty(ref(INSTANTIATED ty))) = getFields ty
150    | getFields _ = NONE    | getFields _ = NONE
151    

Legend:
Removed from v.3019  
changed lines
  Added in v.3020

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