Commit Graph

Select branches

Hide Pull Requests

COMPILER_BUG

another-attempt-at-good-visitor

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

• 66c7bbeb07 Floats, pathspec changes greg 2017-10-09 04:02:50 -0700
• ed8359bcd7 Store constant state, func/binding as value greg 2017-10-09 02:38:33 -0700
• 996f75e15c A lot more type work greg 2017-10-09 02:26:59 -0700
• 30a54d997c Simplify symbol table code greg 2017-10-09 00:59:52 -0700
• 4bcbf1854a Use universal/existential type data structures greg 2017-10-09 00:36:54 -0700
• f2c6556c2a Use name TypeVariable greg 2017-10-09 00:22:42 -0700
• 9161e2751f (Janky) type inference for explicitly-type-annotated values greg 2017-10-08 23:45:38 -0700
• 60fc9fd7e1 Super-basic type inference working greg 2017-10-08 23:33:53 -0700
• 3b249045aa Call needs to accept a general argument greg 2017-10-08 23:02:03 -0700
• ff0e14d9a9 Rename params -> args in Call Expr greg 2017-10-08 22:52:05 -0700
• 8fe535597e Starting to actually do Hindley-Milner!! greg 2017-10-08 22:48:10 -0700
• 4bb8f82579 Make AST output red greg 2017-10-08 22:17:29 -0700
• 5cb8423ecc Beginning for expressions greg 2017-10-08 22:02:58 -0700
• 4032707dc9 Kill some comments greg 2017-10-08 21:26:47 -0700
• 1a8423535a Add test for function decl greg 2017-10-08 21:25:51 -0700
• 338981febe Changed function signatures around slightly greg 2017-10-08 21:21:02 -0700
• 6dff8b029e Function definitions expanded greg 2017-10-08 20:55:05 -0700
• df877830d3 Fixed tests greg 2017-10-08 19:39:41 -0700
• 40696b3cbd Rename TypeAnno to TypeName everywhere greg 2017-10-08 19:30:52 -0700
• 40a82d7e25 Tests for new type stuff greg 2017-10-08 19:15:08 -0700
• c605f76059 More type work II greg 2017-10-08 19:02:52 -0700
• a6d71821b9 More type work I greg 2017-10-08 18:47:57 -0700
• c4f0331d1a Symbol table addition should be separate stage greg 2017-10-08 16:24:44 -0700
• b4054d7581 Impl blocks greg 2017-10-08 14:24:02 -0700
• 74d3828c71 Symbol table debug needs to happen before type check greg 2017-10-08 13:59:44 -0700
• bb57da564d Infrastructure to debug symbol table greg 2017-10-08 13:57:43 -0700
• 3f9ae5fac3 Symbol table accepts variables greg 2017-10-08 13:51:56 -0700
• 62edc7c996 type checking / symbol table stuff greg 2017-10-08 12:22:04 -0700
• e412fb9a89 Convert type-checking function type greg 2017-10-07 22:08:48 -0700
• 3a97401f61 Add symbol table insertion method skeleton greg 2017-10-07 21:57:51 -0700
• 87cfe854ac Tuple literals greg 2017-10-06 20:28:07 -0700
• 184a2ae03a Change syntax for type alias greg 2017-10-04 22:02:31 -0700
• 50ceb92d6b Move type-checking into a module greg 2017-10-04 02:07:30 -0700
• dd7736e32d Add some resources greg 2017-10-03 21:28:17 -0700
• 3025af3ded Starting on impls greg 2017-10-03 03:49:07 -0700
• 24608362a5 Added a non-interactive schala source file greg 2017-10-02 23:42:34 -0700
• c83df6fd84 refactor main code greg 2017-10-02 23:33:07 -0700
• 65f64ebcc2 Add source file suffix to trait greg 2017-10-02 23:07:05 -0700
• 00ee802fbd Clear up clutter in code from using std::process:: greg 2017-10-02 23:00:11 -0700
• c88d59401c Making main.rs more concise greg 2017-10-02 22:58:03 -0700
• 1aa4e3b942 Get rid of virtual machine code greg 2017-10-02 20:34:51 -0700
• abbbb34901 Some very basic evaluation stuff greg 2017-10-02 20:11:27 -0700
• 3ff4a34aeb kill some non-used variable warnings greg 2017-10-02 01:52:46 -0700
• 7430aebe63 Webapp actually does something greg 2017-10-02 00:15:39 -0700
• 9071846df3 Flex on web input greg 2017-10-02 00:04:33 -0700
• 29d307ff53 Made web app a bit more useful greg 2017-10-01 23:25:36 -0700
• 89482e5b5a Use a Result greg 2017-10-01 19:31:43 -0700
• 6435d5e958 Make eval output nicer greg 2017-10-01 19:29:05 -0700
• f6536e7ebd Evaluation stuff greg 2017-10-01 19:09:55 -0700
• c5feea4597 Add basics of compiler design to readme greg 2017-10-01 18:37:10 -0700
• c5cb223168 Super-minimal type-checking with just ints greg 2017-10-01 17:50:26 -0700
• d16a0c9380 Evaluation of literals greg 2017-10-01 12:55:28 -0700
• daf9878020 Kill some unused code greg 2017-10-01 00:50:13 -0700
• f825c87397 Type checking beginnings greg 2017-10-01 00:48:08 -0700
• 8d2a65b44e Starting eval framework greg 2017-09-30 23:30:02 -0700
• 6b9fee1aed Made handling parse errors nicer greg 2017-09-30 14:41:37 -0700
• d05f173dd3 Using delmited! macro for more things greg 2017-09-30 14:11:38 -0700
• e88a0f59b5 Made macro less complicatd greg 2017-09-30 13:46:50 -0700
• 90cf7db609 Use the delimiter macro in a few places greg 2017-09-30 13:04:56 -0700
• 1ae9dbcba7 Tests for tuple type annotations greg 2017-09-30 01:14:49 -0700
• 9214f36c04 Tests for type annotations greg 2017-09-29 19:10:37 -0700
• 98169bd352 update test for new type anno format greg 2017-09-29 14:53:09 -0700
• d60cf99ab5 Parsing sorta works greg 2017-09-29 14:10:49 -0700
• bb93d29beb Some type anno parsing work greg 2017-09-28 23:55:10 -0700
• c20f93e18c A test for type annotation greg 2017-09-28 00:45:36 -0700
• f48adbd9bf Made the tests work again greg 2017-09-28 00:06:08 -0700
• 9ad506fc78 Handling type annotations in the AST greg 2017-09-27 22:27:50 -0700
• 4c81c36d67 Parse type annotations greg 2017-09-26 22:10:13 -0700
• 230f2dd7ff More match expr work greg 2017-09-21 16:00:14 -0700
• 1615269a7b Browser stuff greg 2017-09-21 09:25:39 -0700
• 1a8ba8d8a2 Requests! greg 2017-09-21 00:01:54 -0700
• d4aec19c71 web: CodeArea greg 2017-09-20 23:46:46 -0700
• 10b1864680 Version-control yarn.lock greg 2017-09-20 23:23:17 -0700
• 4831a24853 yarn build script + rocket passthrough route greg 2017-09-20 23:21:45 -0700
• 67ff21d408 Basic yarn + browserify + babeljs infrastructure greg 2017-09-20 23:15:29 -0700
• 8b83d982c0 More work on match expression greg 2017-09-20 21:05:08 -0700
• 6bff7aac0d Match expressions greg 2017-09-20 20:30:30 -0700
• 18fa160fed Move source files into directory greg 2017-09-19 22:36:48 -0700
• 7ac5846282 A tiny bit more work on the webapp greg 2017-09-19 20:29:08 -0700
• 88209d370d Add .schala_repl to gitignore greg 2017-09-19 18:12:09 -0700
• 0f9d2d76c4 Serve an actual file greg 2017-09-19 03:32:15 -0700
• 006fd7d411 Trying webapp greg 2017-09-19 01:54:54 -0700
• e3b236a15d If expressions greg 2017-09-18 23:22:28 -0700
• 68bbd62ab6 Make token debug nicer greg 2017-09-18 19:09:27 -0700
• e47a2c7241 Save REPL config to file greg 2017-09-17 18:57:47 -0700
• a8b77848b4 kill old EBNF in comments greg 2017-09-17 18:03:57 -0700
• 839731f2d1 Make op! macro part of binexp!/prefexp! macros greg 2017-09-17 17:57:21 -0700
• f51e1a3c47 make Operation a tuple-style struct greg 2017-09-17 17:53:21 -0700
• fc350cd03e Prefix operators greg 2017-09-17 17:44:06 -0700
• 8fe7c85b00 return keyword + idea for how to use it in for greg 2017-09-17 06:22:19 -0700
• b920fae93b variable bindings greg 2017-09-17 06:04:24 -0700
• 1981b74d89 Nicen up precedence-testing greg 2017-09-17 05:12:20 -0700
• 077ab8ddb8 Add trace to binexp parser greg 2017-09-17 05:06:58 -0700
• 9775bfc342 bool literals greg 2017-09-17 04:31:27 -0700
• 505d23a327 Parse . operator greg 2017-09-17 04:26:44 -0700
• 81c4566c2b Improved operator parsing greg 2017-09-17 02:38:11 -0700
• 8be757beca Some changes to EBNF grammar greg 2017-09-17 00:04:27 -0700
• 20c74953b5 Get rid of unimplemented! and panic! greg 2017-09-16 17:44:06 -0700
• d5c3227966 Parse string literals greg 2017-09-16 15:57:48 -0700
• fbeb101e7f make parse trace have newlines greg 2017-09-16 15:05:11 -0700