greg
/
schala
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Commit Graph

  • 4ebf7fe879 Remove more unused variables greg 2019-05-14 11:15:12 -0700
  • efbeff916a Allow this unused macro greg 2019-05-14 10:51:32 -0700
  • e9ea7811df Kill unused greg 2019-05-14 02:12:18 -0700
  • 198f93c533 Make non-interactive code work again greg 2019-05-14 01:57:31 -0700
  • 694c152fcd Kill webapp for now greg 2019-05-14 01:51:41 -0700
  • f8f3095f89 Remove dead code greg 2019-05-14 00:45:45 -0700
  • c68c23ed68 Restore option-saving greg 2019-05-14 00:40:38 -0700
  • 4f972f20a7 Remove some unused code greg 2019-05-13 15:31:15 -0700
  • 9d2e5918af Add some more hindley-milner-relatd blogs to README greg 2019-05-08 16:24:13 -0700
  • 14fc2a5d10 Update TODO greg 2019-04-29 23:57:59 -0700
  • 2b8e2749a4 Get rid of unneeded mut's greg 2019-04-29 23:57:38 -0700
  • 6c369b072f Debug immediate working for symbol table greg 2019-03-31 01:13:40 -0700
  • 938c0401d1 Some various work greg 2019-03-27 02:20:43 -0700
  • a829fb6cd8 Initial debug-handler function greg 2019-03-26 19:55:47 -0700
  • 004b056232 Rearchitect CommandTree greg 2019-03-26 19:43:11 -0700
  • 8e9b410e02 Clean up TODO list greg 2019-03-20 01:15:35 -0700
  • b82eebdeec Fix up readme greg 2019-03-20 01:09:38 -0700
  • 153e7977d3 Make function more concise greg 2019-03-20 00:24:46 -0700
  • 5b5368ce6f Delete a bunch of comments greg 2019-03-20 00:18:02 -0700
  • 7a67890227 List-passes greg 2019-03-20 00:04:02 -0700
  • 04253543e9 Move where help is computed greg 2019-03-19 21:12:10 -0700
  • 3a98096b61 Add back debug passes command completion support greg 2019-03-19 19:37:29 -0700
  • 9476e7039b Doc requests in type system greg 2019-03-19 19:26:05 -0700
  • c767402865 Remove some no-longer-necessary indirection greg 2019-03-19 19:16:41 -0700
  • 61972410ea Functionality to request/respond to meta items greg 2019-03-19 19:12:32 -0700
  • d3f9430a18 Avoid unnecessary String greg 2019-03-19 19:01:04 -0700
  • 81323cafd4 Change wording of default repl_request handler greg 2019-03-19 18:46:24 -0700
  • 14c08bbcdb Get rid of EvalOptions greg 2019-03-19 18:40:21 -0700
  • 4319c802f5 Add nonterminal with function greg 2019-03-19 04:28:54 -0700
  • 9e58e3d7de Remove some warnings greg 2019-03-16 18:45:40 -0700
  • ac0050e5d1 Truncate command list passed to command function greg 2019-03-16 18:33:31 -0700
  • d06cf90fce Help message greg 2019-03-16 11:34:52 -0700
  • 712da62d35 Make new CommandTree paradigm work greg 2019-03-16 11:10:39 -0700
  • 57f3d39ea1 Start adding commandtree abstraction greg 2019-03-14 21:25:37 -0700
  • 6d88447458 Add func to command greg 2019-03-14 04:08:32 -0700
  • 0451676ba7 start adding functions to command data structure greg 2019-03-14 03:47:56 -0700
  • 2929362046 Change NewRepl -> Repl greg 2019-03-14 03:42:39 -0700
  • 375db28ebb Remove support for non-Schala languages greg 2019-03-14 01:04:46 -0700
  • 1622a6ce44 Grand culling greg 2019-03-14 00:51:33 -0700
  • 7e899246e9 More refactoring in main Schala driver greg 2019-03-14 00:15:13 -0700
  • 8610bd7a87 Port Schala to new framework greg 2019-03-13 22:43:44 -0700
  • 70f715fbb2 Fix bugs greg 2019-03-13 20:07:41 -0700
  • 7360e698dd More work greg 2019-03-13 10:10:42 -0700
  • 5b35c2a036 Add new types for ProgrammingLanguageInterface greg 2019-03-13 00:13:39 -0700
  • 8d8d7d8bf8 More misc changes including edition 2018 greg 2019-03-12 02:39:25 -0700
  • 981d4f88bf Changes greg 2019-03-12 00:01:30 -0700
  • 42aa316a23 Fix custom attribute thing greg 2019-03-12 01:05:10 -0700
  • 58b37e56ae Correct typo in TODO greg 2019-03-11 20:05:45 -0700
  • 2bf777f37b Add this note to self greg 2019-03-11 19:36:10 -0700
  • bdcae36b60 More cleaning up of how scopes are stored greg 2019-03-11 02:47:47 -0700
  • dbcd2278a6 Renamings greg 2019-03-11 02:35:42 -0700
  • 2490aaf3f4 Add types necessary for refactor of Symbol table greg 2019-03-11 01:36:11 -0700
  • d4ad97b39a start preparing to get rid of symbol_table.lookup_by_name greg 2019-03-10 17:32:47 -0700
  • 24213070a3 Delete useless comment greg 2019-03-10 17:29:02 -0700
  • 051669b4cc Stuff pertaining to variant scoping greg 2019-03-10 17:24:58 -0700
  • c64f53a050 Detect duplicate variable declarations correctly greg 2019-03-10 17:02:01 -0700
  • 8f176543c7 Nested scopes in symbol table greg 2019-03-10 16:04:20 -0700
  • 9716b5e55b Symbol table detects some duplicate symbols greg 2019-03-08 03:57:32 -0800
  • 956353cd80 Move rc! macro to util greg 2019-03-08 01:15:19 -0800
  • 98db60498a Add very basic symbol table test shim greg 2019-03-07 23:51:31 -0800
  • 7694afc9e2 Add type for talking about symbol paths greg 2019-03-07 20:45:12 -0800
  • 0bcd7e6f41 Add new_env method greg 2019-02-27 02:15:19 -0800
  • d515b1658a Some fixes greg 2019-02-24 16:24:45 -0800
  • e501f4bd10 Various cleanup of comments, stringifying types greg 2019-02-23 09:58:44 -0800
  • 5bac01cf20 More boilerplate for apply greg 2019-02-23 03:55:46 -0800
  • 0e9b3229e9 Refactor Arrow; add general handle_apply greg 2019-02-23 03:33:56 -0800
  • b709cfd51a Start adding call greg 2019-02-23 02:50:11 -0800
  • e34295a6f7 Starting on lambda typechecking greg 2019-02-23 02:45:11 -0800
  • 8dc34e4b49 Fresh type var greg 2019-02-23 01:27:32 -0800
  • 2cc3367666 Unify var-var greg 2019-02-23 01:20:19 -0800
  • 452f2ab188 Unify var-const greg 2019-02-23 01:18:15 -0800
  • be175a2b75 Add more infrastructure for unify greg 2019-02-23 00:59:58 -0800
  • 00a0de4431 Add ena crate for unification greg 2019-02-23 00:34:44 -0800
  • f041cc17d2 Wrap all Expression nodes in Meta<Expression> greg 2019-02-21 19:07:07 -0800
  • 95fe1941a1 Kill some unused items greg 2019-02-21 18:39:41 -0800
  • b35262c444 Rename Node -> Meta greg 2019-02-21 01:49:15 -0800
  • 9bb3a2be88 Add type data handle on Node greg 2019-02-21 01:46:27 -0800
  • 9fa0576547 Rename ExpressionType -> ExpressionKind greg 2019-02-21 01:26:51 -0800
  • 6fba0cc5b4 Add variables greg 2019-02-21 01:17:34 -0800
  • a6eb2b4020 Allow type annotations in let expressions greg 2019-02-20 22:44:45 -0800
  • 03793e08d3 Typechecking operators greg 2019-02-20 03:27:46 -0800
  • 2be55958f4 add Into<String> arg for error constructors greg 2019-02-20 02:05:24 -0800
  • bcf48d0ecb First tests for typechecking greg 2019-02-20 01:33:45 -0800
  • f0ed63ccf3 Basic if-statement checking greg 2019-02-19 23:00:41 -0800
  • 6012bd1087 Variables greg 2019-02-19 21:41:07 -0800
  • 866c9211f9 Add resources to README greg 2019-02-18 23:49:34 -0800
  • df7e74c79d Types with arguments greg 2019-02-17 04:30:49 -0800
  • abbd02eaef Use ty! macro greg 2019-02-17 04:25:38 -0800
  • 993741e67f Get rid of typecheck_ greg 2019-02-17 04:08:49 -0800
  • fbb7b995b8 Rename mk_type! to ty! greg 2019-02-17 03:38:15 -0800
  • 9d4f086a04 Put mk_type! in typechecking module greg 2019-02-17 03:36:12 -0800
  • e38ae1c3f1 Fix type to make it compile greg 2019-02-15 21:11:50 -0800
  • d969d573fa Starting work on values greg 2019-02-12 21:14:13 -0800
  • 35da1748f0 Some more type work greg 2019-02-10 12:21:12 -0800
  • 5e1799268d Unification works with bad annotations greg 2019-02-10 07:32:12 -0800
  • 42a801d346 Rename Order -> Ordering greg 2019-02-10 07:06:30 -0800
  • 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