samvv/bolt
1
0
Fork 0
Code Issues 24 Pull requests Projects Releases Packages Wiki Activity Actions

Commit graph

  • 97150d64e0 Add better support for if-statements in type-checker Sam Vervaeck 2022-09-06 15:17:27 +0200
  • cf5978c86c Make type-checker catch all errors and update YAGL Sam Vervaeck 2022-09-06 15:13:07 +0200
  • 469b0cc756 Simplify types in diagnostic messages and constraint-solve ALL constraints Sam Vervaeck 2022-09-06 13:40:20 +0200
  • 204d2961e3 Improve diagnostic messages for unification errors Sam Vervaeck 2022-09-06 11:56:17 +0200
  • 70f9f99181 Clean up some code in checker.ts Sam Vervaeck 2022-09-05 19:38:55 +0200
  • 88e09052e6 Fix support for nesting of scopes in type-checker Sam Vervaeck 2022-09-05 19:33:08 +0200
  • 062ca46752 Make recursive function definitions work Sam Vervaeck 2022-09-05 17:25:55 +0200
  • 20af138fa5 Minor changes Sam Vervaeck 2022-09-01 20:18:47 +0200
  • 666256ed15 Add support for type-checking recursion and improove Checker.addConstraint Sam Vervaeck 2022-09-01 20:06:43 +0200
  • d2e6f9ed4f Fix type-checking return statements Sam Vervaeck 2022-08-31 13:54:47 +0200
  • 12559e93a2 Fix incorrect typing of ReturnStatement.expression Sam Vervaeck 2022-08-31 13:54:22 +0200
  • 6063b5f591 Enable parsing let declaration block bodies Sam Vervaeck 2022-08-31 13:53:57 +0200
  • 3381a2bd5d Fix a let body not closing properly during parsing Sam Vervaeck 2022-08-31 13:46:18 +0200
  • 2d880f0f0d Improve diagnostics for parsing errors Sam Vervaeck 2022-08-31 13:45:46 +0200
  • eac4279a5e Make scanner work with exceptions Sam Vervaeck 2022-08-31 13:37:26 +0200
  • 48f1b0f45c Add some type-checking logic and improve diagnostics Sam Vervaeck 2022-08-31 13:29:56 +0200
  • cda44e4c25 Extend scanner/parser to support more syntactic structures Sam Vervaeck 2022-08-29 16:17:55 +0200
  • d813e85d00 Enable parsing of simple let-expressions Sam Vervaeck 2022-08-28 21:12:25 +0200
  • cfb596f8e1 Add partial support for recursive functions Sam Vervaeck 2022-08-26 22:10:18 +0200
  • 43301a3a44 Add basic support for if-statements Sam Vervaeck 2022-08-25 23:04:09 +0200
  • b4d54f025c Improve type inference and some minor updates Sam Vervaeck 2022-08-25 19:04:25 +0200
  • 45b5f113a0 Allow line comments in Bolt sources Sam Vervaeck 2022-08-25 16:12:47 +0200
  • fcea25c9bb Improve diagnostic output Sam Vervaeck 2022-08-24 20:57:26 +0200
  • fb69ab745c Add more methods to bolt::Node and improve diagnostics Sam Vervaeck 2022-08-24 12:36:43 +0200
  • a4a2b4cca5 Add bolt::TextFile and add testing infrasturcture Sam Vervaeck 2022-08-22 15:33:46 +0200
  • 311f1d228b Improve diagnostics and type checking Sam Vervaeck 2022-08-21 20:56:58 +0200
  • cd1e20d460 Partially implement a type checker Sam Vervaeck 2022-08-21 16:25:52 +0200
  • fee5085497 Create a working scanner/parser for a subset of the language Sam Vervaeck 2022-08-19 19:52:57 +0200
  • e4ce3f2390
         Bump ini from 1.3.5 to 1.3.8 dependabot[bot] 2020-12-12 19:59:23 +0000
  • 544e291347 Update README.md Sam Vervaeck 2020-11-15 10:09:06 +0100
  • 2b2d40c4f5 Major restructuring and update to code base Sam Vervaeck 2020-11-15 09:57:25 +0100
  • a30450c100 Fix horrendously wrong example in README.md Sam Vervaeck 2020-11-01 18:30:55 +0100
  • e8756eb61b Update and fix some issues in src/diagnostics.ts Sam Vervaeck 2020-11-01 13:13:55 +0100
  • 5d02630461 Add support for parsing if-expressions Sam Vervaeck 2020-11-01 13:13:41 +0100
  • 5bd9dba3fe [WIP] Improve type checking algorithm Sam Vervaeck 2020-10-30 14:53:56 +0100
  • 92b94d7098 Add Ava test runner to dependencies Sam Vervaeck 2020-10-30 14:53:41 +0100
  • c055987006 tsc: Enable 'noEmit' in tsconfig.json Sam Vervaeck 2020-10-29 21:21:40 +0100
  • 702fc7291f Fix outdated package-lock.json Sam Vervaeck 2020-10-29 21:20:40 +0100
  • f123469660 Fix webpack build for VSCode Sam Vervaeck 2020-10-29 21:16:43 +0100
  • 3ac8d1802b Multiple fixes and a rewrite of the type checker Sam Vervaeck 2020-10-29 21:12:11 +0100
  • 0734d9d635
         Bump elliptic from 6.5.2 to 6.5.3 dependabot[bot] 2020-08-02 02:31:23 +0000
  • f71bec2750
         Bump lodash from 4.17.15 to 4.17.19 dependabot[bot] 2020-07-20 23:39:16 +0000
  • 4420c0325a Remove '/types/' directory that is no longer used Sam Vervaeck 2020-06-18 17:28:03 +0200
  • 9c5a8b9e59 Fix regression where parse errors are not correctly reported Sam Vervaeck 2020-06-16 22:24:01 +0200
  • 0019f37749 Fix AST formatter and serializer Sam Vervaeck 2020-06-16 21:05:41 +0200
  • 0b7aacbc1e Fix 'impl' elements being added to parent scope Sam Vervaeck 2020-06-16 20:52:33 +0200
  • 509d5a3c69 First steps in supporting 'trait' and 'impl' Sam Vervaeck 2020-06-16 20:45:53 +0200
  • 421831161a Update README.md Sam Vervaeck 2020-06-15 22:22:37 +0200
  • ab15590952
         Create FUNDING.yml Sam Vervaeck 2020-06-15 21:58:50 +0200
  • 0d8afdd286 Fix multiple issues in test infrastructure and clean it up Sam Vervaeck 2020-06-15 21:40:13 +0200
  • 9eb32d422e Clean up some imports in src/scanner.ts Sam Vervaeck 2020-06-15 21:33:04 +0200
  • 971ee9f834 git: Make user to manually add test results Sam Vervaeck 2020-06-13 19:32:53 +0200
  • 9c1109beee Add a first 'snapshot' of the current passing tests Sam Vervaeck 2020-06-13 19:31:10 +0200
  • 2cfe46389d Update scanner tests to work with new test infrastructure Sam Vervaeck 2020-06-13 19:30:14 +0200
  • dd55a6f7ac git: Ignore compiled TypeScript files Sam Vervaeck 2020-06-13 19:29:41 +0200
  • 0b543fbc53 tsc: Fix TypeScript not emitting files for tests Sam Vervaeck 2020-06-13 19:28:34 +0200
  • 4dcc561a73 webpack: Add a configuration for production bundle Sam Vervaeck 2020-06-13 19:27:39 +0200
  • 7aef97334b webpack: Do not bundle node_modules/ in dev mode Sam Vervaeck 2020-06-13 19:26:57 +0200
  • 28db241ac7 Remove pegjs from list of dependencies in package.json Sam Vervaeck 2020-06-13 19:26:23 +0200
  • 8c92f689cd Make test infrasture more usable by adding a diff reporter Sam Vervaeck 2020-06-12 16:38:35 +0200
  • 7368643180 Update dependencies in package.json Sam Vervaeck 2020-06-12 11:51:57 +0200
  • ea4919aa15 git: Allow nesting of repositories Sam Vervaeck 2020-06-09 10:38:23 +0200
  • f90418015d Remove garbage 'test.bolt' from repository Sam Vervaeck 2020-06-09 10:38:03 +0200
  • faaf6327ad Remove obsolete test 000-alpha-identifiers.bolt Sam Vervaeck 2020-06-09 10:37:13 +0200
  • c7a01621b6 bolt-test.ts: Make a few names more descriptive Sam Vervaeck 2020-06-09 10:35:50 +0200
  • 79d8f4b41b Remove personal .vscode/ from repository Sam Vervaeck 2020-06-07 22:26:06 +0200
  • 3f599cc13c Add 'generate-ast' script to package.json Sam Vervaeck 2020-06-07 22:24:34 +0200
  • a86324a3c9 Upgrade test infrastructure Sam Vervaeck 2020-06-07 08:36:15 +0200
  • 608728ade9 Add a minimally working test infrastructure Sam Vervaeck 2020-06-07 00:21:15 +0200
  • 3dcf91c520 Add a quick 'n dirty serializer for AST nodes Sam Vervaeck 2020-06-07 00:18:02 +0200
  • 50cbb6db99 Update dependencies in package.json Sam Vervaeck 2020-06-06 19:30:23 +0200
  • 01d5782966 tsc: Disable code emission in its entirity Sam Vervaeck 2020-06-06 19:29:56 +0200
  • 2a0e24213d Add a POC test runner for the parser and scanner Sam Vervaeck 2020-06-03 09:19:30 +0200
  • 99f2944e1c Update package-lock.json Sam Vervaeck 2020-06-03 09:14:51 +0200
  • 518fdbc5d8 Update Makefile Sam Vervaeck 2020-06-03 08:22:00 +0200
  • 8562de4bbf
         Fix typo in README.md Sam Vervaeck 2020-06-02 17:17:02 +0200
  • d305cc6341
         Update README.md Sam Vervaeck 2020-06-02 17:14:11 +0200
  • 1cdace4400
         Add logo to README.md Sam Vervaeck 2020-06-02 17:05:07 +0200
  • 9bf96d0f6f
         Add logo to README.md Sam Vervaeck 2020-06-02 17:03:36 +0200
  • 7012ed3413 Add logo to repository Sam Vervaeck 2020-06-02 17:00:38 +0200
  • 4ab189aab7
         Update README.md Sam Vervaeck 2020-06-02 16:58:43 +0200
  • 1659d722cc Fix errors and make project work again Sam Vervaeck 2020-06-01 21:49:28 +0200
  • 1659cfa7ec Fix parsing of BoltFunctionDeclaration in parser.ts Sam Vervaeck 2020-06-01 20:11:25 +0200
  • 68942f4488 Fix some small compile-time and runtime errors Sam Vervaeck 2020-06-01 20:10:54 +0200
  • 475f11782e Swap code generator for AST definitions Sam Vervaeck 2020-06-01 20:10:01 +0200
  • 5c7f2927ca Add an experimental TypeScript-based AST specification Sam Vervaeck 2020-05-31 20:49:59 +0200
  • d33f99c83d treegen: Add some enhancements to generated code Sam Vervaeck 2020-05-31 20:49:18 +0200
  • 518631f3b8 Update frontend and integration with CLI Sam Vervaeck 2020-05-31 20:48:13 +0200
  • a140ffac9d Update src/util.ts Sam Vervaeck 2020-05-31 20:47:21 +0200
  • 0df11bdcc8 Fix some errors in AST specification Sam Vervaeck 2020-05-31 10:36:35 +0200
  • 02e7cb5664 treegen: Fix snippets Sam Vervaeck 2020-05-30 16:06:59 +0200
  • 87717b7156 Temporarily add test.bolt Sam Vervaeck 2020-05-30 11:35:14 +0200
  • 5e7b344e49 src/types.ts: Only make 'fn', 'struct' and 'type' introduce new types as declarations Sam Vervaeck 2020-05-30 11:34:45 +0200
  • 0ae7fd565e js/parser.ts: Remove some unused imports Sam Vervaeck 2020-05-30 11:33:50 +0200
  • 5b619a1792 Fix reference to missing file Sam Vervaeck 2020-05-30 11:33:28 +0200
  • 045f8a181f Fix parsing of 'impl' and 'trait' Sam Vervaeck 2020-05-30 11:33:16 +0200
  • 930bc57bc3 Update ast-spec.txt and compile with new treegen Sam Vervaeck 2020-05-30 11:32:54 +0200
  • 1636a3c6f4 Add and configure Webpack as build tool Sam Vervaeck 2020-05-30 11:31:38 +0200
  • f01e82b532 Fix references to undefined DATETIME_FORMAT Sam Vervaeck 2020-05-30 11:30:14 +0200
  • 88f1402503 Update root Makefile to only cover main project Sam Vervaeck 2020-05-30 11:29:39 +0200