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

Diff of /typing/typer.ml

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

revision 77 by abate, Tue Jul 10 17:04:07 2007 UTC revision 78 by abate, Tue Jul 10 17:04:23 2007 UTC
# Line 154  Line 154 
154            v            v
155    
156    
   let atom_nil = Types.mk_atom "nil"  
157    let constant_nil v t =    let constant_nil v t =
158      mk noloc (And (t, (mk noloc (Constant (v, Types.Atom atom_nil))), true))      mk noloc (And (t, (mk noloc (Constant (v, Types.Atom Sequence.nil_atom))), true))
159    
160    let compile regexp queue : ppat =    let compile regexp queue : ppat =
161      let vars = seq_vars StringSet.empty regexp in      let vars = seq_vars StringSet.empty regexp in
# Line 518  Line 517 
517                 raise_loc loc                 raise_loc loc
518                   (ShouldHave (constr,(Printf.sprintf                   (ShouldHave (constr,(Printf.sprintf
519                                          "Field %s is not allowed here."                                          "Field %s is not allowed here."
520                                          (Types.label_name l)                                          (Types.LabelPool.value l)
521                                       )                                       )
522                               ));                               ));
523               let t = type_check env e pi true in               let t = type_check env e pi true in
Legend:
Removed from v.77  
changed lines
  Added in v.78
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5