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

SCM Repository

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

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

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

revision 1686, Mon Jan 23 18:49:17 2012 UTC revision 1687, Wed Jan 25 13:02:32 2012 UTC
# Line 75  Line 75 
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.SeqSub(ty as Ty.SeqTy(elemTy, _)) => (elemTy, [ty, Ty.IntTy])              | Op.SeqSub(ty as Ty.SeqTy(elemTy, _)) => (elemTy, [ty, Ty.IntTy])
78                | Op.MkDynamic(ty, n) => (ty, [Ty.SeqTy(ty, n)])
79                | Op.Prepend ty => (Ty.DynSeqTy ty, [ty, Ty.DynSeqTy ty])
80                | Op.Append ty => (Ty.DynSeqTy ty, [Ty.DynSeqTy ty, ty])
81                | Op.Concat ty => (Ty.DynSeqTy ty, [Ty.DynSeqTy ty, Ty.DynSeqTy ty])
82              | Op.IntToReal => (Ty.realTy, [Ty.IntTy])              | Op.IntToReal => (Ty.realTy, [Ty.IntTy])
83              | Op.TruncToInt => (Ty.IntTy, [Ty.realTy])              | Op.TruncToInt => (Ty.IntTy, [Ty.realTy])
84              | Op.RoundToInt => (Ty.IntTy, [Ty.realTy])              | Op.RoundToInt => (Ty.IntTy, [Ty.realTy])

Legend:
Removed from v.1686  
changed lines
  Added in v.1687

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