Commit graph

Select branches

Hide pull requests

main

#17

#18

#19

#41

Mono Color

• b1d685bdaf
  
  Add again generalization in Checker.cc main Sam Vervaeck 2025-03-02 00:19:19 +0100
• fc24bb9091
  
  Move constraint declarations to Constraint.hpp Sam Vervaeck 2025-02-28 22:43:10 +0100
• 32f961aad9
  
  Add missing newline terminator in ConsolePrinter.cc Sam Vervaeck 2025-02-28 18:10:34 +0100
• d8a819aeba
  
  Remove unused embeded dependencies Sam Vervaeck 2025-02-28 17:29:41 +0100
• 2c6380e8db
  
  Build ICU in x.py and fix CMake build Sam Vervaeck 2025-02-28 17:25:32 +0100
• 45c2930d22
  
  Fix typo in x.py Sam Vervaeck 2025-02-27 13:34:40 +0100
• 3170103e4a
  
  Update build script Sam Vervaeck 2025-02-27 13:32:45 +0100
• 2a892b3d48
  
  Upgrade GoogleTest to 1.16.0 Sam Vervaeck 2025-02-14 20:03:30 +0100
• 17c967a475
  
  Use embedded LLVM and fix compile errors Sam Vervaeck 2025-02-14 19:59:35 +0100
• df1b0c250b
  
  Update and import FindLLVM.cmake, FindClang.cmake from Zig repo Sam Vervaeck 2025-02-14 19:59:00 +0100
• 566baad939
  
  Allow getting the file path out of a SourceFile Sam Vervaeck 2025-02-14 16:15:27 +0100
• 76bfa1c0e2
  
  Add OpenFileFailedDiagnostic Sam Vervaeck 2025-02-14 16:13:51 +0100
• d4050a6686
  
  Update settings.json Sam Vervaeck 2025-02-14 15:57:29 +0100
• 80bec2e736
  
  Update FindLLVM.cmake to latest version Sam Vervaeck 2024-07-11 21:09:49 +0200
• 4e1771cf2a
  
  Refactor parser to pass around a 'forkable' TokenStream Sam Vervaeck 2024-07-11 21:08:52 +0200
• aa23420c5f
  
  Fix compilation errors due to missing Type::Kind member Sam Vervaeck 2024-07-11 21:06:58 +0200
• 5cd4cc3e84
  
  Improve support for typechecking mutually recursive functions Sam Vervaeck 2024-07-11 21:05:14 +0200
• 1d091c58d0
  
  Prettyfy definitions in Checker::run() Sam Vervaeck 2024-07-11 21:04:27 +0200
• c1e1962cfd
  
  Fix unbound variables not being searched for in the solved type Sam Vervaeck 2024-07-11 21:03:32 +0200
• 71912f8c65
  
  Fix incorrect type checking of anonymous match expressions Sam Vervaeck 2024-07-11 21:02:58 +0200
• 2b7ae3eba3
  
  Fix some panics when printing certain AST nodes Sam Vervaeck 2024-07-11 20:20:25 +0200
• 4079241e26
  
  Fix CMake build if BOLT_ENABBLE_TESTS=ON Sam Vervaeck 2024-07-11 18:46:55 +0200
• c8ceff3210
  
  Type check arrow type expressions Sam Vervaeck 2024-07-11 16:39:19 +0200
• 9578e5d252
  
  Rename some variables in Checker.cc Sam Vervaeck 2024-07-11 16:38:41 +0200
• 6f7418c784
  
  Ignore __pycache__/ directories Sam Vervaeck 2024-07-11 10:11:38 +0200
• 01804129e4
  
  Remove manual typechecker tests in favor of automated ones Sam Vervaeck 2024-07-11 10:10:49 +0200
• 4b9fbc1d0c
  
  Type-check match-expressions, nested expressions and literal patterns Sam Vervaeck 2024-07-11 10:09:28 +0200
• d4af7f5059
  
  Add some extra methods to MatchExpression Sam Vervaeck 2024-07-11 10:08:25 +0200
• 1d2306513e
  
  Add support for type-checking function expressions Sam Vervaeck 2024-07-11 09:09:27 +0200
• 556fc28eb7
  
  Add parsing support for function expressions and format Parser.cc Sam Vervaeck 2024-07-10 23:09:45 +0200
• d0ead42daa
  
  Fix typesetting of titles in CONTRIBUTING.md Sam Vervaeck 2024-07-10 17:42:27 +0200
• 05792ee99d
  
  Let VSCode update some weird mappings Sam Vervaeck 2024-07-10 17:41:35 +0200
• eef984f5a9
  
  Display the new syntax in the README.md Sam Vervaeck 2024-07-10 17:41:08 +0200
• 2cdad77b0d
  
  Update CONTRIBUTING.md with more build instructions Sam Vervaeck 2024-07-10 17:40:38 +0200
• e386a7095b
  
  Adjust syntax to distinguish between variables and functions Sam Vervaeck 2024-07-10 17:14:54 +0200
• 560c689fc7
  
  Sort NodeKind members in different categories Sam Vervaeck 2024-07-10 16:15:16 +0200
• 2a257275e8
  
  Remove unused code in CST.hpp Sam Vervaeck 2024-07-10 16:04:12 +0200
• 87bb0d0b10
  
  Refactor CST and enable typechecking of do-expressions Sam Vervaeck 2024-07-10 16:02:07 +0200
• 15dab8a7a8
  
  Fix compile errors in tests Sam Vervaeck 2024-07-10 12:04:03 +0200
• 449991d0c9
  
  Enable parsing of block expressions Sam Vervaeck 2024-07-10 12:03:24 +0200
• 9af655c072
  
  Fix crash when a reference to an unbound var is checked Sam Vervaeck 2024-07-10 09:39:40 +0200
• c98f47b564
  
  Also ignore 'zen' dependency in .gitignore Sam Vervaeck 2024-07-10 09:36:01 +0200
• f5668a7b1f
  
  Remove 'zen' symlink from repository Sam Vervaeck 2024-07-10 09:34:54 +0200
• 6f7da2c588
  
  Update to new do-notation in README.md Sam Vervaeck 2024-07-10 09:34:10 +0200
• cf782cbf13
  
  Update CONTRIBUTING.md Sam Vervaeck 2024-07-10 09:32:49 +0200
• f2fd7edd80
  
  Temporarily disable LLVM integration to get build working Sam Vervaeck 2024-07-09 19:41:06 +0200
• 5ba2aafc68
  
  Switch to bidirectional type-checker and many more improvements Sam Vervaeck 2024-06-21 00:18:44 +0200
• c907885420
  
  Make C++ implementation the main implementation Sam Vervaeck 2024-04-08 20:08:15 +0200
• 88134802fa
  
  Fix compile errors Sam Vervaeck 2024-04-08 19:58:00 +0200
• e01a970377
  
  [WIP] Further attempt to get typeclasses working Sam Vervaeck 2024-04-08 19:57:10 +0200
• 719dbfcad4
  
  Split LetDeclaration into VariableDeclaration and FunctionDeclaration Sam Vervaeck 2024-03-09 12:51:35 +0100
• 2bfd88b05f
  
  Fix warnings in README.md Sam Vervaeck 2024-02-26 22:28:31 +0100
• 20939d12d7
  
  Format warning as actual warning in README.md Sam Vervaeck 2024-02-26 22:26:44 +0100
• 800a72f041
  
  Remove indentation in namespaces Sam Vervaeck 2024-02-19 14:32:24 +0100
• 60f1e4519e
  
  Fix #54: BindPattern is not bound during inference inside a match-expression Sam Vervaeck 2024-02-19 14:17:12 +0100
• 521e1f1e4f
  
  Fix ConsolePrinter::writeDiagnositc aborting the program Sam Vervaeck 2024-02-19 14:15:07 +0100
• d8576feb48
  
  Add support for parsing prefix and suffix let-declarations Sam Vervaeck 2024-02-09 23:52:55 +0100
• 89ab4833ba
  
  Update FAQ 'When will the compiler be ready to use?' in README.md Sam Vervaeck 2024-02-09 21:37:36 +0100
• bf4f328856
  
  Add a few papers we are planning to use Sam Vervaeck 2024-02-09 21:28:14 +0100
• 9f5de2987a Make compile on GCC and add support for infix let-declarations Sam Vervaeck 2024-02-04 16:44:58 +0000
• 449cda8fc4 Ignore .python-version Sam Vervaeck 2024-02-03 21:05:51 +0000
• de29a77cd3
  
  Add support for record patterns and improve implicit forall Sam Vervaeck 2024-01-22 01:11:06 +0100
• 34b7693229
  
  Fix bug where field is missing from record type expression Sam Vervaeck 2024-01-21 09:16:46 +0100
• 00dbada7ac
  
  Add support for record type expressions Sam Vervaeck 2024-01-21 08:51:50 +0100
• 1b5c32fe29
  
  Add NamedRecordPattern and rename NamedPattern to NamedTuplePattern Sam Vervaeck 2024-01-21 05:40:35 +0100
• 7ac3c39164
  
  Make TypeEnv sort variables on whether they are a var or a function Sam Vervaeck 2024-01-21 03:42:25 +0100
• 7b58a6c51f
  
  Add more tests for tuple type checking Sam Vervaeck 2024-01-21 03:41:43 +0100
• cb1a1521f5
  
  Small fix to wording in output of 'bolt verify' Sam Vervaeck 2024-01-21 03:40:24 +0100
• 7ccda2e69b
  
  Fix segfault when CField has been substituted Sam Vervaeck 2024-01-21 02:01:31 +0100
• a2701257dd
  
  Prevent infinite loops when checking something like "foo".0.1.2 Sam Vervaeck 2024-01-21 01:56:01 +0100
• f2550e9430
  
  git: Add compile_command.json to .gitignore and update comment Sam Vervaeck 2024-01-21 01:51:25 +0100
• 3979a9010b
  
  Dont let Diagnostic inherit from std::runtime_error Sam Vervaeck 2024-01-21 01:12:02 +0100
• 25ccf60e02
  
  Make VSCode launch test sandbox Bolt code by default Sam Vervaeck 2024-01-21 01:11:29 +0100
• 3942004f76
  
  Switch to field constraints instead of TTupleIndex Sam Vervaeck 2024-01-21 01:04:13 +0100
• 4ab4094acc
  
  Add sample CMake invocation to README.md Sam Vervaeck 2024-01-21 00:20:04 +0100
• 4e11af005c
  
  Make Type a union and fix checking of tuple access Sam Vervaeck 2024-01-21 00:18:09 +0100
• 75124d097b
  
  Update link to Zen project Sam Vervaeck 2024-01-20 20:09:14 +0100
• 135b0cd6e9
  
  Update README for C++ subproject Sam Vervaeck 2024-01-15 14:27:41 +0100
• 285f33e93c Add 'bootstrap/cxx/' from commit '7c1a929e9a3d3abb1e2113f531588e059ad5be8c' Sam Vervaeck 2024-01-15 14:04:51 +0100
• b732e418cb
  
  Update examples in README.md Sam Vervaeck 2024-01-15 13:57:38 +0100
• c157a5e6ec
  
  Move JavaScript-based compiler to bootstrap/js Sam Vervaeck 2024-01-15 13:56:07 +0100
• 7c1a929e9a
  
  Remove hard dependency on LLVM in code Sam Vervaeck 2024-01-15 11:53:44 +0100
• 7eed7998e8
  
  Rename UniVar to RegularVar Sam Vervaeck 2023-08-30 12:07:53 +0200
• 0d7b7fec8d
  
  Remove some unused imports Sam Vervaeck 2023-08-13 15:43:10 +0200
• 0faea35446
  
  Make let-declarations in type class declarations always functions Sam Vervaeck 2023-08-13 15:42:48 +0200
• e92e346bad
  
  Decouple type checking info from CST and refactor checker.ts a bit Sam Vervaeck 2023-08-12 13:46:19 +0200
• aa386f2e79
  
  Add tests to source control Sam Vervaeck 2023-08-11 12:27:28 +0200
• 27d25fb849
  
  Make example in README.md copy-pastable Sam Vervaeck 2023-08-10 15:18:37 +0200
• b08bdbc6f7
  
  Add a test for a large mutual recursion Sam Vervaeck 2023-08-10 13:16:24 +0200
• 859b1676fd
  
  Clean up type checking code a bit Sam Vervaeck 2023-08-02 10:37:13 +0200
• 89feeaadb6
  
  Remove reference to TNominal in checker.ts Sam Vervaeck 2023-07-28 20:42:24 +0200
• 985e2d0652
  
  Improve handing of struct/enum types and declarations Sam Vervaeck 2023-07-04 20:38:40 +0200
• bd4ed57c46
  
  Add support for verifying diagnostic messages Sam Vervaeck 2023-07-01 01:26:18 +0200
• 3cfb816d6a
  
  Remove obsolete console.log-statement in scope.ts Sam Vervaeck 2023-07-01 01:25:55 +0200
• 996a2f8928
  
  Disable browser APIs in TypeScript project Sam Vervaeck 2023-07-01 01:25:18 +0200
• eaaa258fbd
  
  Fix type checking bug in 'bolt verify' command Sam Vervaeck 2023-06-30 20:35:48 +0200
• 7a0cb6753a
  
  Add a 'verify' command, ... Sam Vervaeck 2023-06-30 19:30:42 +0200
• d194ff9b2e
  
  Fix rigid type vars not instantiating correctly by introducing union-find Sam Vervaeck 2023-06-28 22:09:17 +0200
• 8d2f3c4977
  
  Remove (de)serialization logic Sam Vervaeck 2023-06-26 19:02:23 +0200
• 650cecb707
  
  Add rigid type vars and some other enhancements Sam Vervaeck 2023-06-26 18:51:48 +0200