/[svn]/typing/typer.ml
ViewVC logotype

Diff of /typing/typer.ml

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

revision 57 by abate, Tue Jul 10 17:01:32 2007 UTC revision 58 by abate, Tue Jul 10 17:01:56 2007 UTC
# Line 630  Line 630 
630          check loc1 t1 Sequence.seqseq          check loc1 t1 Sequence.seqseq
631            "The argument of flatten must be a sequence of sequences";            "The argument of flatten must be a sequence of sequences";
632          Sequence.flatten t1          Sequence.flatten t1
633        | "load_xml", [loc1,t1] ->
634            check loc1 t1 Sequence.string
635              "The argument of load_xml must be a string (filename)";
636            Types.any
637      | _ -> assert false      | _ -> assert false
638    
639  and type_int_binop f loc1 t1 loc2 t2 =  and type_int_binop f loc1 t1 loc2 t2 =
Legend:
Removed from v.57  
changed lines
  Added in v.58
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5