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 2018, Tue Oct 9 12:54:37 2012 UTC revision 2019, Wed Oct 10 11:48:09 2012 UTC
# Line 391  Line 391 
391                        in                        in
392                          if U.equalTypes(domTy, [ty1, ty2])                          if U.equalTypes(domTy, [ty1, ty2])
393                            then let                            then let
394                              val exp = AST.E_Apply(BV.subscript, tyArgs, [e1', e2'], rngTy)                              val exp = AST.E_Apply(rator, tyArgs, [e1', e2'], rngTy)
395                              in                              in
396                                (exp, rngTy)                                (exp, rngTy)
397                              end                              end

Legend:
Removed from v.2018  
changed lines
  Added in v.2019

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