5 Commits

Author	SHA1	Message	Date
Łukasz Czajka	ecac5e07c7	Translate 'let' to Core (#1740) ... Closes #1351	2023-01-19 12:56:37 +01:00
Łukasz Czajka	6499100d67	Add test for div and mod (#1741)	2023-01-19 12:52:51 +01:00
janmasrovira	0193a33d4c	Fix inference loop (#1726)	2023-01-17 13:28:38 +01:00
janmasrovira	f7205915a5	Typecheck let expressions (#1712)	2023-01-17 09:41:07 +01:00
Łukasz Czajka	186f4f66ef	Tests for the new compilation pipeline (#1703) ... Adds Juvix tests for the compilation pipeline - these are converted from the JuvixCore tests (those that make sense). Currently, only the translation from Juvix to JuvixCore is checked for the tests that can be type-checked. Ultimately, the entire compilation pipeline down to native code / WebAssembly should be checked on these tests. Closes #1689	2023-01-12 11:22:32 +01:00