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

SCM Repository

[diderot] Diff of /branches/vis12/src/compiler/typechecker/typechecker.sml
ViewVC logotype

Diff of /branches/vis12/src/compiler/typechecker/typechecker.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 408  Line 408 
408                        val resTy = Ty.T_Sequence(ty, Ty.DimConst(List.length args))                        val resTy = Ty.T_Sequence(ty, Ty.DimConst(List.length args))
409                        in                        in
410                          if List.all chkTy tys                          if List.all chkTy tys
411                            then (AST.E_Cons args, resTy)                            then (AST.E_Seq args, resTy)
412                            else err(cxt, [S "arguments of sequence expression must have same type"])                            else err(cxt, [S "arguments of sequence expression must have same type"])
413                        end                        end
414                      else err(cxt, [S "sequence expression of non-value argument type"])                      else err(cxt, [S "sequence expression of non-value argument type"])

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