Commit Graph

Select branches

Hide Pull Requests

COMPILER_BUG

another-attempt-at-good-visitor

another-attempt-at-master

antiquated-master

autoparser

better_terminal

codegen

complex_visitor

failure_stuff

fix_fqsn_evaluation

fixing_constuctor_rep

fqsn_fix_2

import_all

item_id

last_commit_with_typechecking

master

multiline_input

new-command-tree-abstraction

old-master

parser_combinator_lib

pattern

peg-parser

returning_visitor

stage_type

tree-sitter-test

use_combine

use_nom

uuuu

viistor-symbol-table

visitor-pattern-reduction

visitor-work

visitor_again

working_on_visitor

Mono Color

• a80e1bd706 Type name infra greg 2019-02-10 07:05:01 -0800
• afd9aa52c5 More infra around unify greg 2019-02-10 06:53:11 -0800
• 5a70784346 Adding unify stub greg 2019-02-10 06:48:25 -0800
• 0dff177e8f Add more literals kill errors greg 2019-02-10 05:33:55 -0800
• cf91f74912 Pass through type info to repl greg 2019-02-10 05:31:58 -0800
• 06e9452718 More type infrastructure greg 2019-02-10 05:15:57 -0800
• 7d3ae36058 AST-walking infrastructure greg 2019-02-10 04:42:30 -0800
• e8f1f51639 Move (most of) the type definitions back to typechecking module greg 2019-02-10 04:30:37 -0800
• 93e96acc66 Some initial work on a better repl better_terminal greg 2019-02-10 01:00:40 -0800
• be90a859db Try adding some libraries greg 2019-02-09 05:45:13 -0800
• 170cf349d7 Starting typechecking work again greg 2019-02-09 00:25:12 -0800
• 16fdf37ba3 A solution for multiline entry multiline_input greg 2019-02-02 01:00:09 -0800
• 3256935946 Slight refactor of REPL code greg 2019-02-02 00:24:59 -0800
• f3f1dcc0a4 Add some notes greg 2019-01-27 22:38:20 -0800
• c0111e30bc SymbolTable: Add Record type greg 2019-01-25 00:57:01 -0800
• c225e469ee Change Record variant representation greg 2019-01-24 20:47:20 -0800
• 1ce06bc0ef More symbol-table refactoring greg 2019-01-20 22:13:05 -0800
• 10c3a60515 Some symbol-table refactoring greg 2019-01-20 00:22:35 -0800
• ff73ce7b36 Get rid of LLVM wrapper greg 2019-01-10 20:19:41 -0800
• ede8a9076a Simplify some struct definitions greg 2019-01-10 20:10:54 -0800
• a63dcf91b0 Replace // with quot greg 2019-01-10 00:31:37 -0800
• 479a098e0f Make note to fix parsing bug greg 2019-01-09 17:37:51 -0800
• 1085b528fe Don't care about case-sensitivity greg 2019-01-08 02:38:10 -0800
• 9b3b5c5541 Token offsets greg 2019-01-08 02:11:19 -0800
• ab8e24a276 ParseError always has token now greg 2019-01-08 01:04:46 -0800
• 09e2d8579d Remove all ParseErrors that don't return the failed token greg 2019-01-08 01:00:40 -0800
• ee7861cbd0 Fix how impl blocks work greg 2019-01-08 00:51:56 -0800
• b88def8a2e Make error msg better greg 2019-01-07 16:52:46 -0800
• 30676722a3 Transition to edition 2018 greg 2019-01-07 13:00:37 -0800
• 801c90aaa7 Reorder parameters in pass functions greg 2019-01-07 02:43:31 -0800
• 02667b018c Kill most LLVM references greg 2019-01-07 02:38:15 -0800
• 1032c7c7a2 Add note greg 2019-01-07 01:59:12 -0800
• fa295aab28 Show location of error in parse error greg 2019-01-07 01:52:31 -0800
• a0f4abb9a3 Add SourceReference greg 2019-01-06 01:58:16 -0800
• 78b454fb32 Delete this line greg 2019-01-05 20:41:49 -0800
• 5491169d55 Refactor parsing structure greg 2019-01-05 18:38:18 -0800
• 2b338fd3c9 Move .next() onto token_handler greg 2019-01-05 18:29:24 -0800
• 821f321261 More Node-wrapping of Expression greg 2019-01-05 18:11:51 -0800
• 846eeae04c More use of Token instead of TokenKind greg 2019-01-05 17:50:54 -0800
• 22f2750853 More use of Token in error messages greg 2019-01-05 17:40:05 -0800
• f2f8ac7ee8 Make parserrors have token greg 2019-01-05 17:32:49 -0800
• d0c5dce92b Use get_kind() greg 2019-01-05 17:28:35 -0800
• 8eda74c9a5 Starting to keep track of locations of errors in file greg 2019-01-05 17:18:10 -0800
• 2efac109ef Node for TupleLiteral greg 2019-01-05 16:06:55 -0800
• 215e2bbb0d PrefixOp have Node greg 2019-01-05 16:02:30 -0800
• 2590def3be More Node-wrapping greg 2019-01-05 15:54:03 -0800
• 879a7de83d Wrap Expression in Node greg 2019-01-05 15:47:44 -0800
• 4c2e0b8a21 Get rid of old code from old ideas greg 2019-01-05 15:35:51 -0800
• 282c42da3c Adding Node intermediate type to AST greg 2019-01-04 22:58:25 -0800
• 87e68988c8 Update some dependencies greg 2019-01-01 02:22:12 -0800
• 7ac97ca6e8 Kill ast_visitor greg 2018-11-26 01:57:44 -0800
• 26a8ff307f Add generic Node type greg 2018-11-20 03:21:10 -0800
• 6be208b51d Minor fix for parsing error messages greg 2018-11-20 03:03:08 -0800
• 98de15c07d Move stuff around working_on_visitor greg 2018-11-19 21:38:39 -0800
• 0246e510ca More rejiggering - tests still fail greg 2018-11-19 00:21:50 -0800
• 71dacc94d6 Rejiggering how visitor works greg 2018-11-18 20:27:42 -0800
• 4ded241c82 Pretty printer sorta working greg 2018-11-17 22:34:42 -0800
• 1a934d7804 Starting to implement a pretty-printer to test visitor greg 2018-11-17 21:21:06 -0800
• 627a740b0d start tests greg 2018-11-17 19:24:11 -0800
• 401d5aabd6 Get rid of warnings greg 2018-11-17 19:17:19 -0800
• f79125e9df more modules greg 2018-11-17 18:38:53 -0800
• 4ad5739615 Starting to add some more structure greg 2018-11-17 18:15:20 -0800
• 654e326c40 Some work greg 2018-11-17 17:41:11 -0800
• e00948cad9 Add ast_visitor mod greg 2018-11-17 02:09:10 -0800
• 0af6fed505 Clear up some code a bit greg 2018-11-17 01:10:23 -0800
• 1f527f7949 Rename TokenType -> TokenKind greg 2018-11-16 23:17:34 -0800
• 8680c4faf6 Just some notes for myself about how to redesign the AST type greg 2018-11-16 15:53:27 -0800
• b198984fc5 implement From for Expression-types greg 2018-11-16 14:06:04 -0800
• 58779f8470 Rename method, make sourcemap optional greg 2018-11-16 12:53:33 -0800
• a0fa50392c Fix compile error greg 2018-11-16 12:46:29 -0800
• d357876b16 WIP source map stuff greg 2018-11-16 04:12:07 -0800
• e42f0c644c Introduce source map greg 2018-11-16 03:56:55 -0800
• 2ec7bf3b9a Some initial work on passing token metadata to AST greg 2018-11-16 03:51:03 -0800
• 5147e1a3eb Handle underscores in identifiers greg 2018-11-15 16:19:53 -0800
• 955c073174 Got typechecker unused errors down to one greg 2018-11-13 02:39:02 -0800
• 7c46a29141 Start adding doc comments greg 2018-11-11 18:04:44 -0800
• 0adc761e72 Kill an unimplemented!() greg 2018-11-11 02:48:51 -0800
• b2039a7b67 Parameterize Type type over existential/universal greg 2018-11-10 16:33:42 -0800
• b4c4531e4d Rename for more concision greg 2018-11-10 14:11:29 -0800
• 2d36ad44d6 Converting over types greg 2018-11-09 02:50:29 -0800
• 21132a369c Paramaterize Type greg 2018-11-09 02:05:59 -0800
• ff0294c56e Typechecking shouldn't fail yet greg 2018-11-09 02:02:08 -0800
• bc80c8f9ad Updated readme some greg 2018-11-09 01:51:25 -0800
• e39356c0e5 Even more type work greg 2018-11-09 00:21:34 -0800
• d44bb02d61 Even more types greg 2018-11-08 20:30:17 -0800
• 9056e9b0e1 More type work2 greg 2018-11-08 02:26:02 -0800
• e9b90412ce More type work greg 2018-11-08 02:12:01 -0800
• 65c47c20fc Change name of monad in which type inference happens greg 2018-11-07 17:01:07 -0800
• fab3fb8ec2 More basic types + test greg 2018-11-07 16:39:32 -0800
• 0d5ccd21fe TConst greg 2018-11-07 15:39:40 -0800
• 69b7b9f528 Print out types to REPL greg 2018-11-07 13:44:28 -0800
• 9a09f40222 More typing work greg 2018-11-07 03:39:31 -0800
• 020819550b More typechecking infrastructure greg 2018-11-06 16:47:34 -0800
• 15f9dbe7a6 Typechecking infrastructure greg 2018-11-06 13:44:52 -0800
• 836bed1207 Added janky map to prelude greg 2018-11-06 03:02:32 -0800
• cee5b085d5 Simpler syntax for single param in lambdas greg 2018-11-06 02:58:57 -0800
• 837a55c718 Test for nested function call greg 2018-11-06 02:42:28 -0800
• f4f89b39b6 Handle nested function calls greg 2018-11-06 02:40:10 -0800
• c6b4ed7ee4 Basic lambdas greg 2018-11-06 01:19:16 -0800
• be425860af Starting on lambdas greg 2018-11-05 21:13:31 -0800