/[svn]/driver/cduce.ml
ViewVC logotype

Diff of /driver/cduce.ml

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

revision 129 by abate, Tue Jul 10 17:08:54 2007 UTC revision 136 by abate, Tue Jul 10 17:09:36 2007 UTC
# Line 89  Line 89 
89        List.iter (fun (x,t) ->        List.iter (fun (x,t) ->
90                     Format.fprintf ppf " %s:%a@\n" x                     Format.fprintf ppf " %s:%a@\n" x
91                       print_norm (Types.descr t)) f                       print_norm (Types.descr t)) f
92      | `Restrict (p,t) ->
93          Format.fprintf ppf "[DEBUG:restrict]@\n";
94          let t = Typer.typ !glb_env t
95          and p = Typer.pat !glb_env p in
96    (*      let f = Patterns.restrict (Patterns.descr p) (Types.descr t) in
97          (match f with
98            | `Pat q -> Format.fprintf ppf "Pat: %a@\n" Patterns.print q
99            | `Accept -> Format.fprintf ppf "Accept@\n"
100            | `Reject -> Format.fprintf ppf "Reject@\n") *)
101          Patterns.demo ppf (Patterns.descr p) (Types.descr t)
102    | `Accept p ->    | `Accept p ->
103        Format.fprintf ppf "[DEBUG:accept]@\n";        Format.fprintf ppf "[DEBUG:accept]@\n";
104        let p = Typer.pat !glb_env p in        let p = Typer.pat !glb_env p in
Legend:
Removed from v.129  
changed lines
  Added in v.136
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5