mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-09-11 13:36:08 +03:00
Racket does not have FFI bindings for these primitives.
This commit is contained in:
parent
8fe02aa7fa
commit
1a1b5fcc63
@ -160,6 +160,7 @@ refcTests = testsInDir "refc" "Reference counting C backend" {codegen = Just C}
|
||||
|
||||
racketTests : IO TestPool
|
||||
racketTests = testsInDir "racket" "Racket backend" {codegen = Just Racket}
|
||||
{ pred = not . (`elem` ["conditions006", "conditions007"]) }
|
||||
|
||||
nodeTests : IO TestPool
|
||||
nodeTests = testsInDir "node" "Node backend" {codegen = Just Node}
|
||||
|
@ -1,3 +1,7 @@
|
||||
-- Disabled for now: no working
|
||||
-- conditionWaitTimeout
|
||||
-- for racket
|
||||
|
||||
-- Idris2
|
||||
|
||||
import System
|
||||
@ -16,4 +20,3 @@ main =
|
||||
sleep 2
|
||||
putStrLn "Sorry I'm late child!"
|
||||
threadWait t
|
||||
|
||||
|
@ -1,3 +1,7 @@
|
||||
-- Disabled for now: no working
|
||||
-- conditionWaitTimeout
|
||||
-- for racket
|
||||
|
||||
-- Idris2
|
||||
|
||||
import System
|
||||
@ -31,6 +35,5 @@ main =
|
||||
|
||||
sleep m
|
||||
putStrLn "Sorry I'm late children! Weren't there more of you?..."
|
||||
for impatients $ \t => threadWait t
|
||||
for_ impatients $ \t => threadWait t
|
||||
sleep 1
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user