diff --git a/CHANGELOG.md b/CHANGELOG.md index 2ec48fda..994ec5eb 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,6 +1,6 @@ # Changelog -## v1.0.13-alpha - unreleased +## v1.0.13-alpha - 2023-07-15 ### Added diff --git a/crates/aiken-lang/src/parser/expr/assignment.rs b/crates/aiken-lang/src/parser/expr/assignment.rs index 03bbc0bb..7525c569 100644 --- a/crates/aiken-lang/src/parser/expr/assignment.rs +++ b/crates/aiken-lang/src/parser/expr/assignment.rs @@ -81,4 +81,9 @@ mod tests { fn expect_bool_sugar() { assert_expr!("expect something.field == wow"); } + + #[test] + fn expect_trace_if_false() { + assert_expr!("expect foo?"); + } } diff --git a/crates/aiken-lang/src/parser/expr/snapshots/expect_trace_if_false.snap b/crates/aiken-lang/src/parser/expr/snapshots/expect_trace_if_false.snap new file mode 100644 index 00000000..7509df27 --- /dev/null +++ b/crates/aiken-lang/src/parser/expr/snapshots/expect_trace_if_false.snap @@ -0,0 +1,26 @@ +--- +source: crates/aiken-lang/src/parser/expr/assignment.rs +description: "Code:\n\nexpect foo?" +--- +Assignment { + location: 0..11, + value: TraceIfFalse { + location: 7..11, + value: Var { + location: 7..10, + name: "foo", + }, + }, + pattern: Constructor { + is_record: false, + location: 0..11, + name: "True", + arguments: [], + module: None, + constructor: (), + with_spread: false, + tipo: (), + }, + kind: Expect, + annotation: None, +}