anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2025-01-07 16:22:14 +03:00
Code Issues Projects Releases Wiki Activity
d3e862fc51
juvix/test
History
Jan Mas Rovira 4fa17359a6
Implement wildcard constructor (#2550) 
- Closes #2549 

The implementation of wildcard constructors was previously done in the
arity checker. I did not realise I was missing it because there was not
tests for it that included typechecking (we were only checking
formatting).
2023-12-07 10:12:36 +01:00
..
Asm Constant folding (#2450) 2023-10-20 12:03:56 +02:00
BackendGeb Read Package on demand and cache it (#2548) 2023-12-06 18:24:59 +01:00
BackendMarkdown Read Package on demand and cache it (#2548) 2023-12-06 18:24:59 +01:00
Compilation Read Package on demand and cache it (#2548) 2023-12-06 18:24:59 +01:00
Core Use a Juvix source file to define a package (#2434) 2023-10-27 12:35:20 +01:00
Examples Run test suite in parallel (#2507) 2023-11-16 16:19:52 +01:00
Formatter Read Package on demand and cache it (#2548) 2023-12-06 18:24:59 +01:00
Internal Read Package on demand and cache it (#2548) 2023-12-06 18:24:59 +01:00
Package Extract builtin definitions for loading a Package into bundled package-base package (#2535) 2023-11-30 16:22:18 +00:00
Parsing Read Package on demand and cache it (#2548) 2023-12-06 18:24:59 +01:00
Reachability Read Package on demand and cache it (#2548) 2023-12-06 18:24:59 +01:00
Runtime Constant folding (#2450) 2023-10-20 12:03:56 +02:00
Scope Read Package on demand and cache it (#2548) 2023-12-06 18:24:59 +01:00
Termination Read Package on demand and cache it (#2548) 2023-12-06 18:24:59 +01:00
Typecheck Implement wildcard constructor (#2550) 2023-12-07 10:12:36 +01:00
VampIR Read Package on demand and cache it (#2548) 2023-12-06 18:24:59 +01:00
Asm.hs Translation from JuvixAsm to C (#1619) 2022-12-06 11:33:20 +01:00
BackendGeb.hs End-to-end Geb compilation tests (#1942) 2023-03-29 14:02:40 +02:00
BackendMarkdown.hs Add MarkdownInfo entry in Module Concrete Decl and proper errors (#2515) 2023-11-16 11:20:34 +01:00
Base.hs Read Package on demand and cache it (#2548) 2023-12-06 18:24:59 +01:00
Compilation.hs Remove old typechecker (#2545) 2023-12-01 16:50:37 +01:00
Core.hs Implement core transformation let-hoisting (#2076) 2023-05-16 13:42:44 +02:00
Examples.hs Add a test suite for milestone examples (#1920) 2023-03-24 13:16:26 +00:00
Format.hs Read Package on demand and cache it (#2548) 2023-12-06 18:24:59 +01:00
Formatter.hs Add juvix format command (#1886) 2023-03-29 15:51:04 +02:00
Internal.hs Add translation from Internal to Core (#1567) 2022-11-07 14:47:56 +01:00
Main.hs Remove old typechecker (#2545) 2023-12-01 16:50:37 +01:00
Package.hs Use JuvixError instead of Text for errors in Package file loading (#2459) 2023-10-23 19:01:36 +01:00
Parsing.hs Disallow tab characters as spaces (#1523) 2022-09-07 13:59:41 +02:00
Reachability.hs Compute name dependency graph and filter unreachable definitions (#1408) 2022-07-25 18:38:44 +02:00
Runtime.hs Juvix C runtime (#1580) 2022-11-03 09:38:09 +01:00
Scope.hs [ CI ] New jobs: ormolu and hlint 2022-04-05 19:57:21 +02:00
Termination.hs Add the termination checker to the pipeline (#111) 2022-05-30 13:40:52 +02:00
Typecheck.hs Remove old typechecker (#2545) 2023-12-01 16:50:37 +01:00
VampIR.hs Check valid argument names in YAML (#2193) 2023-06-15 16:42:58 +02:00