diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-11-26 15:25:13 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-11-26 15:25:13 +0100 |
| commit | ae2b1b71a91d60d3bd1dfb21fce98c05c1a4fcbb (patch) | |
| tree | 1f6afda4b1d6925fe8224ee4f2ca40212fe11aa6 /test | |
| parent | 7774da51c532006da82617ce307d136897693280 (diff) | |
WIP accum top-level args
Diffstat (limited to 'test')
| -rw-r--r-- | test/Main.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/test/Main.hs b/test/Main.hs index 7cb15d5..d18884e 100644 --- a/test/Main.hs +++ b/test/Main.hs @@ -24,7 +24,6 @@ import Hedgehog.Main import Array import AST import AST.Pretty -import CHAD (defaultConfig) import CHAD.Top import CHAD.Types import qualified Example @@ -238,7 +237,7 @@ term_pairs = fromNamed $ lambda #x $ lambda #y $ body $ fst_ #q * #x + snd_ #q * fst_ #p tests :: IO Bool -tests = checkSequential $ Group "AD" +tests = checkParallel $ Group "AD" [("id", adTest $ fromNamed $ lambda #x $ body $ #x) ,("idx0", adTest $ fromNamed $ lambda #x $ body $ idx0 #x) |