basic-cli 0.15, test fixes

This commit is contained in:
Anton-4 2024-08-28 18:39:15 +02:00
parent c897f5ec79
commit 7938e4bdc8
No known key found for this signature in database
GPG key ID: 0971D718C0A9B937
38 changed files with 114 additions and 114 deletions

View file

@ -1,7 +1,11 @@
app "test" provides [tforever] to "./platform"
Task ok err := {} -> ok err
Effect a := {} -> a
tforever : Task val * -> Task * *
tforever = \task -> Task.forever task
#^^^^^^^^{-1} Task val err -[[tforever(0)]]-> Task * *
eforever : Effect a -> Effect b
OtherTask a err : Effect (Result a err)
tforever : OtherTask val err -> OtherTask * *
tforever = \task -> eforever task
#^^^^^^^^{-1} OtherTask val err -[[tforever(0)]]-> OtherTask * *