From 8bad5fb44324034c154a9fa88360e3aad46bf795 Mon Sep 17 00:00:00 2001 From: Lucas Franceschino Date: Thu, 2 Nov 2023 20:14:16 +0100 Subject: [PATCH] tests: update snapshots --- .../toolchain__mut-ref-functionalization into-fstar.snap | 2 +- .../src/snapshots/toolchain__naming into-fstar.snap | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/test-harness/src/snapshots/toolchain__mut-ref-functionalization into-fstar.snap b/test-harness/src/snapshots/toolchain__mut-ref-functionalization into-fstar.snap index 5101da971..01aef61f5 100644 --- a/test-harness/src/snapshots/toolchain__mut-ref-functionalization into-fstar.snap +++ b/test-harness/src/snapshots/toolchain__mut-ref-functionalization into-fstar.snap @@ -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 } diff --git a/test-harness/src/snapshots/toolchain__naming into-fstar.snap b/test-harness/src/snapshots/toolchain__naming into-fstar.snap index a8fbee7f3..8c9caef88 100644 --- a/test-harness/src/snapshots/toolchain__naming into-fstar.snap +++ b/test-harness/src/snapshots/toolchain__naming into-fstar.snap @@ -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 = () }'''