Skip to content

Commit

Permalink
Updated golden files
Browse files Browse the repository at this point in the history
  • Loading branch information
@Unisay
Unisay committed Jun 6, 2024
1 parent 0dfad13 commit 875ce69
Show file tree
Hide file tree
Showing 553 changed files with 10,272 additions and 21,413 deletions.
2 changes: 1 addition & 1 deletion plutus-core/plutus-core/test/scopes/apply.plc.golden
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
(program
0.1.0 (lam x_4 y_1 (lam x_5 z_2 [ [ [ f_3 x_5 ] (lam x_6 y_1 x_6) ] x_5 ]))
0.1.0 (lam x-4 y-1 (lam x-5 z-2 [ [ [ f-3 x-5 ] (lam x-6 y-1 x-6) ] x-5 ]))
)
2 changes: 1 addition & 1 deletion plutus-core/plutus-core/test/scopes/lambda.plc.golden
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
(program 0.1.0 (lam x_3 y_1 (lam x_4 z_2 [ [ (builtin addInteger) x_4 ] x_4 ])))
(program 0.1.0 (lam x-3 y-1 (lam x-4 z-2 [ [ (builtin addInteger) x-4 ] x-4 ])))
2 changes: 1 addition & 1 deletion plutus-core/plutus-core/test/scopes/lambda2.plc.golden
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
(program 0.1.0 (lam x_6 y_1 (lam x_7 z_2 [ (lam f_8 t_4 j_5) x_7 ])))
(program 0.1.0 (lam x-6 y-1 (lam x-7 z-2 [ (lam f-8 t-4 j-5) x-7 ])))
20 changes: 10 additions & 10 deletions plutus-core/plutus-core/test/scopes/negation.plc.golden
View file
Original file line number Diff line number Diff line change
@@ -1,28 +1,28 @@
(program
0.1.0
(lam
x_6
(all a_7 (type) (fun a_7 (fun a_7 a_7)))
x-6
(all a-7 (type) (fun a-7 (fun a-7 a-7)))
[
[
[
{
(abs
b_8
b-8
(type)
(lam
x_9
(all a_10 (type) (fun a_10 (fun a_10 a_10)))
(lam t_11 b_8 (lam f_12 b_8 [ [ { x_9 b_8 } t_11 ] f_12 ]))
x-9
(all a-10 (type) (fun a-10 (fun a-10 a-10)))
(lam t-11 b-8 (lam f-12 b-8 [ [ { x-9 b-8 } t-11 ] f-12 ]))
)
)
(all a_13 (type) (fun a_13 (fun a_13 a_13)))
(all a-13 (type) (fun a-13 (fun a-13 a-13)))
}
x_6
x-6
]
(abs a_14 (type) (lam x_15 a_14 (lam y_16 a_14 y_16)))
(abs a-14 (type) (lam x-15 a-14 (lam y-16 a-14 y-16)))
]
(abs a_17 (type) (lam t_18 a_17 (lam f_19 a_17 t_18)))
(abs a-17 (type) (lam t-18 a-17 (lam f-19 a-17 t-18)))
]
)
)
2 changes: 1 addition & 1 deletion plutus-core/plutus-ir/test/PlutusIR/Compiler/Datatype/dataEscape.golden
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
(all a_16 (type) (fun a_16 [ Maybe_5 a_16 ]))
all a-16. a-16 -> Maybe-5 a-16
2 changes: 1 addition & 1 deletion plutus-core/plutus-ir/test/PlutusIR/Compiler/Datatype/idleAll.golden
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
Error during PIR typechecking:
The result-type of a dataconstructor is malformed at location idleAll:12:5-17:5
The expected result-type is: [ D2 a ]
The expected result-type is: [ D2-12 a-15 ]
250 changes: 47 additions & 203 deletions plutus-core/plutus-ir/test/PlutusIR/Compiler/Datatype/listMatch.golden
View file
Original file line number Diff line number Diff line change
@@ -1,206 +1,50 @@
(program
program
1.1.0
[
[
[
{
(abs
List_i0
(fun (type) (type))
(lam
Nil_i0
(all a_i0 (type) [ List_i3 a_i1 ])
(lam
Cons_i0
(all
a_i0 (type) (fun a_i1 (fun [ List_i4 a_i1 ] [ List_i4 a_i1 ]))
)
(lam
match_List_i0
(all
a_i0
(type)
(fun
[ List_i5 a_i1 ]
(all
out_List_i0
(type)
(fun
out_List_i1
(fun
(fun a_i2 (fun [ List_i6 a_i2 ] out_List_i1))
out_List_i1
)
)
)
)
)
(abs a_i0 (type) (lam x_i0 a_i2 x_i1))
)
)
)
)
(lam
a_i0
(type)
(ifix
(lam
List_i0
(fun (type) (type))
(lam a_i0 (type) (sop [] [a_i1 [ List_i2 a_i1 ]]))
)
a_i1
)
)
}
(abs
a_i0
(type)
(iwrap
(lam
List_i0
(fun (type) (type))
(lam a_i0 (type) (sop [] [a_i1 [ List_i2 a_i1 ]]))
)
a_i1
(constr
(sop
((/\(List :: * -> *) ->
\(Nil : all a. List a)
(Cons : all a. a -> List a -> List a)
(match_List :
all a.
List a ->
(all out_List.
out_List -> (a -> List a -> out_List) -> out_List)) ->
/\a -> \(x : a) -> x)
{\a -> ifix (\(List :: * -> *) a -> sop [] [a, (List a)]) a}
(/\a ->
iwrap
(\(List :: * -> *) a -> sop [] [a, (List a)])
a
(constr
(sop
[]
[a_i1
[
(lam
a_i0
(type)
(ifix
(lam
List_i0
(fun (type) (type))
(lam a_i0 (type) (sop [] [a_i1 [ List_i2 a_i1 ]]))
)
a_i1
)
)
a_i1
]]
)
0
)
)
)
]
(abs
a_i0
(type)
(lam
arg_0_i0
a_i2
(lam
arg_1_i0
[
(lam
a_i0
(type)
(ifix
(lam
List_i0
(fun (type) (type))
(lam a_i0 (type) (sop [] [a_i1 [ List_i2 a_i1 ]]))
)
a_i1
)
)
a_i3
]
(iwrap
(lam
List_i0
(fun (type) (type))
(lam a_i0 (type) (sop [] [a_i1 [ List_i2 a_i1 ]]))
)
a_i3
(constr
(sop
[ a
, ((\a -> ifix (\(List :: * -> *) a -> sop [] [a, (List a)]) a)
a) ])
0
[]))
(/\a ->
\(arg_0 : a)
(arg_1 :
(\a -> ifix (\(List :: * -> *) a -> sop [] [a, (List a)]) a) a) ->
iwrap
(\(List :: * -> *) a -> sop [] [a, (List a)])
a
(constr
(sop
[]
[a_i3
[
(lam
a_i0
(type)
(ifix
(lam
List_i0
(fun (type) (type))
(lam a_i0 (type) (sop [] [a_i1 [ List_i2 a_i1 ]]))
)
a_i1
)
)
a_i3
]]
)
1
arg_0_i2
arg_1_i1
)
)
)
)
)
]
(abs
a_i0
(type)
(lam
x_i0
[
(lam
a_i0
(type)
(ifix
(lam
List_i0
(fun (type) (type))
(lam a_i0 (type) (sop [] [a_i1 [ List_i2 a_i1 ]]))
)
a_i1
)
)
a_i2
]
(abs
out_List_i0
(type)
(lam
case_Nil_i0
out_List_i2
(lam
case_Cons_i0
(fun
a_i5
(fun
[
(lam
a_i0
(type)
(ifix
(lam
List_i0
(fun (type) (type))
(lam a_i0 (type) (sop [] [a_i1 [ List_i2 a_i1 ]]))
)
a_i1
)
)
a_i5
]
out_List_i3
)
)
(case out_List_i3 (unwrap x_i4) case_Nil_i2 case_Cons_i1)
)
)
)
)
)
]
)
[ a
, ((\a ->
ifix (\(List :: * -> *) a -> sop [] [a, (List a)]) a)
a) ])
1
[arg_0, arg_1]))
(/\a ->
\(x : (\a -> ifix (\(List :: * -> *) a -> sop [] [a, (List a)]) a) a) ->
/\out_List ->
\(case_Nil : out_List)
(case_Cons :
a ->
(\a -> ifix (\(List :: * -> *) a -> sop [] [a, (List a)]) a)
a ->
out_List) ->
case out_List (unwrap x) [case_Nil, case_Cons]))
2 changes: 1 addition & 1 deletion plutus-core/plutus-ir/test/PlutusIR/Compiler/Datatype/listMatchEval.golden
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
(delay (lam x_0 x_0))
delay (\x -> x)
Loading

0 comments on commit 875ce69

Please sign in to comment.