ast_abstract_test.res

let suites: ref<Mt.pair_suites> = ref(list{})
let test_id = ref(0)
let eq = (loc, x, y) => {
  incr(test_id)
  suites :=
    list{(loc ++ (" id " ++ string_of_int(test_id.contents)), _ => Mt.Eq(x, y)), ...suites.contents}
}

@deriving({jsConverter: newType})
type t<'a> = {
  x: int,
  y: bool,
  z: 'a,
}

let v0 = tToJs({x: 3, y: false, z: false})
let v1 = tToJs({x: 3, y: false, z: ""})

@deriving({jsConverter: newType})
type x = [
  | #a
  | #b
  | #c
]

let idx = v => eq(__LOC__, xFromJs(xToJs(v)), v)
let x0 = xToJs(#a)
let x1 = xToJs(#b)

let () = {
  idx(#a)
  idx(#b)
  idx(#c)
}

/* type a =
  | A
  | B [@as 3]
  | C
[@@bs.deriving {jsConverter = newType}]      

let id  x = 
    eq  __LOC__ (aFromJs (aToJs x ))  x 
let a0 = aToJs A 
let a1 = aToJs B */

/* let () = 
  id  A ;
  id  B ;
  id  C */

/* type b = 
  | D0
  | D1
  | D2 
  | D3 
[@@bs.deriving {jsConverter = newType }]       


let b0 = bToJs D0 
let b1 = bToJs D1 

let idb v = 
  eq __LOC__ (bFromJs (bToJs v )) v 

let () = idb D0; idb D1; idb D2 ; idb D3 */

/* type c = 
  | D0 [@bs.as 3]
  | D1
  | D2 
  | D3 
[@@bs.deriving {jsConverter = {newType }}]       

let c0 = cToJs D0 

let idc v = eq __LOC__ (cFromJs (cToJs v)) v

let () = idc D0; idc D1 ; idc D2; idc D3 */

/* type h = 
  | JsMapperEraseType
  | B [@@bs.deriving {accessors; jsConverter = newType} ] */

/*
type z =    
  | ZFromJs 
  | ZToJs
  | ZXx (* not overridden *)
[@@bs.deriving {
  accessors;
  jsConverter
}
] */

Mt.from_pair_suites(__MODULE__, suites.contents)