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

Diff of /typing/typer.ml

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

revision 258 by abate, Tue Jul 10 17:19:14 2007 UTC revision 259 by abate, Tue Jul 10 17:20:05 2007 UTC
# Line 897  Line 897 
897          check loc1 t1 Sequence.string          check loc1 t1 Sequence.string
898            "The argument of load_xml must be a string (filename)";            "The argument of load_xml must be a string (filename)";
899          Types.any          Types.any
900        | "load_file", [loc1,t1] ->
901            check loc1 t1 Sequence.string
902              "The argument of load_file must be a string (filename)";
903            Sequence.string
904      | "load_html", [loc1,t1] ->      | "load_html", [loc1,t1] ->
905          check loc1 t1 Sequence.string          check loc1 t1 Sequence.string
906            "The argument of load_html must be a string (filename)";            "The argument of load_html must be a string (filename)";
Legend:
Removed from v.258  
changed lines
  Added in v.259
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5