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

SCM Repository

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

Diff of /branches/vis15/src/compiler/tree-ir/check-tree.sml

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

revision 3957, Sun Jun 12 16:49:42 2016 UTC revision 3958, Sun Jun 12 19:51:51 2016 UTC
# Line 301  Line 301 
301                                    end                                    end
302                                | IR.E_VLoad(layout, e, i) => let                                | IR.E_VLoad(layout, e, i) => let
303                                    val ty = chk e                                    val ty = chk e
304                                    val expectedTy = Ty.TensorTy[#wid layout]                                    val expectedTy = Ty.TensorRefTy[#wid layout]
305                                    in                                    in
306                                      if Ty.same(ty, expectedTy)                                      if Ty.match{src=ty, dst=expectedTy}
307                                        then ()                                        then ()
308                                        else errFn [                                        else errFn [
309                                            S "type mismatch in E_VLoad, S(cxt())",                                            S "type mismatch in E_VLoad", S(cxt()),
310                                            NL, S "  expected: ", TY expectedTy,                                            NL, S "  expected: ", TY expectedTy,
311                                            NL, S "  found:    ", TY ty                                            NL, S "  found:    ", TY ty
312                                          ];                                          ];

Legend:
Removed from v.3957  
changed lines
  Added in v.3958

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