juvix/test/Core.hs

module Core where

import Base
import Core.Asm qualified as Asm
import Core.Compile qualified as Compile
import Core.Eval qualified as Eval
import Core.Print qualified as Print
import Core.Recursor qualified as Rec
import Core.Transformation qualified as Transformation

allTests :: TestTree
allTests = testGroup "JuvixCore tests" [Rec.allTests, Eval.allTests, Print.allTests, Transformation.allTests, Asm.allTests, Compile.allTests]
Add the JuvixCore framework and its evaluator (#1421) 2022-08-30 12:24:15 +03:00			`module Core where`

			`import Base`
JuvixCore to JuvixAsm translation (#1665) An implementation of the translation from JuvixCore to JuvixAsm. After merging this PR, the only remaining step to complete the basic compilation pipeline (#1556) is the compilation of complex pattern matching (#1531). * Fixes several bugs in lambda-lifting. * Fixes several bugs in the RemoveTypeArgs transformation. * Fixes several bugs in the TopEtaExpand transformation. * Adds the ConvertBuiltinTypes transformation which converts the builtin bool inductive type to Core primitive bool. * Adds the `juvix dev core strip` command. * Adds the `juvix dev core asm` command. * Adds the `juvix dev core compile` command. * Adds two groups of tests: - JuvixCore to JuvixAsm translation: translate JuvixCore tests to JuvixAsm and run the results with the JuvixAsm interpreter, - JuvixCore compilation: compile JuvixCore tests to native code and WASM and execute the results. * Closes #1520 * Closes #1549 2023-01-09 20:21:30 +03:00			`import Core.Asm qualified as Asm`
			`import Core.Compile qualified as Compile`
Add `internal core read` command (#1517) 2022-09-06 16:26:48 +03:00			`import Core.Eval qualified as Eval`
Print JuvixCore correctly (#1875) Print JuvixCore InfoTable in such a way that it can be parsed back by the JuvixCore parser. * Depends on PR #1832 * Depends on PR #1862 * Closes #1841 * Adds "JuvixCore print" tests which read the files from Core/positive/*.jvc, print them, read them back and check if the evaluation results are preserved. --------- Co-authored-by: Jan Mas Rovira <janmasrovira@gmail.com> 2023-03-15 18:41:39 +03:00			`import Core.Print qualified as Print`
The `rmap` recursor (#1893) The `rmap` recursor allows to specify changes in binders while going downward through a Core node. This should help in implementing transformations on Core which need to add/remove/change binders. * Depends on PR #1875 * Adds unit tests for `rmap` * Changes the `NatToInt` transformation to use `rmap` 2023-03-16 16:47:21 +03:00			`import Core.Recursor qualified as Rec`
Add `internal core read` command (#1517) 2022-09-06 16:26:48 +03:00			`import Core.Transformation qualified as Transformation`
Add the JuvixCore framework and its evaluator (#1421) 2022-08-30 12:24:15 +03:00
			`allTests :: TestTree`
The `rmap` recursor (#1893) The `rmap` recursor allows to specify changes in binders while going downward through a Core node. This should help in implementing transformations on Core which need to add/remove/change binders. * Depends on PR #1875 * Adds unit tests for `rmap` * Changes the `NatToInt` transformation to use `rmap` 2023-03-16 16:47:21 +03:00			`allTests = testGroup "JuvixCore tests" [Rec.allTests, Eval.allTests, Print.allTests, Transformation.allTests, Asm.allTests, Compile.allTests]`