Source file `ag_ob_spe.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13

(*
  Optimization of the biniou representation
*)

open Ag_mapping
open Ag_ob_mapping

let get_table_info deref x =
  match deref x with
      `Record y -> y
    | _ ->
        Ag_error.error (Atd_ast.loc_of_type_expr x) "Not a record type"