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

SCM Repository

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

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

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

revision 5029, Tue Jul 11 22:38:23 2017 UTC revision 5030, Tue Jul 11 22:53:10 2017 UTC
# Line 92  Line 92 
92                  dim = checkDim (env, cxt, dim),                  dim = checkDim (env, cxt, dim),
93                  shape = CheckExpr.checkShape (env, cxt, shape)                  shape = CheckExpr.checkShape (env, cxt, shape)
94                  }                  }
95              | PT.T_Poly{diff, dim, shape} => Ty.T_Poly{              | PT.T_OField{diff, dim, shape} => Ty.T_OField{
96                  diff = checkDiff (cxt, diff),                  diff = checkDiff (cxt, diff),
97                  dim = checkDim (env, cxt, dim),                  dim = checkDim (env, cxt, dim),
98                  shape = CheckExpr.checkShape (env, cxt, shape)                  shape = CheckExpr.checkShape (env, cxt, shape)

Legend:
Removed from v.5029  
changed lines
  Added in v.5030

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