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

SCM Repository

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

Diff of /branches/vis15/src/compiler/typechecker/check-type.sml

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

revision 3397, Tue Nov 10 19:44:40 2015 UTC revision 3398, Wed Nov 11 01:17:58 2015 UTC
# Line 79  Line 79 
79                  in                  in
80                    if TU.isFixedSizeType ty                    if TU.isFixedSizeType ty
81                      then Ty.T_Sequence(ty, checkSeqDim (cxt, dim))                      then Ty.T_Sequence(ty, checkSeqDim (cxt, dim))
82                      else (err(cxt, [S "elements of sequence types must be fixed-size types"])                      else err(cxt, [S "elements of sequence types must be fixed-size types"])
83                  end                  end
84              | PT.T_DynSeq ty => let              | PT.T_DynSeq ty => let
85                  val ty = checkTy(cxt, ty)                  val ty = checkTy(cxt, ty)
86                  in                  in
87                    if TU.isFixedSizeType ty                    if TU.isFixedSizeType ty
88                      then Ty.T_DynSequence(ty)                      then Ty.T_Sequence(ty, NONE)
89                      else err(cxt, [S "elements of sequence types must be fixed-size types"])                      else err(cxt, [S "elements of sequence types must be fixed-size types"])
90                  end                  end
91            (* end case *))            (* end case *))
92    
   
93    end    end

Legend:
Removed from v.3397  
changed lines
  Added in v.3398

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