Skip to content

Commit

Permalink
tests: update snapshots
Browse files Browse the repository at this point in the history
  • Loading branch information
W95Psp committed Nov 2, 2023
1 parent e42d78d commit 8bad5fb
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -199,7 +199,7 @@ let j (x: t_Bar) : (t_Bar & u8) =
let output:u8 = out in
x, output

class t_FooTrait (#v_Self: Type) = { f_z:v_Self -> v_Self }
class t_FooTrait (v_Self: Type) = { f_z:v_Self -> v_Self }

let impl_FooTrait_for_Foo: t_FooTrait t_Foo = { f_z = fun (self: t_Foo) -> self }

Expand Down
6 changes: 3 additions & 3 deletions test-harness/src/snapshots/toolchain__naming into-fstar.snap
Original file line number Diff line number Diff line change
Expand Up @@ -76,17 +76,17 @@ let reserved_names (v_val v_noeq v_of: u8) : u8 = (v_val +! v_noeq <: u8) +! v_o

type t_Arity1 (v_T: Type) {| _: Core.Marker.t_Sized v_T |} = | Arity1 : v_T -> t_Arity1 v_T

class t_T1 (#v_Self: Type) = { __marker_trait_t_T1:Prims.unit }
class t_T1 (v_Self: Type) = { __marker_trait_t_T1:Prims.unit }

let impl_T1_for_Foo: t_T1 t_Foo = { __marker_trait = () }

let impl_T1_for_tuple_Foo_u8: t_T1 (t_Foo & u8) = { __marker_trait = () }

class t_T2_for_a (#v_Self: Type) = { __marker_trait_t_T2_for_a:Prims.unit }
class t_T2_for_a (v_Self: Type) = { __marker_trait_t_T2_for_a:Prims.unit }

let impl_T2_e_for_a_for_Arity1_of_tuple_Foo_u8: t_T2_for_a (t_Arity1 (t_Foo & u8)) =
{ __marker_trait = () }

class t_T3_e_for_a (#v_Self: Type) = { __marker_trait_t_T3_e_for_a:Prims.unit }
class t_T3_e_for_a (v_Self: Type) = { __marker_trait_t_T3_e_for_a:Prims.unit }

let impl_T3_e_e_for_a_for_Foo: t_T3_e_for_a t_Foo = { __marker_trait = () }'''

0 comments on commit 8bad5fb

Please sign in to comment.