Skip to content

Commit

Permalink
update test outputs after merge
Browse files Browse the repository at this point in the history
  • Loading branch information
@brmataptos
brmataptos committed Oct 10, 2024
1 parent b1f1c78 commit b7d429a
Show file tree
Hide file tree
Showing 24 changed files with 1,427 additions and 1,319 deletions.
84 changes: 42 additions & 42 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
Expand Up @@ -3,11 +3,11 @@ module 0xcafe::m {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
private fun consume<T>(s: S<T>,x: T,f: |(S<T>, T)|T): T {
(f)(s, x)
}
private fun pattern(s: m::S<u64>,x: u64): u64 {
m::consume<u64>(s, x, |(m::S<u64>{ x }, _y: u64): (m::S<u64>, u64)| {
private fun pattern(s: S<u64>,x: u64): u64 {
m::consume<u64>(s, x, |(m::S<u64>{ x }, _y: u64): (S<u64>, u64)| {
let y: u64 = x;
Add<u64>(x, y)
})
Expand All @@ -20,11 +20,11 @@ module 0xcafe::m {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
private fun consume<T>(s: S<T>,x: T,f: |(S<T>, T)|T): T {
(f)(s, x)
}
private fun pattern(s: m::S<u64>,x: u64): u64 {
m::consume<u64>(s, x, |(m::S<u64>{ x }, _y: u64): (m::S<u64>, u64)| {
private fun pattern(s: S<u64>,x: u64): u64 {
m::consume<u64>(s, x, |(m::S<u64>{ x }, _y: u64): (S<u64>, u64)| {
let y: u64 = x;
Add<u64>(x, y)
})
Expand All @@ -37,11 +37,11 @@ module 0xcafe::m {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
private fun consume<T>(s: S<T>,x: T,f: |(S<T>, T)|T): T {
(f)(s, x)
}
private fun pattern(s: m::S<u64>,x: u64): u64 {
m::consume<u64>(s, x, |(m::S<u64>{ x }, _y: u64): (m::S<u64>, u64)| {
private fun pattern(s: S<u64>,x: u64): u64 {
m::consume<u64>(s, x, |(m::S<u64>{ x }, _y: u64): (S<u64>, u64)| {
let y: u64 = x;
Add<u64>(x, y)
})
Expand All @@ -54,11 +54,11 @@ module 0xcafe::m {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
private fun consume<T>(s: S<T>,x: T,f: |(S<T>, T)|T): T {
(f)(s, x)
}
private fun pattern(s: m::S<u64>,x: u64): u64 {
m::consume<u64>(s, x, |(m::S<u64>{ x }, _y: u64): (m::S<u64>, u64)| {
private fun pattern(s: S<u64>,x: u64): u64 {
m::consume<u64>(s, x, |(m::S<u64>{ x }, _y: u64): (S<u64>, u64)| {
let y: u64 = x;
Add<u64>(x, y)
})
Expand All @@ -71,11 +71,11 @@ module 0xcafe::m {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
private fun consume<T>(s: S<T>,x: T,f: |(S<T>, T)|T): T {
(f)(s, x)
}
private fun pattern(s: m::S<u64>,x: u64): u64 {
m::consume<u64>(s, x, |(m::S<u64>{ x }, _y: u64): (m::S<u64>, u64)| {
private fun pattern(s: S<u64>,x: u64): u64 {
m::consume<u64>(s, x, |(m::S<u64>{ x }, _y: u64): (S<u64>, u64)| {
let y: u64 = x;
Add<u64>(x, y)
})
Expand All @@ -88,11 +88,11 @@ module 0xcafe::m {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
private fun consume<T>(s: S<T>,x: T,f: |(S<T>, T)|T): T {
(f)(s, x)
}
private fun pattern(s: m::S<u64>,x: u64): u64 {
m::consume<u64>(s, x, |(m::S<u64>{ x }, _y: u64): (m::S<u64>, u64)| {
private fun pattern(s: S<u64>,x: u64): u64 {
m::consume<u64>(s, x, |(m::S<u64>{ x }, _y: u64): (S<u64>, u64)| {
let y: u64 = x;
Add<u64>(x, y)
})
Expand All @@ -105,11 +105,11 @@ module 0xcafe::m {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
private fun consume<T>(s: S<T>,x: T,f: |(S<T>, T)|T): T {
(f)(s, x)
}
private fun pattern(s: m::S<u64>,x: u64): u64 {
m::consume<u64>(s, x, |(m::S<u64>{ x }, _y: u64): (m::S<u64>, u64)| {
private fun pattern(s: S<u64>,x: u64): u64 {
m::consume<u64>(s, x, |(m::S<u64>{ x }, _y: u64): (S<u64>, u64)| {
let y: u64 = x;
Add<u64>(x, y)
})
Expand All @@ -122,11 +122,11 @@ module 0xcafe::m {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
private fun consume<T>(s: S<T>,x: T,f: |(S<T>, T)|T): T {
(f)(s, x)
}
private fun pattern(s: m::S<u64>,x: u64): u64 {
m::consume<u64>(s, x, |(m::S<u64>{ x }, _y: u64): (m::S<u64>, u64)| {
private fun pattern(s: S<u64>,x: u64): u64 {
m::consume<u64>(s, x, |(m::S<u64>{ x }, _y: u64): (S<u64>, u64)| {
let y: u64 = x;
Add<u64>(x, y)
})
Expand All @@ -139,11 +139,11 @@ module 0xcafe::m {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
private fun consume<T>(s: S<T>,x: T,f: |(S<T>, T)|T): T {
(f)(s, x)
}
private fun pattern(s: m::S<u64>,x: u64): u64 {
m::consume<u64>(s, x, |(m::S<u64>{ x }, _y: u64): (m::S<u64>, u64)| {
private fun pattern(s: S<u64>,x: u64): u64 {
m::consume<u64>(s, x, |(m::S<u64>{ x }, _y: u64): (S<u64>, u64)| {
let y: u64 = x;
Add<u64>(x, y)
})
Expand All @@ -156,11 +156,11 @@ module 0xcafe::m {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
private fun consume<T>(s: S<T>,x: T,f: |(S<T>, T)|T): T {
(f)(s, x)
}
private fun pattern(s: m::S<u64>,x: u64): u64 {
m::consume<u64>(s, x, |(m::S<u64>{ x }, _y: u64): (m::S<u64>, u64)| {
private fun pattern(s: S<u64>,x: u64): u64 {
m::consume<u64>(s, x, |(m::S<u64>{ x }, _y: u64): (S<u64>, u64)| {
let y: u64 = x;
Add<u64>(x, y)
})
Expand All @@ -173,11 +173,11 @@ module 0xcafe::m {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
private fun consume<T>(s: S<T>,x: T,f: |(S<T>, T)|T): T {
(f)(s, x)
}
private fun pattern(s: m::S<u64>,x: u64): u64 {
m::consume<u64>(s, x, |(m::S<u64>{ x }, _y: u64): (m::S<u64>, u64)| {
private fun pattern(s: S<u64>,x: u64): u64 {
m::consume<u64>(s, x, |(m::S<u64>{ x }, _y: u64): (S<u64>, u64)| {
let y: u64 = x;
Add<u64>(x, y)
})
Expand All @@ -190,13 +190,13 @@ module 0xcafe::m {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
private fun consume<T>(s: S<T>,x: T,f: |(S<T>, T)|T): T {
(f)(s, x)
}
private fun pattern(s: m::S<u64>,x: u64): u64 {
private fun pattern(s: S<u64>,x: u64): u64 {
m::consume<u64>(s, x, closure m::pattern$lambda$1())
}
private fun pattern$lambda$1(param$0: m::S<u64>,_y: u64): u64 {
private fun pattern$lambda$1(param$0: S<u64>,_y: u64): u64 {
{
let m::S<u64>{ x } = param$0;
{
Expand All @@ -213,13 +213,13 @@ module 0xcafe::m {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
private fun consume<T>(s: S<T>,x: T,f: |(S<T>, T)|T): T {
(f)(s, x)
}
private fun pattern(s: m::S<u64>,x: u64): u64 {
private fun pattern(s: S<u64>,x: u64): u64 {
m::consume<u64>(s, x, closure m::pattern$lambda$1())
}
private fun pattern$lambda$1(param$0: m::S<u64>,_y: u64): u64 {
private fun pattern$lambda$1(param$0: S<u64>,_y: u64): u64 {
{
let m::S<u64>{ x } = param$0;
{
Expand All @@ -236,13 +236,13 @@ module 0xcafe::m {
struct S<T> {
x: T,
}
private fun consume<T>(s: m::S<#0>,x: #0,f: |(m::S<#0>, #0)|#0): #0 {
private fun consume<T>(s: S<T>,x: T,f: |(S<T>, T)|T): T {
(f)(s, x)
}
private fun pattern(s: m::S<u64>,x: u64): u64 {
private fun pattern(s: S<u64>,x: u64): u64 {
m::consume<u64>(s, x, closure m::pattern$lambda$1())
}
private fun pattern$lambda$1(param$0: m::S<u64>,_y: u64): u64 {
private fun pattern$lambda$1(param$0: S<u64>,_y: u64): u64 {
{
let m::S<u64>{ x } = param$0;
{
Expand Down
2 changes: 1 addition & 1 deletion third_party/move/move-compiler-v2/tests/lambda/inline-parity/dotdot_valid.exp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,4 +4,4 @@ error: Only inline functions may have function-typed parameters, but non-inline
┌─ tests/lambda/inline-parity/dotdot_valid.move:175:9
│
175 │ fun lambda_param(f: |S2| bool): bool {
│ ^^^^^^^^^^^^ - Parameter `f` has function-valued type `|test::S2|bool`.
│ ^^^^^^^^^^^^ - Parameter `f` has function-valued type `|S2|bool`.
Loading

0 comments on commit b7d429a

Please sign in to comment.