language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-04 12:18:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

Merge remote-tracking branch 'remote/main' into annotate-type-signatures

Browse source
This commit is contained in:
Luke Boswell 2025-01-09 14:21:37 +11:00
commit d9d2ce83d6
No known key found for this signature in database
GPG key ID: F6DB3C9DB47377B0
157 changed files with 430 additions and 14387 deletions
Download patch file Download diff file Expand all files Collapse all files

45
crates/compiler/test_gen/src/gen_primitives.rs
View file

@ -1866,51 +1866,6 @@ fn unified_empty_closure_byte() {
);
}
#[test]
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm", feature = "gen-dev"))]
fn task_always_twice() {
assert_evals_to!(
indoc!(
r#"
app "test" provides [main] to "./platform"
Effect a := {} -> a
effect_always : a -> Effect a
effect_always = \x ->
inner = \{} -> x
@Effect inner
effect_after : Effect a, (a -> Effect b) -> Effect b
effect_after = \(@Effect thunk), transform -> transform (thunk {})
MyTask a err : Effect (Result a err)
always : a -> MyTask a *
always = \x -> effect_always (Ok x)
fail : err -> MyTask * err
fail = \x -> effect_always (Err x)
after : MyTask a err, (a -> MyTask b err) -> MyTask b err
after = \task, transform ->
effect_after task \res ->
when res is
Ok x -> transform x
Err e -> fail e
main : MyTask {} F64
main = after (always "foo") (\_ -> always {})
"#
),
(),
(f64, u8),
|_| ()
);
}
#[test]
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm", feature = "gen-dev"))]
fn wildcard_rigid() {