typst/tests/typ/compiler/block.typ
2023-01-27 11:54:30 +01:00

147 lines
2.0 KiB
Typst

// Test code blocks.
// Ref: false
---
// Ref: true
// Evaluates to join of none, [My ] and the two loop bodies.
#{
let parts = ("my fri", "end.")
[Hello, ]
for s in parts [#s]
}
// Evaluates to join of the content and strings.
#{
[How]
if true {
" are"
}
[ ]
if false [Nope]
[you] + "?"
}
---
// Nothing evaluates to none.
#test({}, none)
// Let evaluates to none.
#test({ let v = 0 }, none)
// Evaluates to single expression.
#test({ "hello" }, "hello")
// Evaluates to string.
#test({ let x = "m"; x + "y" }, "my")
// Evaluated to int.
#test({
let x = 1
let y = 2
x + y
}, 3)
// String is joined with trailing none, evaluates to string.
#test({
type("")
none
}, "string")
---
// Some things can't be joined.
#{
[A]
// Error: 3-4 cannot join content with integer
1
[B]
}
---
// Block directly in markup also creates a scope.
#{ let x = 1 }
// Error: 7-8 unknown variable
#test(x, 1)
---
// Block in expression does create a scope.
#let a = {
let b = 1
b
}
#test(a, 1)
// Error: 3-4 unknown variable
#{b}
---
// Double block creates a scope.
#{{
import "module.typ": b
test(b, 1)
}}
// Error: 3-4 unknown variable
#{b}
---
// Multiple nested scopes.
#{
let a = "a1"
{
let a = "a2"
{
test(a, "a2")
let a = "a3"
test(a, "a3")
}
test(a, "a2")
}
test(a, "a1")
}
---
// Content blocks also create a scope.
#[#let x = 1]
// Error: 3-4 unknown variable
#{x}
---
// Multiple unseparated expressions in one line.
// Error: 3-5 invalid number suffix
#{1u}
// Should output `1`.
// Error: 4 expected semicolon or line break
#{1 2}
// Should output `2`.
// Error: 13 expected semicolon or line break
// Error: 23 expected semicolon or line break
#{let x = -1 let y = 3 x + y}
// Should output `3`.
#{
// Error: 6 expected identifier
// Error: 10 expected block
for "v"
// Error: 8 expected keyword `in`
// Error: 22 expected block
for v let z = 1 + 2
z
}
---
// Error: 3 expected closing brace
#{
---
// Error: 2 expected expression
#}