Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/compiler/high-il/check-high-il.sml
ViewVC logotype

Diff of /branches/pure-cfg/src/compiler/high-il/check-high-il.sml

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

revision 823, Thu Apr 14 14:28:33 2011 UTC revision 824, Thu Apr 14 15:54:24 2011 UTC
# Line 26  Line 26 
26              | Op.NEQ ty => (Ty.BoolTy, [ty, ty])              | Op.NEQ ty => (Ty.BoolTy, [ty, ty])
27              | Op.GT ty => (Ty.BoolTy, [ty, ty])              | Op.GT ty => (Ty.BoolTy, [ty, ty])
28              | Op.GTE ty => (Ty.BoolTy, [ty, ty])              | Op.GTE ty => (Ty.BoolTy, [ty, ty])
29                | Op.Power => (Ty.realTy, [Ty.realTy, Ty.IntTy])
30              | Op.Not => (Ty.BoolTy, [Ty.BoolTy])              | Op.Not => (Ty.BoolTy, [Ty.BoolTy])
31              | Op.Max => (Ty.realTy, [Ty.realTy, Ty.realTy])              | Op.Max => (Ty.realTy, [Ty.realTy, Ty.realTy])
32              | Op.Min => (Ty.realTy, [Ty.realTy, Ty.realTy])              | Op.Min => (Ty.realTy, [Ty.realTy, Ty.realTy])

Legend:
Removed from v.823  
changed lines
  Added in v.824

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