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 1524, Mon Oct 10 18:29:43 2011 UTC revision 1525, Thu Oct 13 15:57:40 2011 UTC
# Line 68  Line 68 
68                  in                  in
69                    (Ty.TensorTy resDims, ty::idxDims)                    (Ty.TensorTy resDims, ty::idxDims)
70                  end                  end
71              | Op.Subscript(ty as Ty.TensorTy dd) =>              | Op.TensorSub(ty as Ty.TensorTy dd) =>
72                  (Ty.realTy, ty :: List.map (fn _ => Ty.IntTy) dd)                  (Ty.realTy, ty :: List.map (fn _ => Ty.IntTy) dd)
73              | Op.Select(ty as Ty.TupleTy tys, i) =>              | Op.Select(ty as Ty.TupleTy tys, i) =>
74                  if (1 <= i) andalso (i <= length tys)                  if (1 <= i) andalso (i <= length tys)
75                    then (List.nth(tys, i-1), [ty])                    then (List.nth(tys, i-1), [ty])
76                    else raise Fail("sigOf: invalid operator " ^ Op.toString rator)                    else raise Fail("sigOf: invalid operator " ^ Op.toString rator)
77              | Op.Index(ty as Ty.SeqTy(elemTy, _)) => (elemTy, [ty, Ty.IntTy])              | Op.SeqSub(ty as Ty.SeqTy(elemTy, _)) => (elemTy, [ty, Ty.IntTy])
78              | Op.IntToReal => (Ty.realTy, [Ty.IntTy])              | Op.IntToReal => (Ty.realTy, [Ty.IntTy])
79              | Op.TruncToInt => (Ty.IntTy, [Ty.realTy])              | Op.TruncToInt => (Ty.IntTy, [Ty.realTy])
80              | Op.RoundToInt => (Ty.IntTy, [Ty.realTy])              | Op.RoundToInt => (Ty.IntTy, [Ty.realTy])

Legend:
Removed from v.1524  
changed lines
  Added in v.1525

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