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

SCM Repository

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

Diff of /branches/vis12/src/compiler/typechecker/util.sml

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

revision 2169, Sat Feb 23 13:24:04 2013 UTC revision 2170, Sat Feb 23 13:41:17 2013 UTC
# Line 236  Line 236 
236                      | COERCE => matchArgTys (tys1, args, tys2, AST.E_Coerce{srcTy=ty2, dstTy=ty1, e=arg}::args')                      | COERCE => matchArgTys (tys1, args, tys2, AST.E_Coerce{srcTy=ty2, dstTy=ty1, e=arg}::args')
237                      | _ => (undo pl; NONE)                      | _ => (undo pl; NONE)
238                    (* end case *))                    (* end case *))
239                    | matchArgTys _ = NONE
240              in              in
241                matchArgTys (paramTys, args, argTys, [])                matchArgTys (paramTys, args, argTys, [])
242              end              end

Legend:
Removed from v.2169  
changed lines
  Added in v.2170

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