Skip to content

Commit

Permalink
Autoformat tests
Browse files Browse the repository at this point in the history 
Signed-off-by: Dmitrii.Kosarev a.k.a. Kakadu <Dmitrii.Kosarev@pm.me>
  • Loading branch information
Dmitrii.Kosarev a.k.a. Kakadu authored and Dmitrii.Kosarev a.k.a. Kakadu committed Mar 26, 2024
1 parent 2eb80e2 commit 4215a06
Show file tree
Hide file tree
Showing 3 changed files with 58 additions and 57 deletions.
3 changes: 2 additions & 1 deletion regression_ppx/test001.t
View file
Original file line number Diff line number Diff line change
Expand Up @@ -226,7 +226,8 @@
OCanren.Reifier.t ) =
fun ra rb rc ->
let open OCanren.Env.Monad in
OCanren.Reifier.fix (fun _ -> OCanren.prj_exn <..> chain (fmapt ra rb rc))
OCanren.Reifier.fix (fun _ ->
OCanren.prj_exn <..> chain (fmapt ra rb rc) )
let (reify :
('a, 'a_2) OCanren.Reifier.t
Expand Down
78 changes: 39 additions & 39 deletions regression_ppx/test006.t
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,17 +25,17 @@
class ['s, 's_2, 'xs, 'xs_2, 'extra_t, 'syn_t] gmap_t_t fs fxs =
let _ = fs in
fun _fself_t ->
object
inherit [unit, 's, 's_2, unit, 'xs, 'xs_2, unit, 'extra_t, ('s_2, 'xs_2) t] t_t
object
inherit [unit, 's, 's_2, unit, 'xs, 'xs_2, unit, 'extra_t, ('s_2, 'xs_2) t] t_t

constraint 'extra_t = ('s, 'xs) t
constraint 'extra_t = ('s, 'xs) t
constraint 'syn_t = ('s_2, 'xs_2) t
constraint 'syn_t = ('s_2, 'xs_2) t

method c_Symb () _ _x__005_ = Symb (fs () _x__005_)
method c_Symb () _ _x__005_ = Symb (fs () _x__005_)

method c_Seq () _ _x__006_ = Seq (fxs () _x__006_)
end
method c_Seq () _ _x__006_ = Seq (fxs () _x__006_)
end

let gmap_t fs fxs =
let _ = fs in
Expand Down Expand Up @@ -238,31 +238,31 @@
let _ = fxs in
let _ = fs in
fun _fself_t ->
object
inherit
[ unit
, 's
, 's_2
, unit
, 't
, 't_2
, unit
, 'xs
, 'xs_2
, unit
, 'extra_t
, ('s_2, 't_2, 'xs_2) t ]
t_t
constraint 'extra_t = ('s, 't, 'xs) t
constraint 'syn_t = ('s_2, 't_2, 'xs_2) t
method c_Closure () _ _x__014_ _x__015_ _x__016_ =
Closure (fs () _x__014_, ft () _x__015_, fxs () _x__016_)
method c_Val () _ _x__017_ = Val (ft () _x__017_)
end
object
inherit
[ unit
, 's
, 's_2
, unit
, 't
, 't_2
, unit
, 'xs
, 'xs_2
, unit
, 'extra_t
, ('s_2, 't_2, 'xs_2) t ]
t_t
constraint 'extra_t = ('s, 't, 'xs) t
constraint 'syn_t = ('s_2, 't_2, 'xs_2) t
method c_Closure () _ _x__014_ _x__015_ _x__016_ =
Closure (fs () _x__014_, ft () _x__015_, fxs () _x__016_)
method c_Val () _ _x__017_ = Val (ft () _x__017_)
end
let gmap_t fs ft fxs =
let _ = fxs in
Expand Down Expand Up @@ -791,17 +791,17 @@
class ['a1, 'a1_2, 'a0, 'a0_2, 'extra_t, 'syn_t] gmap_t_t fa1 fa0 =
let _ = fa1 in
fun _fself_t ->
object
inherit [unit, 'a1, 'a1_2, unit, 'a0, 'a0_2, unit, 'extra_t, ('a1_2, 'a0_2) t] t_t
object
inherit [unit, 'a1, 'a1_2, unit, 'a0, 'a0_2, unit, 'extra_t, ('a1_2, 'a0_2) t] t_t

constraint 'extra_t = ('a1, 'a0) t
constraint 'extra_t = ('a1, 'a0) t
constraint 'syn_t = ('a1_2, 'a0_2) t
constraint 'syn_t = ('a1_2, 'a0_2) t

method c_Symb () _ _x__026_ = Symb (fa1 () _x__026_)
method c_Symb () _ _x__026_ = Symb (fa1 () _x__026_)

method c_Seq () _ _x__027_ = Seq (fa0 () _x__027_)
end
method c_Seq () _ _x__027_ = Seq (fa0 () _x__027_)
end

let gmap_t fa1 fa0 =
let _ = fa1 in
Expand Down
34 changes: 17 additions & 17 deletions regression_ppx/test007.t
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,17 +27,17 @@
class ['a1, 'a1_2, 'a0, 'a0_2, 'extra_t, 'syn_t] gmap_t_t fa1 fa0 =
let _ = fa1 in
fun _fself_t ->
object
inherit [unit, 'a1, 'a1_2, unit, 'a0, 'a0_2, unit, 'extra_t, ('a1_2, 'a0_2) t] t_t
object
inherit [unit, 'a1, 'a1_2, unit, 'a0, 'a0_2, unit, 'extra_t, ('a1_2, 'a0_2) t] t_t

constraint 'extra_t = ('a1, 'a0) t
constraint 'extra_t = ('a1, 'a0) t
constraint 'syn_t = ('a1_2, 'a0_2) t
constraint 'syn_t = ('a1_2, 'a0_2) t

method c_Symb () _ _x__005_ = Symb (fa1 () _x__005_)
method c_Symb () _ _x__005_ = Symb (fa1 () _x__005_)

method c_Seq () _ _x__006_ = Seq (fa0 () _x__006_)
end
method c_Seq () _ _x__006_ = Seq (fa0 () _x__006_)
end

let gmap_t fa1 fa0 =
let _ = fa1 in
Expand All @@ -46,19 +46,19 @@
class ['a1, 'a0, 'extra_t] show_t_t fa1 fa0 =
let _ = fa1 in
fun _fself_t ->
object
inherit [unit, 'a1, string, unit, 'a0, string, unit, 'extra_t, string] t_t
object
inherit [unit, 'a1, string, unit, 'a0, string, unit, 'extra_t, string] t_t

constraint 'extra_t = ('a1, 'a0) t
constraint 'extra_t = ('a1, 'a0) t
method c_Symb () _ _x__007_ =
let () = () in
Printf.sprintf "Symb (%s)" (fa1 () _x__007_)
method c_Symb () _ _x__007_ =
let () = () in
Printf.sprintf "Symb (%s)" (fa1 () _x__007_)
method c_Seq () _ _x__008_ =
let () = () in
Printf.sprintf "Seq (%s)" (fa0 () _x__008_)
end
method c_Seq () _ _x__008_ =
let () = () in
Printf.sprintf "Seq (%s)" (fa0 () _x__008_)
end
let show_t fa1 fa0 =
let _ = fa1 in
Expand Down

0 comments on commit 4215a06

Please sign in to comment.