anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-13 11:16:48 +03:00
Code Issues Projects Releases Wiki Activity
3396c52fa2
juvix/test/Main.hs

29 lines
541 B
Haskell
Raw Normal View History

[tests] setup basic testing
2022-02-15 16:12:53 +03:00
module Main (main) where
Add C code generation backend (#68) * [cbackend] Adds an AST for C This should cover enough C to implement the microjuvix backend. * [cbackend] Add C serializer using language-c library We may decide to write our own serializer for the C AST but this demonstrates that the C AST is sufficient at least. * [cbackend] Declarations will always be typed * [cbackend] Add CPP support to AST * [cbackend] Rename some names for clarity * [cbackend] Add translation of InductiveDef to C * [cbackend] Add CLI for C backend * [cbackend] Add stdbool.h to file header * [cbackend] Allow Cpp and Verbatim code inline * [cbackend] Add a newline after printing C * [cbackend] Support foreign blocks * [cbackend] Add support for axioms * [cbackend] Remove code examples * [cbackend] wip FunctionDef including Expressions * [parser] Support esacping '}' inside a foreign block * [cbackend] Add support for patterns in functions * [cbackend] Add foreign C support to HelloWorld.mjuvix * hlint fixes * More hlint fixes not picked up by pre-commit * [cbackend] Remove CompileStatement from MonoJuvix * [cbackend] Add support for compile blocks * [cbackend] Move compileInfo extraction to MonoJuvixResult * [minihaskell] Fix compile block support * [chore] Remove ununsed isBackendSupported function * [chore] Remove unused imports * [cbackend] Use a Reader for pattern bindings * [cbackend] Fix compiler warnings * [cbackend] Add support for nested patterns * [cbackend] Use functions to instantiate argument names * [cbackend] Add non-exhaustive pattern error message * [cbackend] Adds test for c to WASM compile and execution * [cbackend] Add links to test dependencies in quickstart * [cbackend] Add test with inductive types and patterns * [cbackend] Fix indentation * [cbackend] Remove ExpressionTyped case https://github.com/heliaxdev/minijuvix/issues/79 * [lexer] Fix lexing of \ inside a foreign block * [cbackend] PR review fixes * [chore] Remove unused import * [cbackend] Rename CJuvix to MiniC * [cbackend] Rename MonoJuvixToC to MonoJuvixToMiniC * [cbackend] Add test for polymorphic function * [cbackend] Add module for string literals
2022-05-05 16:12:17 +03:00
import BackendC qualified
[tests] setup basic testing
2022-02-15 16:12:53 +03:00
import Base
Monomorphization (#70) * add TypeCallsBuilder and others * implement propagation of type calls * improve type propagation * polymorphize fungible token * sort type calls map pretty output * use HashSet in TypeCallsMap * renaming * rename module * improve indexing in type propagation * draft monomorphization generation algorithm * fix draft * wip mono code generation * wip code generation * finish first candidate for code generation * add monojuvix command * fix MonoJuvix pretty printer to properly display name ids * [monojuvix] improve clause pretty printing * add support for function types in expressions * properly translate function expressions * ormolu * add a basic positive test for monomorphization * cleanup effect constraints * collect type applications in axiom types * apply some style improvements * fix PolySimpleFungibleToken and add it to the test suite * ignore polymorphic inductive definitions that are never used
2022-05-04 11:50:03 +03:00
import MonoJuvix qualified
[ CI ] New jobs: ormolu and hlint
2022-04-05 20:57:21 +03:00
import Scope qualified
Add the termination checker to the pipeline (#111) * [WIP] EntryPoint now has options. --no-termination is a new global opt. * Add TerminationChecking to the pipeline * Add TerminationChecking to the pipeline * Keep GlobalOptions in App * Fix reviewer's comments * delete unnecessary parens Co-authored-by: Jan Mas Rovira <janmasrovira@gmail.com>
2022-05-30 14:40:52 +03:00
import Termination qualified
[ CI ] New jobs: ormolu and hlint
2022-04-05 20:57:21 +03:00
import TypeCheck qualified
[tests] setup basic testing
2022-02-15 16:12:53 +03:00
Add C code generation backend (#68) * [cbackend] Adds an AST for C This should cover enough C to implement the microjuvix backend. * [cbackend] Add C serializer using language-c library We may decide to write our own serializer for the C AST but this demonstrates that the C AST is sufficient at least. * [cbackend] Declarations will always be typed * [cbackend] Add CPP support to AST * [cbackend] Rename some names for clarity * [cbackend] Add translation of InductiveDef to C * [cbackend] Add CLI for C backend * [cbackend] Add stdbool.h to file header * [cbackend] Allow Cpp and Verbatim code inline * [cbackend] Add a newline after printing C * [cbackend] Support foreign blocks * [cbackend] Add support for axioms * [cbackend] Remove code examples * [cbackend] wip FunctionDef including Expressions * [parser] Support esacping '}' inside a foreign block * [cbackend] Add support for patterns in functions * [cbackend] Add foreign C support to HelloWorld.mjuvix * hlint fixes * More hlint fixes not picked up by pre-commit * [cbackend] Remove CompileStatement from MonoJuvix * [cbackend] Add support for compile blocks * [cbackend] Move compileInfo extraction to MonoJuvixResult * [minihaskell] Fix compile block support * [chore] Remove ununsed isBackendSupported function * [chore] Remove unused imports * [cbackend] Use a Reader for pattern bindings * [cbackend] Fix compiler warnings * [cbackend] Add support for nested patterns * [cbackend] Use functions to instantiate argument names * [cbackend] Add non-exhaustive pattern error message * [cbackend] Adds test for c to WASM compile and execution * [cbackend] Add links to test dependencies in quickstart * [cbackend] Add test with inductive types and patterns * [cbackend] Fix indentation * [cbackend] Remove ExpressionTyped case https://github.com/heliaxdev/minijuvix/issues/79 * [lexer] Fix lexing of \ inside a foreign block * [cbackend] PR review fixes * [chore] Remove unused import * [cbackend] Rename CJuvix to MiniC * [cbackend] Rename MonoJuvixToC to MonoJuvixToMiniC * [cbackend] Add test for polymorphic function * [cbackend] Add module for string literals
2022-05-05 16:12:17 +03:00
slowTests :: TestTree
slowTests =
[ CI ] New jobs: ormolu and hlint
2022-04-05 20:57:21 +03:00
testGroup
Add C code generation backend (#68) * [cbackend] Adds an AST for C This should cover enough C to implement the microjuvix backend. * [cbackend] Add C serializer using language-c library We may decide to write our own serializer for the C AST but this demonstrates that the C AST is sufficient at least. * [cbackend] Declarations will always be typed * [cbackend] Add CPP support to AST * [cbackend] Rename some names for clarity * [cbackend] Add translation of InductiveDef to C * [cbackend] Add CLI for C backend * [cbackend] Add stdbool.h to file header * [cbackend] Allow Cpp and Verbatim code inline * [cbackend] Add a newline after printing C * [cbackend] Support foreign blocks * [cbackend] Add support for axioms * [cbackend] Remove code examples * [cbackend] wip FunctionDef including Expressions * [parser] Support esacping '}' inside a foreign block * [cbackend] Add support for patterns in functions * [cbackend] Add foreign C support to HelloWorld.mjuvix * hlint fixes * More hlint fixes not picked up by pre-commit * [cbackend] Remove CompileStatement from MonoJuvix * [cbackend] Add support for compile blocks * [cbackend] Move compileInfo extraction to MonoJuvixResult * [minihaskell] Fix compile block support * [chore] Remove ununsed isBackendSupported function * [chore] Remove unused imports * [cbackend] Use a Reader for pattern bindings * [cbackend] Fix compiler warnings * [cbackend] Add support for nested patterns * [cbackend] Use functions to instantiate argument names * [cbackend] Add non-exhaustive pattern error message * [cbackend] Adds test for c to WASM compile and execution * [cbackend] Add links to test dependencies in quickstart * [cbackend] Add test with inductive types and patterns * [cbackend] Fix indentation * [cbackend] Remove ExpressionTyped case https://github.com/heliaxdev/minijuvix/issues/79 * [lexer] Fix lexing of \ inside a foreign block * [cbackend] PR review fixes * [chore] Remove unused import * [cbackend] Rename CJuvix to MiniC * [cbackend] Rename MonoJuvixToC to MonoJuvixToMiniC * [cbackend] Add test for polymorphic function * [cbackend] Add module for string literals
2022-05-05 16:12:17 +03:00
"MiniJuvix slow tests"
[BackendC.allTests]
fastTests :: TestTree
fastTests =
testGroup
"MiniJuvix fast tests"
[ CI ] New jobs: ormolu and hlint
2022-04-05 20:57:21 +03:00
[ Scope.allTests,
Add the termination checker to the pipeline (#111) * [WIP] EntryPoint now has options. --no-termination is a new global opt. * Add TerminationChecking to the pipeline * Add TerminationChecking to the pipeline * Keep GlobalOptions in App * Fix reviewer's comments * delete unnecessary parens Co-authored-by: Jan Mas Rovira <janmasrovira@gmail.com>
2022-05-30 14:40:52 +03:00
Termination.allTests,
Monomorphization (#70) * add TypeCallsBuilder and others * implement propagation of type calls * improve type propagation * polymorphize fungible token * sort type calls map pretty output * use HashSet in TypeCallsMap * renaming * rename module * improve indexing in type propagation * draft monomorphization generation algorithm * fix draft * wip mono code generation * wip code generation * finish first candidate for code generation * add monojuvix command * fix MonoJuvix pretty printer to properly display name ids * [monojuvix] improve clause pretty printing * add support for function types in expressions * properly translate function expressions * ormolu * add a basic positive test for monomorphization * cleanup effect constraints * collect type applications in axiom types * apply some style improvements * fix PolySimpleFungibleToken and add it to the test suite * ignore polymorphic inductive definitions that are never used
2022-05-04 11:50:03 +03:00
TypeCheck.allTests,
MonoJuvix.allTests
[ CI ] New jobs: ormolu and hlint
2022-04-05 20:57:21 +03:00
]
[tests] setup basic testing
2022-02-15 16:12:53 +03:00
main :: IO ()
Add C code generation backend (#68) * [cbackend] Adds an AST for C This should cover enough C to implement the microjuvix backend. * [cbackend] Add C serializer using language-c library We may decide to write our own serializer for the C AST but this demonstrates that the C AST is sufficient at least. * [cbackend] Declarations will always be typed * [cbackend] Add CPP support to AST * [cbackend] Rename some names for clarity * [cbackend] Add translation of InductiveDef to C * [cbackend] Add CLI for C backend * [cbackend] Add stdbool.h to file header * [cbackend] Allow Cpp and Verbatim code inline * [cbackend] Add a newline after printing C * [cbackend] Support foreign blocks * [cbackend] Add support for axioms * [cbackend] Remove code examples * [cbackend] wip FunctionDef including Expressions * [parser] Support esacping '}' inside a foreign block * [cbackend] Add support for patterns in functions * [cbackend] Add foreign C support to HelloWorld.mjuvix * hlint fixes * More hlint fixes not picked up by pre-commit * [cbackend] Remove CompileStatement from MonoJuvix * [cbackend] Add support for compile blocks * [cbackend] Move compileInfo extraction to MonoJuvixResult * [minihaskell] Fix compile block support * [chore] Remove ununsed isBackendSupported function * [chore] Remove unused imports * [cbackend] Use a Reader for pattern bindings * [cbackend] Fix compiler warnings * [cbackend] Add support for nested patterns * [cbackend] Use functions to instantiate argument names * [cbackend] Add non-exhaustive pattern error message * [cbackend] Adds test for c to WASM compile and execution * [cbackend] Add links to test dependencies in quickstart * [cbackend] Add test with inductive types and patterns * [cbackend] Fix indentation * [cbackend] Remove ExpressionTyped case https://github.com/heliaxdev/minijuvix/issues/79 * [lexer] Fix lexing of \ inside a foreign block * [cbackend] PR review fixes * [chore] Remove unused import * [cbackend] Rename CJuvix to MiniC * [cbackend] Rename MonoJuvixToC to MonoJuvixToMiniC * [cbackend] Add test for polymorphic function * [cbackend] Add module for string literals
2022-05-05 16:12:17 +03:00
main = do
defaultMain (testGroup "MiniJuvix tests" [fastTests, slowTests])
Reference in New Issue Copy Permalink