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

Diff of /typing/typer.ml

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

revision 187 by abate, Tue Jul 10 17:12:31 2007 UTC revision 188 by abate, Tue Jul 10 17:13:41 2007 UTC
# Line 874  Line 874 
874          check loc1 t1 Sequence.string          check loc1 t1 Sequence.string
875            "The argument of load_xml must be a string (filename)";            "The argument of load_xml must be a string (filename)";
876          Types.any          Types.any
877        | "load_html", [loc1,t1] ->
878            check loc1 t1 Sequence.string
879              "The argument of load_html must be a string (filename)";
880            Types.any
881      | "raise", [loc1,t1] ->      | "raise", [loc1,t1] ->
882          Types.empty          Types.empty
883      | "print_xml", [loc1,t1] ->      | "print_xml", [loc1,t1] ->
Legend:
Removed from v.187  
changed lines
  Added in v.188
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5