roc/crates/compiler/uitest/tests/solve/opaque_and_alias_unify.txt
2024-06-25 00:03:56 -07:00

9 lines
215 B
Text

app "test" provides [always] to "./platform"
Effect a := {} -> a
MockTask a err : Effect (Result a err)
always : a -> MockTask a *
always = \x -> @Effect (\{} -> Ok x)
#^^^^^^{-1} a -[[always(0)]]-> MockTask a *