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

SCM Repository

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

Diff of /branches/lamont/src/compiler/typechecker/typechecker.sml

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

revision 2083, Thu Nov 8 18:42:05 2012 UTC revision 2084, Fri Nov 9 21:55:00 2012 UTC
# Line 583  Line 583 
583              | PT.VD_Decl(ty, x, e) => let              | PT.VD_Decl(ty, x, e) => let
584                  val ty = checkTy (cxt, ty)                  val ty = checkTy (cxt, ty)
585                  val x' = Var.new (x, kind, ty)                  val x' = Var.new (x, kind, ty)
586            val xTy = Var.monoTypeOf x'
587                  val (e', ty') = checkExpr (env, cxt, e)                  val (e', ty') = checkExpr (env, cxt, e)
588                  in                  in
589              (case e'              (case e'
590              of AST.E_SphereQuery(_,_) => (x,x',e')              of AST.E_SphereQuery(r,_) => (x,x',AST.E_SphereQuery(r,xTy))
591              | _ =>              | _ =>
592                    (case coerceType (ty, ty', e')                    (case coerceType (ty, ty', e')
593                     of SOME e' => (x, x', e')                     of SOME e' => (x, x', e')

Legend:
Removed from v.2083  
changed lines
  Added in v.2084

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