/[svn]/cduce/trunk/runtime/load_xml.ml
ViewVC logotype

Diff of /cduce/trunk/runtime/load_xml.ml

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

revision 232 by abate, Tue Jul 10 17:15:58 2007 UTC revision 233 by abate, Tue Jul 10 17:17:31 2007 UTC
# Line 6  Line 6 
6  open Pxp_lexer_types  open Pxp_lexer_types
7  open Pxp_types  open Pxp_types
8  open Value  open Value
9    open Ident
10    
11  let is_ws s =  let is_ws s =
12    let rec check i =    let rec check i =
# Line 20  Line 21 
21    String (0,String.length s,s,q)    String (0,String.length s,s,q)
22    
23  let attrib att =  let attrib att =
24    let att = List.map (fun (l,v) -> Types.LabelPool.mk l, string v nil) att in    let att = List.map (fun (l,v) -> LabelPool.mk l, string v nil) att in
25    SortedMap.from_list (fun _ _ -> assert false) att    LabelMap.from_list (fun _ _ -> assert false) att
26    
27  let elem tag att child =  let elem tag att child =
28    Xml (Atom (Atoms.mk tag), Pair (Record (attrib att), child))    Xml (Atom (Atoms.mk tag), Pair (Record (attrib att), child))

Legend:
Removed from v.232  
changed lines
  Added in v.233

CVS Admin">CVS Admin
ViewVC Help
Powered by ViewVC 1.1.5