@effekt-lang/effekt 0.4.0 → 0.6.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (27) hide show
  1. package/bin/effekt +0 -0
  2. package/libraries/common/array.effekt +23 -47
  3. package/libraries/common/bench.effekt +11 -19
  4. package/libraries/common/buffer.effekt +8 -20
  5. package/libraries/common/bytes.effekt +5 -15
  6. package/libraries/common/dequeue.effekt +5 -5
  7. package/libraries/common/effekt.effekt +21 -23
  8. package/libraries/common/io/console.effekt +2 -5
  9. package/libraries/common/io/error.effekt +20 -28
  10. package/libraries/common/io/filesystem.effekt +15 -27
  11. package/libraries/common/io/network.effekt +4 -4
  12. package/libraries/common/io/time.effekt +1 -1
  13. package/libraries/common/io.effekt +5 -5
  14. package/libraries/common/list.effekt +333 -333
  15. package/libraries/common/queue.effekt +1 -3
  16. package/libraries/common/ref.effekt +7 -17
  17. package/libraries/common/result.effekt +6 -14
  18. package/libraries/common/seq.effekt +28 -49
  19. package/libraries/common/string.effekt +7 -15
  20. package/libraries/js/effekt_builtins.js +5 -1
  21. package/libraries/js/effekt_runtime.js +185 -352
  22. package/licenses/eclipse public license, version 2.0 - epl-2.0.html +2 -2
  23. package/package.json +1 -1
  24. package/libraries/js/unsafe/cont.effekt +0 -11
  25. package/licenses/mit license - mit-license.html +0 -1239
  26. package/licenses/the bsd license - bsd-license.html +0 -1237
  27. package/licenses/the mit license - mit.html +0 -1239
package/libraries/common/io.effekt CHANGED
@@ -13,7 +13,7 @@ extern llvm """
13
13
  """
14
14
 
15
15
  extern async def spawn(task: Task[Unit]): Unit =
16
- js "$effekt.callcc(callback => { setTimeout(() => callback($effekt.unit), 0); ${task}().run()})"
16
+ js "$effekt.capture(k => { setTimeout(() => k($effekt.unit), 0); return $effekt.run(${task}) })"
17
17
  llvm """
18
18
  call void @c_yield(%Stack %stack)
19
19
  call void @run(%Neg ${task})
@@ -21,14 +21,14 @@ extern async def spawn(task: Task[Unit]): Unit =
21
21
  """
22
22
 
23
23
  extern async def yield(): Unit =
24
- js "$effekt.callcc(callback => setTimeout(() => callback($effekt.unit), 0))"
24
+ js "$effekt.capture(k => setTimeout(() => k($effekt.unit), 0))"
25
25
  llvm """
26
26
  call void @c_yield(%Stack %stack)
27
27
  ret void
28
28
  """
29
29
 
30
30
  extern async def abort(): Nothing =
31
- js "$effekt.callcc(callback => { return })"
31
+ js "$effekt.capture(k => undefined)"
32
32
  llvm """
33
33
  call void @eraseStack(%Stack %stack)
34
34
  ret void
@@ -55,14 +55,14 @@ extern llvm """
55
55
  """
56
56
 
57
57
  extern async def await[T](promise: Promise[T]): T =
58
- js "$effekt.callcc(callback => ${promise}.promise.then(res => callback(res)))"
58
+ js "$effekt.capture(k => ${promise}.promise.then(k))"
59
59
  llvm """
60
60
  call void @c_promise_await(%Pos ${promise}, %Stack %stack)
61
61
  ret void
62
62
  """
63
63
 
64
64
  extern async def resolve[T](promise: Promise[T], value: T): Unit =
65
- js "$effekt.callcc(callback => { ${promise}.resolve(${value}); callback($effekt.unit)})"
65
+ js "$effekt.capture(k => { ${promise}.resolve(${value}); return k($effekt.unit) })"
66
66
  llvm """
67
67
  call void @c_promise_resolve(%Pos ${promise}, %Pos ${value}, %Stack %stack)
68
68
  ret void