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

SCM Repository

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

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

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

revision 2584, Tue Apr 15 03:22:58 2014 UTC revision 2585, Thu Apr 17 03:52:19 2014 UTC
# Line 309  Line 309 
309                                      S "  found: ", TYS[ty1, ty2], S "\n"                                      S "  found: ", TYS[ty1, ty2], S "\n"
310                                    ])                                    ])
311                              end                              end
312                            (* made Field Check for Inner product*)
313                        |  (Ty.T_Field{diff, dim, shape}, Ty.T_Field _ )=> let
314                            (*Doesn't check actual shape *)
315                              val _=print "\n A"
316                            val (tyArgs, Ty.T_Fun(domTy, rngTy)) = Util.instantiate(Var.typeOf BV.op_innerField)
317                            val _=print "\n B"
318                            in
319                                (AST.E_Apply(BV.op_inner, tyArgs, [e1', e2'], rngTy),   rngTy)
320                            end
321                            (*  err (cxt, [
322                                S "type error for arguments of binary operator \"•\"\n",
323                                S " Field found: ", TYS[ty1, ty2], S "\n"
324                                    ])
325                            *)
326    
327                         | (ty1, ty2) => err (cxt, [                         | (ty1, ty2) => err (cxt, [
328                                S "type error for arguments of binary operator \"•\"\n",                                S "type error for arguments of binary operator \"•\"\n",
329                                S "  found: ", TYS[ty1, ty2], S "\n"                                S "  found: ", TYS[ty1, ty2], S "\n"

Legend:
Removed from v.2584  
changed lines
  Added in v.2585

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