Commit graph

Select branches

Hide pull requests

main

#17

#18

#19

#41

Mono Color

• 91a4872c34
  
  Merge solver back with checker and apply algorithm for eager constraint solving Sam Vervaeck 2023-06-22 16:19:51 +0200
• 2f9b6db5af
  
  Adjust the way let-declarations are visited in the type-checker Sam Vervaeck 2023-06-22 15:30:14 +0200
• 6df807440a
  
  Upgrade dependencies and check in package-lock.json Sam Vervaeck 2023-06-21 16:58:02 +0200
• f58011e50e
  
  Refactor by splitting into multiple files Sam Vervaeck 2023-06-21 16:56:04 +0200
• 935420d418
  
  Fix bug in lexing a word directly after an empty comment Sam Vervaeck 2023-06-15 16:40:28 +0200
• 8b1263c376
  
  Revert "Make it possible to nest match-expressions" Sam Vervaeck 2023-06-15 16:29:35 +0200
• ac7467bccb
  
  Make it possible to nest match-expressions Sam Vervaeck 2023-06-12 22:00:46 +0200
• 8addcb0990
  
  Add some more automated test snippets Sam Vervaeck 2023-06-12 16:54:41 +0200
• a3f40d51ef
  
  Some enhancements in the parser Sam Vervaeck 2023-06-12 16:53:26 +0200
• 2be3deb5f6
  
  Add missing ConsolePrinter.hpp and ConsolePrinter.cc Sam Vervaeck 2023-06-12 16:51:43 +0200
• 35bcf38eb3
  
  Only create scope in LetDeclaration if it is a function Sam Vervaeck 2023-06-12 16:50:55 +0200
• d81e92231f
  
  Some minor enhancements Sam Vervaeck 2023-06-11 11:04:04 +0200
• d278456290
  
  Add experimental support for compiler annotations Sam Vervaeck 2023-06-08 14:52:22 +0200
• c0c36ca698
  
  Add the missing very basic evaluatator Sam Vervaeck 2023-06-06 17:30:24 +0200
• abae39c791
  
  Move all tests to test/ improve Checker tests Sam Vervaeck 2023-06-06 17:28:56 +0200
• 0326bbe7f9
  
  Record variant constructors for future use Sam Vervaeck 2023-06-05 15:53:24 +0200
• d0b9c9702b
  
  Fix simplifyType not expanding to the full solution Sam Vervaeck 2023-06-05 15:51:40 +0200
• 1147c751b9
  
  Introduce new algorithm for better handling of recursive functions Sam Vervaeck 2023-06-05 15:51:04 +0200
• 1853612284
  
  Add InferContext::add() Sam Vervaeck 2023-06-05 14:45:13 +0200
• ebe1612112
  
  Fix crash when using SourceFile.File when the reference no long exists Sam Vervaeck 2023-06-05 12:16:54 +0200
• bc25ef77e4
  
  Remove debug statement in main.cc Sam Vervaeck 2023-06-05 11:25:07 +0200
• 3c7aec7d5d
  
  Rewrite main.cc to make use of the new zen::po Sam Vervaeck 2023-06-04 22:46:44 +0200
• f63d892662
  
  Re-introduce let declarations Sam Vervaeck 2023-06-03 14:35:02 +0200
• 73559460ec
  
  Add a very simple evaluator for a subset of the language Sam Vervaeck 2023-06-03 11:54:31 +0200
• 4294063921
  
  Simplify TArrow type as described in issue #42 Sam Vervaeck 2023-06-03 11:45:14 +0200
• eef23feb1c
  
  Fix bug in TApp case of Type::hasTypeVar() Sam Vervaeck 2023-06-03 11:20:22 +0200
• ebfcb2a2eb
  
  Remove comment from Checker.cc Sam Vervaeck 2023-06-02 21:46:35 +0200
• 566bc497f3
  
  Fix issue with swapping in Unifier::unifyField() Sam Vervaeck 2023-06-02 21:45:47 +0200
• 3a93952b36
  
  Fix error while printing record types Sam Vervaeck 2023-06-02 21:38:06 +0200
• af7fcb52b4
  
  Fix some logic not making use of Checker::makeEqual Sam Vervaeck 2023-06-02 21:18:35 +0200
• 6234a49feb
  
  Rename Value to LiteralValue in CST.hpp Sam Vervaeck 2023-06-02 20:58:03 +0200
• bf77031dd5
  
  Add Checker::makeEqual between CEqual and Checker::addConstraint Sam Vervaeck 2023-06-02 20:56:12 +0200
• ca2eb24da2
  
  Remove unused CClass constraint Sam Vervaeck 2023-06-02 20:55:27 +0200
• aede794e43
  
  Keep track of errors in DiagnosticEngine Sam Vervaeck 2023-06-02 16:28:05 +0200
• 693301bac6
  
  Improve support for type classes and simplify algorithm Sam Vervaeck 2023-06-01 16:22:37 +0200
• b467f9e644
  
  Attempt to fix the eager solver in Checker.cc Sam Vervaeck 2023-06-01 15:15:53 +0200
• a460b3b28a
  
  Fix some bugs in print logic of CST nodes Sam Vervaeck 2023-05-31 15:05:47 +0200
• 25928c288b
  
  Allow { and } on mupltiple lines with any indentation Sam Vervaeck 2023-05-31 14:22:35 +0200
• b64b18216a
  
  Second attemmpt at fixing critical bug in Node::unref() Sam Vervaeck 2023-05-31 13:14:46 +0200
• 717a2a663a
  
  Some fixes and new pattern syntax Sam Vervaeck 2023-05-31 12:38:29 +0200
• fa294b826e
  
  Fix diagnostic message for Parser::parsePattern() Sam Vervaeck 2023-05-31 11:16:28 +0200
• eaead44b18
  
  Fix some parsing issues in MatchExpression Sam Vervaeck 2023-05-31 11:15:31 +0200
• fd462f6d05
  
  Tidy up Checker.cc/Checker.hpp a bit Sam Vervaeck 2023-05-30 23:11:41 +0200
• 75e0ebc14b
  
  Disable printing the full type(s) on error for now Sam Vervaeck 2023-05-30 21:36:46 +0200
• 87af4686b7
  
  Split let-declaration up into function/variable declarations Sam Vervaeck 2023-05-30 21:34:40 +0200
• 053d45868e
  
  Rename Checker::pushContext() to Checker::setContext() Sam Vervaeck 2023-05-30 17:00:15 +0200
• 63547ee0a5
  
  Fix some regressions due to previous commits Sam Vervaeck 2023-05-30 15:27:21 +0200
• a8f8658f27
  
  Make InferContext have a parent context Sam Vervaeck 2023-05-30 13:37:47 +0200
• 83e89f4e8c
  
  Let VSCode update settings.json Sam Vervaeck 2023-05-30 13:36:13 +0200
• 41aa820bca
  
  Fix scope resolution Sam Vervaeck 2023-05-30 13:34:39 +0200
• 6bd8ecff39
  
  Major update to code base Sam Vervaeck 2023-05-29 20:37:23 +0200
• dfaa91c9b6
  
  Add support for parsing more nodes and small fixes Sam Vervaeck 2023-05-28 19:07:52 +0200
• ad460bc4a2
  
  Fix references to unbound types not being reported Sam Vervaeck 2023-05-27 23:15:45 +0200
• 3efd2a6d6a
  
  Fix some memory leaks and add comment in Parser.cc Sam Vervaeck 2023-05-27 20:57:43 +0200
• 8e4fae2228
  
  Improve behavior of parser when failing on a BlockStart Sam Vervaeck 2023-05-27 18:51:12 +0200
• 39d576c799
  
  Print a Unicode arrow when TextRange is empty in diagnostics Sam Vervaeck 2023-05-27 18:48:44 +0200
• cc24825ef1
  
  Remove now unused macro BOLT_EXPECT_TOKEN Sam Vervaeck 2023-05-27 15:25:52 +0200
• 16e85f26bd
  
  Add support for parsing record declarations Sam Vervaeck 2023-05-27 15:25:17 +0200
• bed5d3cbc4
  
  Enhance 'but got x' output on parse error Sam Vervaeck 2023-05-26 23:48:58 +0200
• 91c4b75bc1
  
  Fix crash when parsing invalid class declaration element Sam Vervaeck 2023-05-26 23:46:47 +0200
• 9afdd1e607
  
  Make parser more forgiving Sam Vervaeck 2023-05-26 19:51:12 +0200
• 4acb76159f
  
  Add CST definitions for record expressions and rename StructDeclaration Sam Vervaeck 2023-05-26 15:36:14 +0200
• 4a501c1f77
  
  Remove unused comment in CST.cc Sam Vervaeck 2023-05-26 15:19:40 +0200
• 06127ff624
  
  Improve checking recursive functions and some minor fixes Sam Vervaeck 2023-05-26 14:30:50 +0200
• 2448a70c76
  
  Fix panic when trying to print tokens Sam Vervaeck 2023-05-24 20:33:32 +0200
• 04fffbe9aa
  
  Refactor a bit and split header Diagnostics.hpp Sam Vervaeck 2023-05-24 19:38:04 +0200
• 31d813e94b
  
  Fix spacing in InstanceNotFoundDiagnostic Sam Vervaeck 2023-05-24 19:00:02 +0200
• 59b553410b
  
  Treat all warnings as errors in C++ sources Sam Vervaeck 2023-05-24 14:13:08 +0200
• 6967f9a060
  
  Sort diangostics by node and refactor ConsoleDiagnostics Sam Vervaeck 2023-05-24 14:11:59 +0200
• 5ac162cd72
  
  Add support for nested/tuple type expressions Sam Vervaeck 2023-05-23 22:36:01 +0200
• 1bba5facc7
  
  Fix infix expressions returning invalid types Sam Vervaeck 2023-05-23 22:34:21 +0200
• 7024b8790d
  
  Fix return-statements not being type-checked Sam Vervaeck 2023-05-23 21:51:44 +0200
• 1d314808a9
  
  Fix match-expressions not being properly type-checked Sam Vervaeck 2023-05-23 21:51:14 +0200
• 3bc77b1bb6
  
  Allow more constraints to be eagerly solved Sam Vervaeck 2023-05-23 21:50:00 +0200
• ebc51539ad
  
  Remove support for 'pervious' environments Sam Vervaeck 2023-05-23 21:32:23 +0200
• be6537f9b9
  
  Fix eager instantiation for deeply structured types Sam Vervaeck 2023-05-23 21:29:27 +0200
• 7d694d9a31
  
  Fix panic on encountering a member-expression Sam Vervaeck 2023-05-23 20:56:11 +0200
• 4ecc0d9724
  
  Clean up, fix bug and make type classes with var-decls work Sam Vervaeck 2023-05-23 20:47:41 +0200
• b8e989d03f
  
  Eagerly solve some constraints when certain conditions are met Sam Vervaeck 2023-05-23 20:09:05 +0200
• acbfeb8975
  
  Fix type class constraint expressions not being correctly parsed Sam Vervaeck 2023-05-23 20:03:23 +0200
• b23dc84f72
  
  Fix variable declarations, fix regression due to eager solving, fix unification Sam Vervaeck 2023-05-23 16:07:58 +0200
• 302823ac9b
  
  Split up Checker.hpp and make room for better type mismatch errors Sam Vervaeck 2023-05-22 22:37:58 +0200
• 508ef40bdf
  
  Implement tuples and fix bug with type vars in infer/unify algorithm Sam Vervaeck 2023-05-22 17:06:31 +0200
• fd015dcf22
  
  Fix crash when MatchExpression is expected Sam Vervaeck 2023-05-22 11:55:31 +0200
• bce5bffa85
  
  Add support for parsing member expressions Sam Vervaeck 2023-05-22 11:54:52 +0200
• 09fcaccedc
  
  Fix branch name in README.md Sam Vervaeck 2023-05-21 20:47:45 +0200
• 4e27d778f0
  
  Add some comments and lookup type class let declaration with Scope::lookupDirect() Sam Vervaeck 2023-05-21 20:33:06 +0200
• 6ea27d81f4
  
  Fix assertion error in Scope on encountering a LiteralPattern Sam Vervaeck 2023-05-21 20:16:15 +0200
• 093f307098
  
  Fix instance declarations not being correctly typechecked Sam Vervaeck 2023-05-21 20:14:41 +0200
• 3d19ce988c
  
  Add some comments to checkTypeclassSigs() Sam Vervaeck 2023-05-21 17:53:07 +0200
• 56cbfc6fbe
  
  Add support for literal patterns Sam Vervaeck 2023-05-21 17:36:44 +0200
• 17d21d234b
  
  Enable type-checking of match expressions Sam Vervaeck 2023-05-21 17:14:11 +0200
• fb5a9df48b
  
  Fix some parsing issues for MatchExpression Sam Vervaeck 2023-05-21 17:13:47 +0200
• b6706dd801
  
  Fix constructors like True and False not being parsed Sam Vervaeck 2023-05-21 14:50:28 +0200
• 1f94b7f799
  
  Add support for match-expressions in parser Sam Vervaeck 2023-05-21 11:30:25 +0200
• 66d7b90f82
  
  Clean up some code and introduce IdentifierAlt Sam Vervaeck 2023-05-21 00:25:01 +0200
• db26fd3b18
  
  Add experimental support for type classes and many more enhancements Sam Vervaeck 2023-05-20 23:48:26 +0200
• a7fdc59440
  
  Add missing Stream.hpp Sam Vervaeck 2023-05-14 21:20:44 +0200
• 936afd3be0
  
  Fix bug in inferencer and rename some variables Sam Vervaeck 2023-05-08 19:57:24 +0200
• 767572b197
  
  Fix long command hooks not being recognised Sam Vervaeck 2023-04-14 20:33:29 +0200