Skip to content

Commit cd1fcb4

Browse files
SeungheonOhSeungheonOh
authored
Change case order for two branch builtin list casing (#7247)
1 parent 2b7e127 commit cd1fcb4

File tree

141 files changed

+1829
-1845
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

141 files changed

+1829
-1845
lines changed

‎cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.pir.golden‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -508,7 +508,7 @@ program
508508
a = pair data data
509509
in
510510
/\r ->
511-
\(z : r) (f : a -> list a -> r) (xs : list a) -> case r xs [z, f])
511+
\(z : r) (f : a -> list a -> r) (xs : list a) -> case r xs [f, z])
512512
{List (Tuple2 data data)}
513513
(Nil {Tuple2 data data})
514514
(\(x : pair data data) (xs : list (pair data data)) ->

‎cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.uplc.golden‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -870,8 +870,7 @@ program
870870
(\xs ->
871871
case
872872
xs
873-
[ (constr 0 [])
874-
, (\x xs ->
873+
[ (\x xs ->
875874
constr 1
876875
[ (constr 0
877876
[ (force
@@ -882,7 +881,8 @@ program
882881
x) ])
883882
, (force
884883
(s s (delay (\x -> x)))
885-
xs) ]) ]))
884+
xs) ])
885+
, (constr 0 []) ]))
886886
(delay (\x -> x))))
887887
((\s -> s s)
888888
(\s ds cparams ->

‎cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.pir.golden‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -438,7 +438,7 @@ program
438438
a = pair data data
439439
in
440440
/\r ->
441-
\(z : r) (f : a -> list a -> r) (xs : list a) -> case r xs [z, f])
441+
\(z : r) (f : a -> list a -> r) (xs : list a) -> case r xs [f, z])
442442
{List (Tuple2 data data)}
443443
(Nil {Tuple2 data data})
444444
(\(x : pair data data) (xs : list (pair data data)) ->

‎cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.uplc.golden‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -918,8 +918,7 @@ program
918918
(\xs ->
919919
case
920920
xs
921-
[ (constr 0 [])
922-
, (\x xs ->
921+
[ (\x xs ->
923922
constr 1
924923
[ (constr 0
925924
[ (force (force fstPair)
@@ -928,7 +927,8 @@ program
928927
x) ])
929928
, (force
930929
(s s (delay (\x -> x)))
931-
xs) ]) ]))
930+
xs) ])
931+
, (constr 0 []) ]))
932932
(delay (\x -> x))))
933933
(cse (\arg_0 arg_1 -> arg_1)))
934934
(cse (\arg_0 arg_1 -> arg_0)))

‎cardano-constitution/test/Cardano/Constitution/Validator/GoldenTests/sorted.pir.golden‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -486,7 +486,7 @@ program
486486
a = pair data data
487487
in
488488
/\r ->
489-
\(z : r) (f : a -> list a -> r) (xs : list a) -> case r xs [z, f])
489+
\(z : r) (f : a -> list a -> r) (xs : list a) -> case r xs [f, z])
490490
{List (Tuple2 data data)}
491491
(Nil {Tuple2 data data})
492492
(\(x : pair data data) (xs : list (pair data data)) ->

‎cardano-constitution/test/Cardano/Constitution/Validator/GoldenTests/sorted.uplc.golden‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -867,8 +867,7 @@ program
867867
(\xs ->
868868
case
869869
xs
870-
[ (constr 0 [])
871-
, (\x xs ->
870+
[ (\x xs ->
872871
constr 1
873872
[ (constr 0
874873
[ (force
@@ -879,7 +878,8 @@ program
879878
x) ])
880879
, (force
881880
(s s (delay (\x -> x)))
882-
xs) ]) ]))
881+
xs) ])
882+
, (constr 0 []) ]))
883883
(delay (\x -> x))))
884884
((\s -> s s)
885885
(\s ds cparams ->

‎cardano-constitution/test/Cardano/Constitution/Validator/GoldenTests/unsorted.pir.golden‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -416,7 +416,7 @@ program
416416
a = pair data data
417417
in
418418
/\r ->
419-
\(z : r) (f : a -> list a -> r) (xs : list a) -> case r xs [z, f])
419+
\(z : r) (f : a -> list a -> r) (xs : list a) -> case r xs [f, z])
420420
{List (Tuple2 data data)}
421421
(Nil {Tuple2 data data})
422422
(\(x : pair data data) (xs : list (pair data data)) ->

‎cardano-constitution/test/Cardano/Constitution/Validator/GoldenTests/unsorted.uplc.golden‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -916,8 +916,7 @@ program
916916
(\xs ->
917917
case
918918
xs
919-
[ (constr 0 [])
920-
, (\x xs ->
919+
[ (\x xs ->
921920
constr 1
922921
[ (constr 0
923922
[ (force (force fstPair)
@@ -926,7 +925,8 @@ program
926925
x) ])
927926
, (force
928927
(s s (delay (\x -> x)))
929-
xs) ]) ]))
928+
xs) ])
929+
, (constr 0 []) ]))
930930
(delay (\x -> x))))
931931
(cse (\arg_0 arg_1 -> arg_1)))
932932
(cse (\arg_0 arg_1 -> arg_0)))

0 commit comments

Comments
 (0)