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 1687, Wed Jan 25 13:02:32 2012 UTC revision 1688, Wed Jan 25 13:36:13 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)])              | Op.MkDynamic(ty, n) => (Ty.DynSeqTy ty, [Ty.SeqTy(ty, n)])
79              | Op.Prepend ty => (Ty.DynSeqTy ty, [ty, Ty.DynSeqTy ty])              | Op.Prepend ty => (Ty.DynSeqTy ty, [ty, Ty.DynSeqTy ty])
80              | Op.Append ty => (Ty.DynSeqTy ty, [Ty.DynSeqTy ty, ty])              | Op.Append ty => (Ty.DynSeqTy ty, [Ty.DynSeqTy ty, ty])
81              | Op.Concat ty => (Ty.DynSeqTy ty, [Ty.DynSeqTy ty, Ty.DynSeqTy ty])              | Op.Concat ty => (Ty.DynSeqTy ty, [Ty.DynSeqTy ty, Ty.DynSeqTy ty])
# Line 104  Line 104 
104            if List.all (fn ty => Ty.same(ty1, ty)) r            if List.all (fn ty => Ty.same(ty1, ty)) r
105              then (dd' = (List.length r + 1)::dd)              then (dd' = (List.length r + 1)::dd)
106              else false              else false
107          | typeOfCons (Ty.SeqTy(ty, n), tys) =
108              List.all (fn ty' => Ty.same(ty, ty')) tys andalso (List.length tys = n)
109        | typeOfCons _ = false        | typeOfCons _ = false
110    
111    end    end

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

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