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

SCM Repository

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

Diff of /trunk/src/compiler/typechecker/typechecker.sml

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

revision 1640, Wed Nov 16 02:19:51 2011 UTC revision 1923, Sat Jun 23 12:02:18 2012 UTC
# Line 340  Line 340 
340                  fun checkFieldApp (e1', ty1) = (case (args, tys)                  fun checkFieldApp (e1', ty1) = (case (args, tys)
341                         of ([e2'], [ty2]) => let                         of ([e2'], [ty2]) => let
342                              val (tyArgs, Ty.T_Fun(domTy, rngTy)) =                              val (tyArgs, Ty.T_Fun(domTy, rngTy)) =
343                                    Util.instantiate(Var.typeOf BV.op_at)                                    Util.instantiate(Var.typeOf BV.op_probe)
344                              in                              in
345                                if U.matchTypes(domTy, [ty1, ty2])                                if U.matchTypes(domTy, [ty1, ty2])
346                                  then (AST.E_Apply(BV.op_at, tyArgs, [e1', e2'], rngTy), rngTy)                                  then (AST.E_Apply(BV.op_probe, tyArgs, [e1', e2'], rngTy), rngTy)
347                                  else err (cxt, [                                  else err (cxt, [
348                                      S "type error for field application\n",                                      S "type error for field application\n",
349                                      S "  expected:  ", TYS domTy, S "\n",                                      S "  expected:  ", TYS domTy, S "\n",

Legend:
Removed from v.1640  
changed lines
  Added in v.1923

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