dim_reduce.ml 300 B

1234567891011
  1. open Ast
  2. open Util
  3. let rec dim_reduce = function
  4. | node -> transform_children dim_reduce node
  5. let rec phase input =
  6. prerr_endline "- Array dimension reduction";
  7. match input with
  8. | Ast (node, args) -> Ast (dim_reduce node, args)
  9. | _ -> raise (InvalidInput "dimension reduction")