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 1991, Sun Aug 12 15:25:39 2012 UTC revision 1992, Thu Sep 27 10:23:12 2012 UTC
# Line 522  Line 522 
522                      then (AST.E_Apply(BV.zero, tyArgs, [], rngTy), rngTy)                      then (AST.E_Apply(BV.zero, tyArgs, [], rngTy), rngTy)
523                      else raise Fail "impossible"                      else raise Fail "impossible"
524                  end                  end
525                | PT.E_Image nrrd => let
526                    val (tyArgs, Ty.T_Fun(domTy, rngTy)) = Util.instantiate(Var.typeOf(BV.fn_image))
527                    in
528                      (AST.E_LoadNrrd(tyArgs, nrrd, rngTy), rngTy)
529                    end
530                | PT.E_Load nrrd => let
531                    val (tyArgs, Ty.T_Fun(domTy, rngTy)) = Util.instantiate(Var.typeOf(BV.fn_load))
532                    in
533                      (AST.E_LoadNrrd(tyArgs, nrrd, rngTy), rngTy)
534                    end
535            (* end case *))            (* end case *))
536    
537    (* typecheck a list of expressions returning a list of AST expressions and a list    (* typecheck a list of expressions returning a list of AST expressions and a list

Legend:
Removed from v.1991  
changed lines
  Added in v.1992

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