327 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Sam Vervaeck	b1d685bdaf	Add again generalization in Checker.cc ... Constraint instantiation is still missing.	2025-03-02 00:19:19 +01:00
Sam Vervaeck	fc24bb9091	Move constraint declarations to Constraint.hpp	2025-02-28 22:43:10 +01:00
Sam Vervaeck	32f961aad9	Add missing newline terminator in ConsolePrinter.cc	2025-02-28 18:10:34 +01:00
Sam Vervaeck	d8a819aeba	Remove unused embeded dependencies	2025-02-28 17:31:12 +01:00
Sam Vervaeck	2c6380e8db	Build ICU in x.py and fix CMake build	2025-02-28 17:31:12 +01:00
Sam Vervaeck	45c2930d22	Fix typo in x.py	2025-02-28 17:31:12 +01:00
Sam Vervaeck	3170103e4a	Update build script ... - Make script build ICU - ...	2025-02-28 17:31:12 +01:00
Sam Vervaeck	2a892b3d48	Upgrade GoogleTest to 1.16.0	2025-02-28 17:31:12 +01:00
Sam Vervaeck	17c967a475	Use embedded LLVM and fix compile errors	2025-02-28 17:31:12 +01:00
Sam Vervaeck	df1b0c250b	Update and import FindLLVM.cmake, FindClang.cmake from Zig repo	2025-02-28 17:31:12 +01:00
Sam Vervaeck	566baad939	Allow getting the file path out of a SourceFile	2025-02-14 16:15:27 +01:00
Sam Vervaeck	76bfa1c0e2	Add OpenFileFailedDiagnostic	2025-02-14 16:13:51 +01:00
Sam Vervaeck	d4050a6686	Update settings.json	2025-02-14 15:57:29 +01:00
Sam Vervaeck	80bec2e736	Update FindLLVM.cmake to latest version	2024-07-11 21:09:49 +02:00
Sam Vervaeck	4e1771cf2a	Refactor parser to pass around a 'forkable' TokenStream	2024-07-11 21:08:52 +02:00
Sam Vervaeck	aa23420c5f	Fix compilation errors due to missing Type::Kind member	2024-07-11 21:06:58 +02:00
Sam Vervaeck	5cd4cc3e84	Improve support for typechecking mutually recursive functions	2024-07-11 21:05:14 +02:00
Sam Vervaeck	1d091c58d0	Prettyfy definitions in Checker::run()	2024-07-11 21:04:43 +02:00
Sam Vervaeck	c1e1962cfd	Fix unbound variables not being searched for in the solved type	2024-07-11 21:03:32 +02:00
Sam Vervaeck	71912f8c65	Fix incorrect type checking of anonymous match expressions	2024-07-11 21:02:58 +02:00
Sam Vervaeck	2b7ae3eba3	Fix some panics when printing certain AST nodes	2024-07-11 20:20:25 +02:00
Sam Vervaeck	4079241e26	Fix CMake build if BOLT_ENABBLE_TESTS=ON	2024-07-11 18:46:55 +02:00
Sam Vervaeck	c8ceff3210	Type check arrow type expressions	2024-07-11 16:39:19 +02:00
Sam Vervaeck	9578e5d252	Rename some variables in Checker.cc	2024-07-11 16:38:41 +02:00
Sam Vervaeck	6f7418c784	Ignore __pycache__/ directories	2024-07-11 10:11:38 +02:00
Sam Vervaeck	01804129e4	Remove manual typechecker tests in favor of automated ones	2024-07-11 10:10:49 +02:00
Sam Vervaeck	4b9fbc1d0c	Type-check match-expressions, nested expressions and literal patterns ... Also introduces '$' as a new binding	2024-07-11 10:09:57 +02:00
Sam Vervaeck	d4af7f5059	Add some extra methods to MatchExpression	2024-07-11 10:08:25 +02:00
Sam Vervaeck	1d2306513e	Add support for type-checking function expressions	2024-07-11 09:09:27 +02:00
Sam Vervaeck	556fc28eb7	Add parsing support for function expressions and format Parser.cc	2024-07-10 23:09:45 +02:00
Sam Vervaeck	d0ead42daa	Fix typesetting of titles in CONTRIBUTING.md	2024-07-10 17:42:27 +02:00
Sam Vervaeck	05792ee99d	Let VSCode update some weird mappings	2024-07-10 17:41:35 +02:00
Sam Vervaeck	eef984f5a9	Display the new syntax in the README.md	2024-07-10 17:41:08 +02:00
Sam Vervaeck	2cdad77b0d	Update CONTRIBUTING.md with more build instructions	2024-07-10 17:40:38 +02:00
Sam Vervaeck	e386a7095b	Adjust syntax to distinguish between variables and functions	2024-07-10 17:17:09 +02:00
Sam Vervaeck	560c689fc7	Sort NodeKind members in different categories	2024-07-10 16:15:16 +02:00
Sam Vervaeck	2a257275e8	Remove unused code in CST.hpp	2024-07-10 16:04:12 +02:00
Sam Vervaeck	87bb0d0b10	Refactor CST and enable typechecking of do-expressions	2024-07-10 16:02:07 +02:00
Sam Vervaeck	15dab8a7a8	Fix compile errors in tests	2024-07-10 12:04:03 +02:00
Sam Vervaeck	449991d0c9	Enable parsing of block expressions ... Part of fixes for issue #65	2024-07-10 12:03:24 +02:00
Sam Vervaeck	9af655c072	Fix crash when a reference to an unbound var is checked	2024-07-10 09:39:40 +02:00
Sam Vervaeck	c98f47b564	Also ignore 'zen' dependency in .gitignore	2024-07-10 09:36:01 +02:00
Sam Vervaeck	f5668a7b1f	Remove 'zen' symlink from repository	2024-07-10 09:34:54 +02:00
Sam Vervaeck	6f7da2c588	Update to new do-notation in README.md	2024-07-10 09:34:10 +02:00
Sam Vervaeck	cf782cbf13	Update CONTRIBUTING.md	2024-07-10 09:32:49 +02:00
Sam Vervaeck	f2fd7edd80	Temporarily disable LLVM integration to get build working	2024-07-09 19:41:06 +02:00
Sam Vervaeck	5ba2aafc68	Switch to bidirectional type-checker and many more improvements	2024-06-21 00:23:27 +02:00
Sam Vervaeck	c907885420	Make C++ implementation the main implementation	2024-04-08 20:08:15 +02:00
Sam Vervaeck	88134802fa	Fix compile errors	2024-04-08 19:58:19 +02:00
Sam Vervaeck	e01a970377	[WIP] Further attempt to get typeclasses working	2024-04-08 19:57:10 +02:00