-
Notifications
You must be signed in to change notification settings - Fork 58
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
6cecd9d
commit 34275a5
Showing
3 changed files
with
174 additions
and
184 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,74 +1,70 @@ | ||
| module Main (main) where | ||
|
|
||
| -- import Anoma qualified | ||
| -- import Asm qualified | ||
| -- import BackendMarkdown qualified | ||
|
|
||
| import Anoma.Compilation.Positive qualified as AnomaPositive | ||
| import Anoma qualified | ||
| import Asm qualified | ||
| import BackendMarkdown qualified | ||
| import Base | ||
| import Casm qualified | ||
| import Compilation qualified | ||
| import Core qualified | ||
| import Examples qualified | ||
| import Format qualified | ||
| import Formatter qualified | ||
| import Internal qualified | ||
| import Isabelle qualified | ||
| import Juvix.Config qualified as Config | ||
| import Nockma qualified | ||
| import Package qualified | ||
| import Parsing qualified | ||
| import Reg qualified | ||
| import Repl qualified | ||
| import Resolver qualified | ||
| import Runtime qualified | ||
| import Rust qualified | ||
| import Scope qualified | ||
| import Termination qualified | ||
| import Tree qualified | ||
| import Typecheck qualified | ||
|
|
||
| -- import Casm qualified | ||
| -- import Compilation qualified | ||
| -- import Core qualified | ||
| -- import Examples qualified | ||
| -- import Format qualified | ||
| -- import Formatter qualified | ||
| -- import Internal qualified | ||
| -- import Isabelle qualified | ||
| -- import Juvix.Config qualified as Config | ||
| -- import Nockma qualified | ||
| -- import Package qualified | ||
| -- import Parsing qualified | ||
| -- import Reg qualified | ||
| -- import Repl qualified | ||
| -- import Resolver qualified | ||
| -- import Runtime qualified | ||
| -- import Rust qualified | ||
| -- import Scope qualified | ||
| -- import Termination qualified | ||
| -- import Tree qualified | ||
| -- import Typecheck qualified | ||
|
|
||
| -- slowTests :: IO TestTree | ||
| -- slowTests = | ||
| -- sequentialTestGroup | ||
| -- "Juvix slow tests" | ||
| -- AllFinish | ||
| -- <$> sequence | ||
| -- [ return Runtime.allTests, | ||
| -- return Reg.allTests, | ||
| -- return Asm.allTests, | ||
| -- return Tree.allTests, | ||
| -- return Core.allTests, | ||
| -- return Internal.allTests, | ||
| -- return Compilation.allTests, | ||
| -- return Examples.allTests, | ||
| -- Casm.allTests, | ||
| -- return Anoma.allTests, | ||
| -- return Repl.allTests | ||
| -- ] | ||
| -- <> sequence (if Config.config ^. Config.configRust then [Rust.allTests] else []) | ||
| slowTests :: IO TestTree | ||
| slowTests = | ||
| sequentialTestGroup | ||
| "Juvix slow tests" | ||
| AllFinish | ||
| <$> sequence | ||
| [ return Runtime.allTests, | ||
| return Reg.allTests, | ||
| return Asm.allTests, | ||
| return Tree.allTests, | ||
| return Core.allTests, | ||
| return Internal.allTests, | ||
| return Compilation.allTests, | ||
| return Examples.allTests, | ||
| Casm.allTests, | ||
| return Anoma.allTests, | ||
| return Repl.allTests | ||
| ] | ||
| <> sequence (if Config.config ^. Config.configRust then [Rust.allTests] else []) | ||
|
|
||
| -- fastTests :: IO TestTree | ||
| -- fastTests = | ||
| -- return $ | ||
| -- testGroup | ||
| -- "Juvix fast tests" | ||
| -- [ Parsing.allTests, | ||
| -- Resolver.allTests, | ||
| -- Scope.allTests, | ||
| -- Termination.allTests, | ||
| -- Typecheck.allTests, | ||
| -- Format.allTests, | ||
| -- Formatter.allTests, | ||
| -- Package.allTests, | ||
| -- BackendMarkdown.allTests, | ||
| -- Isabelle.allTests, | ||
| -- Nockma.allTests | ||
| -- ] | ||
| fastTests :: IO TestTree | ||
| fastTests = | ||
| return $ | ||
| testGroup | ||
| "Juvix fast tests" | ||
| [ Parsing.allTests, | ||
| Resolver.allTests, | ||
| Scope.allTests, | ||
| Termination.allTests, | ||
| Typecheck.allTests, | ||
| Format.allTests, | ||
| Formatter.allTests, | ||
| Package.allTests, | ||
| BackendMarkdown.allTests, | ||
| Isabelle.allTests, | ||
| Nockma.allTests | ||
| ] | ||
|
|
||
| main :: IO () | ||
| main = do | ||
| -- tests <- sequence [fastTests, slowTests] | ||
| -- defaultMain (testGroup "Juvix tests" tests) | ||
| defaultMain AnomaPositive.allTests | ||
| tests <- sequence [fastTests, slowTests] | ||
| defaultMain (testGroup "Juvix tests" tests) |