Skip to content

Commit

Permalink
update test outputs after changes to last PR
Browse files Browse the repository at this point in the history
  • Loading branch information
@brmataptos
brmataptos committed Oct 3, 2024
1 parent 1b54f30 commit ad600f0
Show file tree
Hide file tree
Showing 6 changed files with 131 additions and 131 deletions.
28 changes: 14 additions & 14 deletions third_party/move/move-compiler-v2/tests/lambda-lifting/pattern.lambda.exp
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
// -- Model dump before env processor pipeline:
module 0xcafe::m {
struct S {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
Expand All @@ -17,7 +17,7 @@ module 0xcafe::m {

// -- Model dump after env processor unused checks:
module 0xcafe::m {
struct S {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
Expand All @@ -34,7 +34,7 @@ module 0xcafe::m {

// -- Model dump after env processor type parameter check:
module 0xcafe::m {
struct S {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
Expand All @@ -51,7 +51,7 @@ module 0xcafe::m {

// -- Model dump after env processor check recursive struct definition:
module 0xcafe::m {
struct S {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
Expand All @@ -68,7 +68,7 @@ module 0xcafe::m {

// -- Model dump after env processor check cyclic type instantiation:
module 0xcafe::m {
struct S {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
Expand All @@ -85,7 +85,7 @@ module 0xcafe::m {

// -- Model dump after env processor unused struct params check:
module 0xcafe::m {
struct S {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
Expand All @@ -102,7 +102,7 @@ module 0xcafe::m {

// -- Model dump after env processor access and use check before inlining:
module 0xcafe::m {
struct S {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
Expand All @@ -119,7 +119,7 @@ module 0xcafe::m {

// -- Model dump after env processor inlining:
module 0xcafe::m {
struct S {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
Expand All @@ -136,7 +136,7 @@ module 0xcafe::m {

// -- Model dump after env processor access and use check after inlining:
module 0xcafe::m {
struct S {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
Expand All @@ -153,7 +153,7 @@ module 0xcafe::m {

// -- Model dump after env processor acquires check:
module 0xcafe::m {
struct S {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
Expand All @@ -170,7 +170,7 @@ module 0xcafe::m {

// -- Model dump after env processor simplifier:
module 0xcafe::m {
struct S {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
Expand All @@ -187,7 +187,7 @@ module 0xcafe::m {

// -- Model dump after env processor lambda-lifting:
module 0xcafe::m {
struct S {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
Expand All @@ -210,7 +210,7 @@ module 0xcafe::m {

// -- Model dump after env processor specification checker:
module 0xcafe::m {
struct S {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
Expand All @@ -233,7 +233,7 @@ module 0xcafe::m {

// -- Model dump after env processor specification rewriter:
module 0xcafe::m {
struct S {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
Expand Down
84 changes: 42 additions & 42 deletions third_party/move/move-compiler-v2/tests/lambda/inline-parity/dotdot_valid.lambda.exp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,15 +27,15 @@ module 0x42::test {
x: bool,
y: u8,
}
struct S4 {
struct S4<T> {
x: T,
y: test::S3,
}
struct S5 {
struct S5<T,U> {
0: T,
1: U,
}
struct S6 {
struct S6<T,U> {
x: T,
y: U,
}
Expand Down Expand Up @@ -324,15 +324,15 @@ module 0x42::test {
x: bool,
y: u8,
}
struct S4 {
struct S4<T> {
x: T,
y: test::S3,
}
struct S5 {
struct S5<T,U> {
0: T,
1: U,
}
struct S6 {
struct S6<T,U> {
x: T,
y: U,
}
Expand Down Expand Up @@ -621,15 +621,15 @@ module 0x42::test {
x: bool,
y: u8,
}
struct S4 {
struct S4<T> {
x: T,
y: test::S3,
}
struct S5 {
struct S5<T,U> {
0: T,
1: U,
}
struct S6 {
struct S6<T,U> {
x: T,
y: U,
}
Expand Down Expand Up @@ -918,15 +918,15 @@ module 0x42::test {
x: bool,
y: u8,
}
struct S4 {
struct S4<T> {
x: T,
y: test::S3,
}
struct S5 {
struct S5<T,U> {
0: T,
1: U,
}
struct S6 {
struct S6<T,U> {
x: T,
y: U,
}
Expand Down Expand Up @@ -1215,15 +1215,15 @@ module 0x42::test {
x: bool,
y: u8,
}
struct S4 {
struct S4<T> {
x: T,
y: test::S3,
}
struct S5 {
struct S5<T,U> {
0: T,
1: U,
}
struct S6 {
struct S6<T,U> {
x: T,
y: U,
}
Expand Down Expand Up @@ -1512,15 +1512,15 @@ module 0x42::test {
x: bool,
y: u8,
}
struct S4 {
struct S4<T> {
x: T,
y: test::S3,
}
struct S5 {
struct S5<T,U> {
0: T,
1: U,
}
struct S6 {
struct S6<T,U> {
x: T,
y: U,
}
Expand Down Expand Up @@ -1809,15 +1809,15 @@ module 0x42::test {
x: bool,
y: u8,
}
struct S4 {
struct S4<T> {
x: T,
y: test::S3,
}
struct S5 {
struct S5<T,U> {
0: T,
1: U,
}
struct S6 {
struct S6<T,U> {
x: T,
y: U,
}
Expand Down Expand Up @@ -2106,15 +2106,15 @@ module 0x42::test {
x: bool,
y: u8,
}
struct S4 {
struct S4<T> {
x: T,
y: test::S3,
}
struct S5 {
struct S5<T,U> {
0: T,
1: U,
}
struct S6 {
struct S6<T,U> {
x: T,
y: U,
}
Expand Down Expand Up @@ -2403,15 +2403,15 @@ module 0x42::test {
x: bool,
y: u8,
}
struct S4 {
struct S4<T> {
x: T,
y: test::S3,
}
struct S5 {
struct S5<T,U> {
0: T,
1: U,
}
struct S6 {
struct S6<T,U> {
x: T,
y: U,
}
Expand Down Expand Up @@ -2700,15 +2700,15 @@ module 0x42::test {
x: bool,
y: u8,
}
struct S4 {
struct S4<T> {
x: T,
y: test::S3,
}
struct S5 {
struct S5<T,U> {
0: T,
1: U,
}
struct S6 {
struct S6<T,U> {
x: T,
y: U,
}
Expand Down Expand Up @@ -2997,15 +2997,15 @@ module 0x42::test {
x: bool,
y: u8,
}
struct S4 {
struct S4<T> {
x: T,
y: test::S3,
}
struct S5 {
struct S5<T,U> {
0: T,
1: U,
}
struct S6 {
struct S6<T,U> {
x: T,
y: U,
}
Expand Down Expand Up @@ -3294,15 +3294,15 @@ module 0x42::test {
x: bool,
y: u8,
}
struct S4 {
struct S4<T> {
x: T,
y: test::S3,
}
struct S5 {
struct S5<T,U> {
0: T,
1: U,
}
struct S6 {
struct S6<T,U> {
x: T,
y: U,
}
Expand Down Expand Up @@ -3597,15 +3597,15 @@ module 0x42::test {
x: bool,
y: u8,
}
struct S4 {
struct S4<T> {
x: T,
y: test::S3,
}
struct S5 {
struct S5<T,U> {
0: T,
1: U,
}
struct S6 {
struct S6<T,U> {
x: T,
y: U,
}
Expand Down Expand Up @@ -3900,15 +3900,15 @@ module 0x42::test {
x: bool,
y: u8,
}
struct S4 {
struct S4<T> {
x: T,
y: test::S3,
}
struct S5 {
struct S5<T,U> {
0: T,
1: U,
}
struct S6 {
struct S6<T,U> {
x: T,
y: U,
}
Expand Down
Loading

0 comments on commit ad600f0

Please sign in to comment.