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/MLRISC/mltree/mltree-size.sml
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/mltree/mltree-size.sml

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

revision 761, Sat Dec 23 05:37:37 2000 UTC revision 796, Tue Mar 6 00:04:33 2001 UTC
# Line 11  Line 11 
11       | size(T.LI _) = intTy       | size(T.LI _) = intTy
12       | size(T.LABEL _) = intTy       | size(T.LABEL _) = intTy
13       | size(T.CONST _) = intTy       | size(T.CONST _) = intTy
14         | size(T.LABEXP e) = size e
15       | size(T.NEG(ty,_)) = ty       | size(T.NEG(ty,_)) = ty
16       | size(T.ADD(ty,_,_)) = ty       | size(T.ADD(ty,_,_)) = ty
17       | size(T.SUB(ty,_,_)) = ty       | size(T.SUB(ty,_,_)) = ty

Legend:
Removed from v.761  
changed lines
  Added in v.796

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