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-expr.sml
ViewVC logotype

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

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

revision 4398, Wed Aug 10 16:31:00 2016 UTC revision 4399, Wed Aug 10 17:19:22 2016 UTC
# Line 536  Line 536 
536                            | NONE => (case Env.findFunc (env, f)                            | NONE => (case Env.findFunc (env, f)
537                                 of Env.PrimFun[] => err(cxt, [S "unknown function ", A f])                                 of Env.PrimFun[] => err(cxt, [S "unknown function ", A f])
538                                  | Env.PrimFun[f'] => checkPrimApp f'                                  | Env.PrimFun[f'] => checkPrimApp f'
539                                  | Env.PrimFun ovldList => let                                  | Env.PrimFun ovldList => (
540                                      val (e' as AST.E_Prim(f', tyArgs, _, _), rngTy) =                                      case resolveOverload ((#1 cxt, span), f, tys, args, ovldList)
541                                            resolveOverload ((#1 cxt, span), f, tys, args, ovldList)                                       of (e' as AST.E_Prim(f', tyArgs, _, _), rngTy) =>
                                     in  
542  (* NOTE: if/when we switch to matching type patterns (instead of unification),  (* NOTE: if/when we switch to matching type patterns (instead of unification),
543   * we can use a "Self" type pattern to handle spatial queries.   * we can use a "Self" type pattern to handle spatial queries.
544   *)   *)
545                                        if Basis.isSpatialQueryOp f'                                        if Basis.isSpatialQueryOp f'
546                                          then checkSpatialQuery (env, cxt, e', tyArgs, rngTy)                                          then checkSpatialQuery (env, cxt, e', tyArgs, rngTy)
547                                          else (e', rngTy)                                          else (e', rngTy)
548                                      end                                        | badResult => badResult
549                                        (* end case *))
550                                  | Env.UserFun f' => checkFunApp((#1 cxt, span), f')                                  | Env.UserFun f' => checkFunApp((#1 cxt, span), f')
551                                (* end case *))                                (* end case *))
552                            (* end case *))                            (* end case *))

Legend:
Removed from v.4398  
changed lines
  Added in v.4399

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