Commit graph

Select branches

Hide pull requests

main

#17

#18

#19

#41

Mono Color

• aefba5a175
  
  Put all additional resources in assets/ Sam Vervaeck 2023-04-14 20:11:41 +0200
• fd466fb4e8
  
  Add missing which npm package to compiler Sam Vervaeck 2023-04-14 20:06:43 +0200
• 2f7993ea17
  
  Add missing .gitignore Sam Vervaeck 2023-04-14 20:06:21 +0200
• 3fc184a0ce
  
  Move compiler to its own subdirectory Sam Vervaeck 2023-04-14 20:04:14 +0200
• beac8eb0ac
  
  Allow custom commands to be called from the main binary Sam Vervaeck 2023-04-14 20:00:16 +0200
• e50f45992c
  
  Expose mose of the compiler functions/classes as an API Sam Vervaeck 2023-04-14 19:59:29 +0200
• 26f50c5b50
  
  Make most classes serializable and remove bolt-selftest.ts Sam Vervaeck 2023-04-14 19:57:59 +0200
• d3b713624d
  
  Fix nodes not being properly assigned to CEqual Sam Vervaeck 2023-04-13 17:22:45 +0200
• e2923f63c0
  
  Fix infinite loop while searching for nodes in type chain Sam Vervaeck 2023-04-13 17:22:15 +0200
• 9f6fe70f38 Fix regression in type checking of extensible records Sam Vervaeck 2023-04-13 14:43:47 +0200
• 1cbd2e8a23 Merge with local implementation of toStringTag Sam Vervaeck 2023-04-13 14:34:52 +0200
• 11bae0fed0
  
  Update dependencies Sam Vervaeck 2023-04-12 22:01:39 +0200
• 78ea550afd
  
  Fix broken image link in README.md Sam Vervaeck 2023-04-12 21:59:33 +0200
• d19c64845d
  
  Add test regarding assignment and polymorphism Sam Vervaeck 2023-04-12 21:52:10 +0200
• 94c9e83d06
  
  Fix typo in diagnostic messages Sam Vervaeck 2023-04-12 21:39:06 +0200
• e7493d0d49
  
  Multiple updates to code base Sam Vervaeck 2023-04-12 21:16:48 +0200
• 17bdb2d7cb
  
  Fix some bugs in textual input/ouput Sam Vervaeck 2023-04-12 19:38:45 +0200
• 49a83f9a77
  
  vscode: Add launch.json for running on test file Sam Vervaeck 2023-04-12 14:29:56 +0200
• d684548141
  
  .gitginore: Add some comments and new rules Sam Vervaeck 2023-04-12 14:29:17 +0200
• f2ea45873c
  
  Fix minor indentation issue in checker.ts Sam Vervaeck 2023-04-12 14:27:21 +0200
• 9c24ddb07e
  
  Move 'type class exists' check to initialze() Sam Vervaeck 2023-04-12 14:26:39 +0200
• 10f0ebae20 Add README.md with example image Sam Vervaeck 2023-04-12 11:17:42 +0200
• 2f8ea813bc Add deps, update cade a bit and add generators Sam Vervaeck 2023-04-12 11:15:36 +0200
• 36012be49a Add missing declarations for custom inspect methods Sam Vervaeck 2023-03-19 17:03:54 +0100
• 5c8a296cab Add a test for extensible records Sam Vervaeck 2023-03-19 17:03:30 +0100
• 1b918dcaf0 Add support for AssignStatement in lexical analysis and CST Sam Vervaeck 2023-03-19 17:02:59 +0100
• af996c13fe Fix wrong refactor of error messages containing 'this' Sam Vervaeck 2023-03-19 16:37:40 +0100
• 947b6d8740 Manually filter out type variables in type scheme that do nothing Sam Vervaeck 2023-03-19 15:04:47 +0100
• d5e85869fb Add util.inspect methods to types and constraints Sam Vervaeck 2023-03-19 15:02:19 +0100
• a02ee1db0f tsc: Only compile what is in src/ Sam Vervaeck 2023-03-19 13:02:43 +0100
• c559d13df9 Minor improvements, add some experimental type class logic and refactor diagnostics Sam Vervaeck 2023-03-16 21:50:15 +0100
• df5f857905 Add extensible records and add foundations for typeclasses Sam Vervaeck 2023-03-11 14:24:02 +0100
• f995d887e7 Add Syntax.clone() method and '\\' token Sam Vervaeck 2023-02-06 11:50:38 +0100
• 80e907d3e2 Fix accidental removal of a contribution Sam Vervaeck 2023-02-03 18:13:53 +0100
• 3e14538d15 [WIP] Add support for typeclasses Sam Vervaeck 2023-02-03 17:51:27 +0100
• c4576d8e70 Fix code example syntax Erik van Zijst 2022-11-19 15:37:42 +0100
• 036ccedea3 Rephrase paragraph in README.md Sam Vervaeck 2022-10-01 13:58:23 +0200
• 2c9ab75a94 Switch to commander instead of yargs for argument parsing Sam Vervaeck 2022-09-19 16:17:20 +0200
• 4fed500ea3 Fix assignment of type to a type expression in checker.ts Sam Vervaeck 2022-09-19 14:06:12 +0200
• 6af1fabb88 Refactor codegen into interchangeable passes Sam Vervaeck 2022-09-18 21:37:24 +0200
• 404ac83101 Add a test for module references inside type expressions Sam Vervaeck 2022-09-18 21:36:32 +0200
• 0d5c791a70 Refactor and improve module references in kind inference Sam Vervaeck 2022-09-18 19:33:34 +0200
• 3e169e9ab9 Add experimental support for referencing module elements Sam Vervaeck 2022-09-18 14:33:22 +0200
• 9dc62d0836 Fix module paths not being parsed in type reference expressions Sam Vervaeck 2022-09-17 16:31:05 +0200
• cea177e4a6 Add support for parsing module declarations Sam Vervaeck 2022-09-17 13:20:49 +0200
• 117f49f343 Add support for parsing the 'foreign' keyword in let-declarations Sam Vervaeck 2022-09-16 19:50:18 +0200
• f43a66f453 Add some codegen infrastructure Sam Vervaeck 2022-09-16 19:43:52 +0200
• 8200a0095f Format records in type inference tests a bit Sam Vervaeck 2022-09-16 19:43:21 +0200
• 2dae494fc2 Fix error when parsing empty tuple Sam Vervaeck 2022-09-16 12:54:13 +0200
• 368d2243f1 Add a test for tuple unification Sam Vervaeck 2022-09-16 12:48:41 +0200
• cd357e03f5 Add support for tuples Sam Vervaeck 2022-09-16 12:43:06 +0200
• 1ea65236a5 Add support for currying Sam Vervaeck 2022-09-16 12:00:00 +0200
• a94b05df61 Fix lambdas not being correctly generated for match-expressions Sam Vervaeck 2022-09-16 11:57:45 +0200
• 14c7ce6db5 Fix typo in preview image Sam Vervaeck 2022-09-16 11:39:26 +0200
• 1a4a07bdd1 Clean up unused nodes in cst.ts Sam Vervaeck 2022-09-16 11:35:18 +0200
• 6c29d49ac6 Add experimental support for match-expressions and some new patterns Sam Vervaeck 2022-09-16 11:31:34 +0200
• bf6302b173 Fix remaining TypeScript type error Sam Vervaeck 2022-09-16 10:53:36 +0200
• a378f8276d Enable parsing of tuple expressions Sam Vervaeck 2022-09-16 10:25:24 +0200
• f11ad9028e Fix wrong node being printed when diagnosing the origin of a type Sam Vervaeck 2022-09-15 23:05:34 +0200
• 9bf81c56db Allow record expressions to cover multiple lines Sam Vervaeck 2022-09-15 22:49:20 +0200
• 9221441aa4 Multiple updates to the kind inferencer Sam Vervaeck 2022-09-15 22:39:20 +0200
• 4939ee5e08 Remove dangling debug statement in checker.ts Sam Vervaeck 2022-09-15 20:50:02 +0200
• 31e99fd8ba Clean up some code and fix all TypeScript type errors Sam Vervaeck 2022-09-15 20:48:36 +0200
• 21a05cf62d Add missing analysis.ts Sam Vervaeck 2022-09-15 20:46:38 +0200
• c1e17955cd Revert commit e3d00f6 and really fix kind unification Sam Vervaeck 2022-09-15 20:46:07 +0200
• 2d10ceedc9 Multiple enhancements Sam Vervaeck 2022-09-15 20:33:34 +0200
• 3152db9d32 Update type-checker tests Sam Vervaeck 2022-09-15 19:35:02 +0200
• fe4cc61819 Fix all TypeScript type errors Sam Vervaeck 2022-09-15 16:56:02 +0200
• 9d28d47d6f Add an analysis module and integrate with type checker Sam Vervaeck 2022-09-15 16:04:49 +0200
• 83226621e3 Add support for inferring kinds from ArrowTypeExpression Sam Vervaeck 2022-09-15 16:04:02 +0200
• 6110509c41 Make kind inferencer support structs inside let-declarations Sam Vervaeck 2022-09-15 13:56:58 +0200
• 487e6d4994 Organize imports in checker.ts Sam Vervaeck 2022-09-15 13:49:45 +0200
• 685ff3cf2d Fix kind inference not detecting when too many arguments are applied Sam Vervaeck 2022-09-15 13:49:07 +0200
• e3d00f6146 Add a Bool type to the initial type checking environment Sam Vervaeck 2022-09-15 13:48:08 +0200
• 175cdbd394 Prefix kind variables with 'k' instead of 'a' Sam Vervaeck 2022-09-15 13:47:41 +0200
• 2f359107c4 Multiple fixes related to the type-checker Sam Vervaeck 2022-09-15 11:49:53 +0200
• 2ec8649456 Fix bug in enum-declaration inference and fix some type errors Sam Vervaeck 2022-09-14 23:09:22 +0200
• c5fe5004b6 Many fixes and add better support for enum-declarations Sam Vervaeck 2022-09-14 22:34:53 +0200
• 4cc2b23109 Add experimental support for kind inference Sam Vervaeck 2022-09-14 16:46:30 +0200
• 0eada4068c Add some more type inference tests Sam Vervaeck 2022-09-11 15:27:32 +0200
• 85528ad8af Improve handling of polymorphic datatypes Sam Vervaeck 2022-09-11 15:23:22 +0200
• 988215cdb3 Multiple updates to the type-checker Sam Vervaeck 2022-09-11 11:20:21 +0200
• d12ffa1de5 Fix type errors in bolt-selftest.ts Sam Vervaeck 2022-09-10 17:46:57 +0200
• be2ba1023d Add typings for 'commonmark' and 'glob' packages Sam Vervaeck 2022-09-10 17:46:37 +0200
• 5f373a9d13 Make struct-declarations polymorphic Sam Vervaeck 2022-09-10 16:52:14 +0200
• 15f87ecc67 Add image of sample code in README.md Sam Vervaeck 2022-09-10 14:35:18 +0200
• 457d06b487 Add preview of calculating the faculty Sam Vervaeck 2022-09-10 14:32:28 +0200
• 02e3806ceb Add a README.md Sam Vervaeck 2022-09-10 14:26:29 +0200
• 3611dedf24 Enable parsing enum-declarations Sam Vervaeck 2022-09-10 14:11:04 +0200
• 7b3f1948bb Remove TAny; support operator declarations and arrow type expressions Sam Vervaeck 2022-09-09 22:37:14 +0200
• 843be74e48 Add support for indenting in type-checker Sam Vervaeck 2022-09-09 20:18:51 +0200
• dac8c9d946 First attempt at making the typing diagnositcs prettier Sam Vervaeck 2022-09-09 20:02:35 +0200
• f1a365e29c Add support for parsing/type-checking member expressions Sam Vervaeck 2022-09-09 00:00:28 +0200
• ebf600bdfc Fix parse diagnostics not working Sam Vervaeck 2022-09-08 23:35:07 +0200
• 088bdc94c2 Add missing index.ts Sam Vervaeck 2022-09-08 23:33:41 +0200
• 19af942889 Define some tests for the type-checker Sam Vervaeck 2022-09-08 23:33:07 +0200
• 80bfc5f57b Improve type-checking of struct declarations/expressions Sam Vervaeck 2022-09-08 23:32:25 +0200
• e5563dd33d Fix critical bug in unification algorithm Sam Vervaeck 2022-09-08 23:19:15 +0200
• b4fc8c87cb Add a simple test script Sam Vervaeck 2022-09-08 15:58:08 +0200
• 00bcaa93ee Make record types partially work Sam Vervaeck 2022-09-07 12:45:38 +0200