greg
/
schala
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
1,529 Commits 32 Branches 0 Tags 4.4 MiB
Commit Graph

1529 Commits

Author SHA1 Message Date
greg 7360e698dd More work 2019-03-13 10:10:42 -07:00
greg 5b35c2a036 Add new types for ProgrammingLanguageInterface 2019-03-13 00:13:39 -07:00
greg 8d8d7d8bf8 More misc changes including edition 2018 2019-03-12 02:39:25 -07:00
greg 981d4f88bf Changes 2019-03-12 01:14:41 -07:00
greg 42aa316a23 Fix custom attribute thing 
Upon updating rust version, the unrestricted_attribute_token thing
broke, but I'm changing this anyway so whatever
 2019-03-12 01:05:10 -07:00
greg 58b37e56ae Correct typo in TODO 2019-03-11 20:05:45 -07:00
greg 2bf777f37b Add this note to self 2019-03-11 19:36:10 -07:00
greg bdcae36b60 More cleaning up of how scopes are stored 
on Symbol
 2019-03-11 02:47:47 -07:00
greg dbcd2278a6 Renamings 2019-03-11 02:35:42 -07:00
greg 2490aaf3f4 Add types necessary for refactor of Symbol table 2019-03-11 01:36:11 -07:00
greg d4ad97b39a start preparing to get rid of symbol_table.lookup_by_name 2019-03-10 17:32:47 -07:00
greg 24213070a3 Delete useless comment 2019-03-10 17:29:02 -07:00
greg 051669b4cc Stuff pertaining to variant scoping 2019-03-10 17:24:58 -07:00
greg c64f53a050 Detect duplicate variable declarations correctly 
Later I'll probably want to make it so that you can explicitly override
the value of a declared variable
 2019-03-10 17:02:01 -07:00
greg 8f176543c7 Nested scopes in symbol table 2019-03-10 16:04:20 -07:00
greg 9716b5e55b Symbol table detects some duplicate symbols 2019-03-08 03:57:32 -08:00
greg 956353cd80 Move rc! macro to util 
So it can be used anywhere
 2019-03-08 01:15:19 -08:00
greg 98db60498a Add very basic symbol table test shim 2019-03-07 23:51:31 -08:00
greg 7694afc9e2 Add type for talking about symbol paths 
to symbol table
 2019-03-07 20:45:12 -08:00
greg 0bcd7e6f41 Add new_env method 
This is basically the same as the one on the evaluator and makes use of
the ScopeStack - maybe need to generalize this more?
 2019-02-27 02:15:19 -08:00
greg d515b1658a Some fixes 2019-02-24 16:24:45 -08:00
greg e501f4bd10 Various cleanup of comments, stringifying types 2019-02-23 09:59:41 -08:00
greg 5bac01cf20 More boilerplate for apply 2019-02-23 03:55:46 -08:00
greg 0e9b3229e9 Refactor Arrow; add general handle_apply 2019-02-23 03:33:56 -08:00
greg b709cfd51a Start adding call 2019-02-23 02:50:11 -08:00
greg e34295a6f7 Starting on lambda typechecking 2019-02-23 02:45:11 -08:00
greg 8dc34e4b49 Fresh type var 2019-02-23 01:27:32 -08:00
greg 2cc3367666 Unify var-var 2019-02-23 01:20:19 -08:00
greg 452f2ab188 Unify var-const 2019-02-23 01:18:15 -08:00
greg be175a2b75 Add more infrastructure for unify 2019-02-23 00:59:58 -08:00
greg 00a0de4431 Add ena crate for unification 2019-02-23 00:34:44 -08:00
greg f041cc17d2 Wrap all Expression nodes in Meta<Expression> 2019-02-21 23:35:18 -08:00
greg 95fe1941a1 Kill some unused items 2019-02-21 18:39:41 -08:00
greg b35262c444 Rename Node -> Meta 2019-02-21 01:49:15 -08:00
greg 9bb3a2be88 Add type data handle on Node 
I think the way I want to handle this is a two-step process: first infer and
fill in variables, then unfiy in a separate step. Storing the data in
the AST is handy.
 2019-02-21 01:46:27 -08:00
greg 9fa0576547 Rename ExpressionType -> ExpressionKind 2019-02-21 01:26:51 -08:00
greg 6fba0cc5b4 Add variables 2019-02-21 01:17:34 -08:00
greg a6eb2b4020 Allow type annotations in let expressions 2019-02-20 22:44:45 -08:00
greg 03793e08d3 Typechecking operators 2019-02-20 03:27:46 -08:00
greg 2be55958f4 add Into<String> arg for error constructors 2019-02-20 02:06:58 -08:00
greg bcf48d0ecb First tests for typechecking 2019-02-20 01:33:45 -08:00
greg f0ed63ccf3 Basic if-statement checking 2019-02-19 23:00:41 -08:00
greg 6012bd1087 Variables 2019-02-19 21:41:07 -08:00
greg 866c9211f9 Add resources to README 2019-02-18 23:49:34 -08:00
greg df7e74c79d Types with arguments 2019-02-17 04:31:02 -08:00
greg abbd02eaef Use ty! macro 2019-02-17 04:25:38 -08:00
greg 993741e67f Get rid of typecheck_ 2019-02-17 04:08:49 -08:00
greg fbb7b995b8 Rename mk_type! to ty! 
Doesn't seem to conflict with the same macro in the parser tests, so should be
ok
 2019-02-17 03:38:15 -08:00
greg 9d4f086a04 Put mk_type! in typechecking module 2019-02-17 03:36:12 -08:00
greg e38ae1c3f1 Fix type to make it compile 2019-02-15 21:11:50 -08:00