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

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/compiler/typechecker/typechecker.sml
ViewVC logotype

Diff of /branches/pure-cfg/src/compiler/typechecker/typechecker.sml

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

revision 823, Thu Apr 14 14:28:33 2011 UTC revision 824, Thu Apr 14 15:54:24 2011 UTC
# Line 350  Line 350 
350                  val (tyArgs, Ty.T_Fun(_, rngTy)) =                  val (tyArgs, Ty.T_Fun(_, rngTy)) =
351                        Util.instantiate(Var.typeOf(BasisVars.identity))                        Util.instantiate(Var.typeOf(BasisVars.identity))
352                  in                  in
353                    if U.matchType(Ty.T_Tensor(checkShape(cxt, [d])), rngTy)                    if U.matchType(Ty.T_Tensor(checkShape(cxt, [d,d])), rngTy)
354                      then (AST.E_Apply(BasisVars.zero, tyArgs, [], rngTy), rngTy)                      then (AST.E_Apply(BasisVars.identity, tyArgs, [], rngTy), rngTy)
355                      else raise Fail "impossible"                      else raise Fail "impossible"
356                  end                  end
357              | PT.E_Zero dd => let              | PT.E_Zero dd => let

Legend:
Removed from v.823  
changed lines
  Added in v.824

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