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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/high-ir/check-high.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/high-ir/check-high.sml

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

revision 4394, Wed Aug 10 01:03:33 2016 UTC revision 4434, Fri Aug 19 16:45:13 2016 UTC
# Line 31  Line 31 
31              | Op.GT ty => (Ty.BoolTy, [ty, ty])              | Op.GT ty => (Ty.BoolTy, [ty, ty])
32              | Op.GTE ty => (Ty.BoolTy, [ty, ty])              | Op.GTE ty => (Ty.BoolTy, [ty, ty])
33              | Op.Power => (Ty.realTy, [Ty.realTy, Ty.IntTy])              | Op.Power => (Ty.realTy, [Ty.realTy, Ty.IntTy])
34              | Op.Not => (Ty.BoolTy, [Ty.BoolTy])              | Op.BAnd => (Ty.BoolTy, [Ty.BoolTy, Ty.BoolTy])
35                | Op.BOr => (Ty.BoolTy, [Ty.BoolTy, Ty.BoolTy])
36                | Op.BNot => (Ty.BoolTy, [Ty.BoolTy])
37              | Op.Abs ty => (ty, [ty])              | Op.Abs ty => (ty, [ty])
38              | Op.Max ty => (ty, [ty, ty])              | Op.Max ty => (ty, [ty, ty])
39              | Op.Min ty => (ty, [ty, ty])              | Op.Min ty => (ty, [ty, ty])

Legend:
Removed from v.4394  
changed lines
  Added in v.4434

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