Re-generate insta snapshots, remove obsolete snapshots.
This commit is contained in:
parent
9d8fdf787c
commit
aa872846bb
|
@ -1,77 +0,0 @@
|
||||||
---
|
|
||||||
source: crates/aiken-lang/src/parser/expr/anonymous_function.rs
|
|
||||||
description: "Code:\n\nfn (a: Int) -> Int {\n let b = 1\n a + b\n}"
|
|
||||||
---
|
|
||||||
Fn {
|
|
||||||
location: 0..46,
|
|
||||||
fn_style: Plain,
|
|
||||||
arguments: [
|
|
||||||
Arg {
|
|
||||||
arg_name: Named {
|
|
||||||
name: "a",
|
|
||||||
label: "a",
|
|
||||||
location: 4..5,
|
|
||||||
is_validator_param: false,
|
|
||||||
},
|
|
||||||
location: 4..10,
|
|
||||||
annotation: Some(
|
|
||||||
Constructor {
|
|
||||||
location: 7..10,
|
|
||||||
module: None,
|
|
||||||
name: "Int",
|
|
||||||
arguments: [],
|
|
||||||
},
|
|
||||||
),
|
|
||||||
doc: None,
|
|
||||||
tipo: (),
|
|
||||||
},
|
|
||||||
],
|
|
||||||
body: Sequence {
|
|
||||||
location: 39..44,
|
|
||||||
expressions: [
|
|
||||||
Assignment {
|
|
||||||
location: 25..34,
|
|
||||||
value: UInt {
|
|
||||||
location: 33..34,
|
|
||||||
value: "1",
|
|
||||||
base: Decimal {
|
|
||||||
numeric_underscore: false,
|
|
||||||
},
|
|
||||||
},
|
|
||||||
patterns: [
|
|
||||||
AssignmentPattern {
|
|
||||||
pattern: Var {
|
|
||||||
location: 29..30,
|
|
||||||
name: "b",
|
|
||||||
},
|
|
||||||
annotation: None,
|
|
||||||
location: 29..30,
|
|
||||||
},
|
|
||||||
],
|
|
||||||
kind: Let {
|
|
||||||
backpassing: false,
|
|
||||||
},
|
|
||||||
},
|
|
||||||
BinOp {
|
|
||||||
location: 39..44,
|
|
||||||
name: AddInt,
|
|
||||||
left: Var {
|
|
||||||
location: 39..40,
|
|
||||||
name: "a",
|
|
||||||
},
|
|
||||||
right: Var {
|
|
||||||
location: 43..44,
|
|
||||||
name: "b",
|
|
||||||
},
|
|
||||||
},
|
|
||||||
],
|
|
||||||
},
|
|
||||||
return_annotation: Some(
|
|
||||||
Constructor {
|
|
||||||
location: 15..18,
|
|
||||||
module: None,
|
|
||||||
name: "Int",
|
|
||||||
arguments: [],
|
|
||||||
},
|
|
||||||
),
|
|
||||||
}
|
|
|
@ -13,4 +13,3 @@ const escaped_4 = "foo\tbar"
|
||||||
const escaped_5 = "1/2"
|
const escaped_5 = "1/2"
|
||||||
|
|
||||||
const escaped_6 = "1//2"
|
const escaped_6 = "1//2"
|
||||||
|
|
||||||
|
|
|
@ -5,4 +5,3 @@ description: "Code:\n\nfn foo() {\n fail some_var\n}\n"
|
||||||
fn foo() {
|
fn foo() {
|
||||||
fail some_var
|
fail some_var
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -9,4 +9,3 @@ fn foo() {
|
||||||
fn bar() {
|
fn bar() {
|
||||||
( 14 + 42 ) * 1337
|
( 14 + 42 ) * 1337
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -15,4 +15,3 @@ fn foo() {
|
||||||
|
|
||||||
let foo_const_utf8 = "foo"
|
let foo_const_utf8 = "foo"
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -5,4 +5,3 @@ description: "Code:\n\ntype Foo =\n Int\n\n//"
|
||||||
type Foo =
|
type Foo =
|
||||||
Int
|
Int
|
||||||
//
|
//
|
||||||
|
|
||||||
|
|
|
@ -12,4 +12,3 @@ validator(param1: ByteArray) {
|
||||||
True
|
True
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -11,4 +11,3 @@ pub fn foo(xs: List<a>, n: Int) -> List<a> {
|
||||||
xs
|
xs
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -7,4 +7,3 @@ test foo() fail {
|
||||||
|
|
||||||
a
|
a
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -17,4 +17,3 @@ fn foo() {
|
||||||
compute_with(a, *, b)
|
compute_with(a, *, b)
|
||||||
compute_with(a, %, b)
|
compute_with(a, %, b)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -4,4 +4,3 @@ description: "Code:\n\npub const point = #<Bls12_381, G1>\"950dfd33da2682260c760
|
||||||
---
|
---
|
||||||
pub const point =
|
pub const point =
|
||||||
#<Bls12_381, G1>"950dfd33da2682260c76038dfb8bad6e84ae9d599a3c151815945ac1e6ef6b1027cd917f3907479d20d636ce437a41f5"
|
#<Bls12_381, G1>"950dfd33da2682260c76038dfb8bad6e84ae9d599a3c151815945ac1e6ef6b1027cd917f3907479d20d636ce437a41f5"
|
||||||
|
|
||||||
|
|
|
@ -4,4 +4,3 @@ description: "Code:\n\npub const point = #<Bls12_381, G2>\"b0629fa1158c2d23a1041
|
||||||
---
|
---
|
||||||
pub const point =
|
pub const point =
|
||||||
#<Bls12_381, G2>"b0629fa1158c2d23a10413fe91d381a84d25e31d041cd0377d25828498fd02011b35893938ced97535395e4815201e67108bcd4665e0db25d602d76fa791fab706c54abf5e1a9e44b4ac1e6badf3d2ac0328f5e30be341677c8bac5dda7682f1"
|
#<Bls12_381, G2>"b0629fa1158c2d23a10413fe91d381a84d25e31d041cd0377d25828498fd02011b35893938ced97535395e4815201e67108bcd4665e0db25d602d76fa791fab706c54abf5e1a9e44b4ac1e6badf3d2ac0328f5e30be341677c8bac5dda7682f1"
|
||||||
|
|
||||||
|
|
|
@ -5,4 +5,3 @@ description: "Code:\n\nfn foo() {\n y == { x |> f }\n}\n"
|
||||||
fn foo() {
|
fn foo() {
|
||||||
y == ( x |> f )
|
y == ( x |> f )
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -5,4 +5,3 @@ description: "Code:\n\nfn foo() {\n ( y == x ) |> f\n}\n"
|
||||||
fn foo() {
|
fn foo() {
|
||||||
( y == x ) |> f
|
( y == x ) |> f
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -5,4 +5,3 @@ description: "Code:\n\nfn foo() {\n { x |> f } == y\n}\n"
|
||||||
fn foo() {
|
fn foo() {
|
||||||
( x |> f ) == y
|
( x |> f ) == y
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -5,4 +5,3 @@ description: "Code:\n\nfn foo() {\n x |> { f == y }\n}\n"
|
||||||
fn foo() {
|
fn foo() {
|
||||||
x |> f == y
|
x |> f == y
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -8,4 +8,3 @@ fn foo() {
|
||||||
let c = #[0xfd, 0x12, 0x00, 0x1b, 0x0a, 0x90]
|
let c = #[0xfd, 0x12, 0x00, 0x1b, 0x0a, 0x90]
|
||||||
let d = -100_000
|
let d = -100_000
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -22,4 +22,3 @@ pub fn bar(xs) {
|
||||||
},
|
},
|
||||||
)
|
)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -9,4 +9,3 @@ use aiken/list
|
||||||
use aiken/transaction
|
use aiken/transaction
|
||||||
use aiken/transaction/certificate
|
use aiken/transaction/certificate
|
||||||
use aiken/transaction/value
|
use aiken/transaction/value
|
||||||
|
|
||||||
|
|
|
@ -12,4 +12,3 @@ fn foo() {
|
||||||
-42 -> 42
|
-42 -> 42
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -8,4 +8,3 @@ fn foo() {
|
||||||
bar == bar
|
bar == bar
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -12,4 +12,3 @@ fn smth() {
|
||||||
},
|
},
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -1,14 +0,0 @@
|
||||||
---
|
|
||||||
source: crates/aiken-lang/src/tests/format.rs
|
|
||||||
description: "Code:\n\ntest foo() {\n when x is {\n [True, False, True, False, True, False, True, False, True, False, True, False, True, False, True, False, ..] -> todo\n _ -> todo\n }\n}\n"
|
|
||||||
---
|
|
||||||
test foo() {
|
|
||||||
when x is {
|
|
||||||
[
|
|
||||||
True, False, True, False, True, False, True, False, True, False, True,
|
|
||||||
False, True, False, True, False,
|
|
||||||
..
|
|
||||||
] -> todo
|
|
||||||
_ -> todo
|
|
||||||
}
|
|
||||||
}
|
|
|
@ -1,13 +0,0 @@
|
||||||
---
|
|
||||||
source: crates/aiken-lang/src/tests/format.rs
|
|
||||||
description: "Code:\n\ntest foo() {\n [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] == [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]\n}\n"
|
|
||||||
---
|
|
||||||
test foo() {
|
|
||||||
[
|
|
||||||
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
|
|
||||||
0, 0, 0, 0, 0, 0, 0, 0,
|
|
||||||
] == [
|
|
||||||
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
|
|
||||||
0, 0, 0, 0, 0, 0, 0, 0,
|
|
||||||
]
|
|
||||||
}
|
|
|
@ -1,12 +0,0 @@
|
||||||
---
|
|
||||||
source: crates/aiken-lang/src/tests/format.rs
|
|
||||||
description: "Code:\n\ntest foo() {\n [0, 0, 0] == [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]\n}\n"
|
|
||||||
---
|
|
||||||
test foo() {
|
|
||||||
[0,
|
|
||||||
0,
|
|
||||||
0] == [
|
|
||||||
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
|
|
||||||
0, 0, 0, 0, 0, 0, 0, 0,
|
|
||||||
]
|
|
||||||
}
|
|
|
@ -1,10 +0,0 @@
|
||||||
---
|
|
||||||
source: crates/aiken-lang/src/tests/format.rs
|
|
||||||
description: "Code:\n\ntest foo() {\n [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] == [0, 0, 0]\n}\n"
|
|
||||||
---
|
|
||||||
test foo() {
|
|
||||||
[
|
|
||||||
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
|
|
||||||
0, 0, 0, 0, 0, 0, 0, 0,
|
|
||||||
] == [0, 0, 0]
|
|
||||||
}
|
|
|
@ -11,4 +11,3 @@ fn foo() {
|
||||||
Bar(..) -> Void
|
Bar(..) -> Void
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -5,4 +5,3 @@ description: "Code:\n\nfn foo() {\n - 42\n}\n"
|
||||||
fn foo() {
|
fn foo() {
|
||||||
-42
|
-42
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -18,4 +18,3 @@ fn foo(output) {
|
||||||
]
|
]
|
||||||
|> list.and_func
|
|> list.and_func
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -21,4 +21,3 @@ pub fn foo(n) {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -16,4 +16,3 @@ fn foo() {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -13,4 +13,3 @@ pub fn drop(xs: List<a>, n: Int) -> List<a> {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -15,4 +15,3 @@ fn foo() {
|
||||||
fn bar() {
|
fn bar() {
|
||||||
True
|
True
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -14,4 +14,3 @@ fn foo() {
|
||||||
fn bar() {
|
fn bar() {
|
||||||
True
|
True
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -11,4 +11,3 @@ description: "Code:\n\n//// My module comment\n////\n//// has a newline.\n\nfn f
|
||||||
fn foo() {
|
fn foo() {
|
||||||
True
|
True
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -5,4 +5,3 @@ description: "Code:\n\ntest fmt() {\n (x == y) && ((z |> length()) == x)\n}\n"
|
||||||
test fmt() {
|
test fmt() {
|
||||||
x == y && ( z |> length() ) == x
|
x == y && ( z |> length() ) == x
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -7,4 +7,3 @@ fn foo() {
|
||||||
|
|
||||||
False
|
False
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -22,4 +22,3 @@ fn baz() {
|
||||||
|> it_is_too_long
|
|> it_is_too_long
|
||||||
// What?
|
// What?
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -5,4 +5,3 @@ description: "Code:\n\nfn smth() { let a = foo.Foo { bar: 1 } }\n"
|
||||||
fn smth() {
|
fn smth() {
|
||||||
let a = foo.Foo { bar: 1 }
|
let a = foo.Foo { bar: 1 }
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -7,4 +7,3 @@ const foo_const: String = @"foo"
|
||||||
fn foo() {
|
fn foo() {
|
||||||
let foo_var: String = @"foo"
|
let foo_var: String = @"foo"
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -11,4 +11,3 @@ fn foo() {
|
||||||
},
|
},
|
||||||
)
|
)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -9,4 +9,3 @@ fn foo() {
|
||||||
fn bar() {
|
fn bar() {
|
||||||
(True && False)? || foo()?
|
(True && False)? || foo()?
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -25,4 +25,3 @@ fn foo_4() {
|
||||||
True
|
True
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -7,4 +7,3 @@ fn foo() {
|
||||||
trace @"∀💩"
|
trace @"∀💩"
|
||||||
Void
|
Void
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -19,4 +19,3 @@ validator {
|
||||||
|
|
||||||
// I am lost
|
// I am lost
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -17,4 +17,3 @@ fn foo() {
|
||||||
fn bar() {
|
fn bar() {
|
||||||
todo
|
todo
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -13,4 +13,3 @@ pub fn foo(a) {
|
||||||
False -> 42
|
False -> 42
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -1,48 +0,0 @@
|
||||||
---
|
|
||||||
source: crates/aiken-project/src/blueprint/validator.rs
|
|
||||||
description: "Code:\n\ntype Dict<key, value> {\n inner: List<(ByteArray, value)>\n}\n\ntype UUID { UUID }\n\nvalidator {\n fn list_2_tuples_as_map(redeemer: Dict<UUID, Int>, ctx: Void) {\n True\n }\n}\n"
|
|
||||||
---
|
|
||||||
{
|
|
||||||
"title": "test_module.list_2_tuples_as_map",
|
|
||||||
"redeemer": {
|
|
||||||
"title": "redeemer",
|
|
||||||
"schema": {
|
|
||||||
"$ref": "#/definitions/test_module~1Dict$test_module~1UUID_Int"
|
|
||||||
}
|
|
||||||
},
|
|
||||||
"compiledCode": "59019c010000323232323232323232232253330054a22930a9980324811856616c696461746f722072657475726e65642066616c736500136563253330043370e900018031baa0011325333009001153300600416132533300a300c002132498c8cc004004008894ccc03000452613233003003300f0023232533300e001153300b00916132325333010001153300d00b1613253330113013002149854cc03803058c94cccccc05000454cc0380305854cc0380305854cc038030584dd68008a998070060b180880098088011929999998090008a998060050b0a998060050b0a998060050b0a998060050b09bae001300f0015333333010001153300a00816153300a00816137580022a660140102c2a660140102c601a0022a6600e00a2c64a66666601a0022a6600e00a2c2a6600e00a2c26eb000454cc01c0145854cc01c01458c028004c01cdd50008a998028018b299999980500088008a998020010b0a998020010b0a998020010b0a998020010b2491972656465656d65723a20446963743c555549442c20496e743e005734ae7155ceaab9e5573eae855d12ba41",
|
|
||||||
"hash": "6027685dde99d967b45333852fe9f59531237d85fcb6b6feb2890672",
|
|
||||||
"definitions": {
|
|
||||||
"ByteArray": {
|
|
||||||
"dataType": "bytes"
|
|
||||||
},
|
|
||||||
"Int": {
|
|
||||||
"dataType": "integer"
|
|
||||||
},
|
|
||||||
"List$Tuple$ByteArray_Int": {
|
|
||||||
"dataType": "map",
|
|
||||||
"keys": {
|
|
||||||
"$ref": "#/definitions/ByteArray"
|
|
||||||
},
|
|
||||||
"values": {
|
|
||||||
"$ref": "#/definitions/Int"
|
|
||||||
}
|
|
||||||
},
|
|
||||||
"test_module/Dict$test_module/UUID_Int": {
|
|
||||||
"title": "Dict",
|
|
||||||
"anyOf": [
|
|
||||||
{
|
|
||||||
"title": "Dict",
|
|
||||||
"dataType": "constructor",
|
|
||||||
"index": 0,
|
|
||||||
"fields": [
|
|
||||||
{
|
|
||||||
"title": "inner",
|
|
||||||
"$ref": "#/definitions/List$Tuple$ByteArray_Int"
|
|
||||||
}
|
|
||||||
]
|
|
||||||
}
|
|
||||||
]
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
Loading…
Reference in New Issue