Skip to content

Commit ed6ab6e

Browse files
committed
bugfix: compile error in #219
When compiling with `-default-type word64`, we got a compile error on the values `Heartbeat.zero` and `Heartbeat.spawnCost` inferred as type `word` instead of type `Word32.word`. Easy fix!
1 parent 2885b1e commit ed6ab6e

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

basis-library/schedulers/spork/Heartbeat.sml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -65,8 +65,8 @@ struct
6565
fun addSpare tokens =
6666
addSpareFFI (gcstate (), tokens)
6767

68-
val spawnCost = 0w1
69-
val zero = 0w0
68+
val spawnCost: token_count = 0w1
69+
val zero: token_count = 0w0
7070

7171
fun halfOfCurrent () =
7272
Word32.>> (currentSpare (), 0w1)

0 commit comments

Comments
 (0)