Commit Graph

  • ca67f9b4fe Proper index exprs greg 2018-03-06 02:51:45 -0800
  • 60cce3fe9c Some macro simplifications greg 2018-03-06 01:31:31 -0800
  • 4eb22f94d0 Trying to make tests less verbose greg 2018-03-06 01:06:36 -0800
  • 355c8170a4 Added test for lambda call greg 2018-03-06 00:56:19 -0800
  • e3671a579d Changed BNF grammar of call statements greg 2018-03-06 00:38:33 -0800
  • 08ca48b2ba lambdas greg 2018-03-04 02:11:22 -0800
  • fea9b9575b Print output of tuples greg 2018-03-03 13:26:22 -0800
  • 276dad56d7 Handle tuple literals in type system greg 2018-03-03 11:55:20 -0800
  • 695e733584 Sum types in type schema greg 2018-03-03 11:52:07 -0800
  • 9bfd751db6 Kill unused import greg 2018-03-03 11:32:38 -0800
  • b058e47d79 Kill some compiler warnings greg 2018-03-03 00:28:52 -0800
  • 5be53dc847 Evaluator now only prints when a builtin print is called greg 2018-03-03 00:25:08 -0800
  • a0bea0d55a Kill comments greg 2018-03-02 23:27:17 -0800
  • 9747374e8a Fix bug in delimited macro greg 2018-03-02 22:40:12 -0800
  • 9ab1ca28f8 Improve tokenizer debug output greg 2018-03-02 22:11:25 -0800
  • 66cd51a355 Cleanup greg 2018-03-02 21:59:14 -0800
  • 1056be12e7 Include line count in token debug greg 2018-03-02 15:21:48 -0800
  • 48e7c0be03 Munged types to make tokenizer compile greg 2018-03-02 15:15:12 -0800
  • 6e82d1207e SOme work greg 2018-03-02 02:57:04 -0800
  • f0e7c9906e Fixed bug w/ lines in functions greg 2018-03-02 00:42:52 -0800
  • 57c7858c87 Frame-aware lookups greg 2018-03-01 23:13:32 -0800
  • a105c84943 Kill debug greg 2018-03-01 22:54:03 -0800
  • 2b8d63d9cc Better debugging for types greg 2018-03-01 22:32:38 -0800
  • c807c20292 Use UVars in type signatures of functions greg 2018-03-01 03:35:09 -0800
  • a643c8a792 Add history saving greg 2018-03-01 02:49:14 -0800
  • 69200048fa Switch to rustyline library greg 2018-03-01 02:43:11 -0800
  • 55e372a670 Introduced fresh type variable method greg 2018-02-28 05:45:20 -0800
  • c50626241e Continuing work greg 2018-02-27 03:01:05 -0800
  • 232bec97a7 Re-added symbol table infra greg 2018-02-26 21:43:53 -0800
  • ce1d967f08 Some logic for function call inferring greg 2018-02-26 21:28:11 -0800
  • daa0062108 Starting on function application typechecking greg 2018-02-26 21:00:36 -0800
  • 3e7c7a50b4 Move some code around greg 2018-02-26 19:57:46 -0800
  • 2574a1b9c0 Function calls work greg 2018-02-26 19:55:27 -0800
  • c285ee182e Temporarily disable type-erroring greg 2018-02-26 19:16:49 -0800
  • f7659a5598 Handle variable lookups greg 2018-02-26 18:23:10 -0800
  • 1064d9993a Evaluate binding declarations greg 2018-02-26 18:18:42 -0800
  • 0e3320e183 Separate Value and NamedStruct syntactic categories greg 2018-02-26 18:12:37 -0800
  • 89a2be19f4 Fixed | greg 2018-02-26 02:27:36 -0800
  • d9e96398a4 More operator stuff greg 2018-02-26 02:21:21 -0800
  • a564ffa1ce Operator changes greg 2018-02-26 02:11:56 -0800
  • b3fff100d2 Fixed tests w/ respect to binop greg 2018-02-24 17:50:57 -0800
  • cfd6df7ba5 Centralize data for prefix ops too greg 2018-02-24 17:43:26 -0800
  • bb2e1ae27a Added type information to binop definitions greg 2018-02-24 17:37:23 -0800
  • 4333563d03 Make sigil field private greg 2018-02-24 14:39:45 -0800
  • e7cabb2a79 Function evaluation work greg 2018-02-24 14:31:04 -0800
  • 5da7c809b2 Give State a pointer to its parent greg 2018-02-24 13:56:04 -0800
  • d229a57837 Finished initial BinOp/PrefixOp greg 2018-02-23 19:06:37 -0800
  • 0dd8861f83 Starting to munge BinOp types greg 2018-02-23 04:10:00 -0800
  • 4ab900d601 ReplState -> State greg 2018-02-23 03:07:36 -0800
  • 501b975fb6 Move bx! macro up to mod.rs greg 2018-02-23 03:04:19 -0800
  • 83315e97ac Move anno-to-type to a method on TypeName greg 2018-02-23 02:30:34 -0800
  • 6259a0808c Fix tests too greg 2018-02-23 01:59:53 -0800
  • 0c69476fd0 Separate tokenizing module greg 2018-02-23 01:58:06 -0800
  • 1caccc6ae2 Some work on binops greg 2018-02-23 01:49:37 -0800
  • 23af2b1455 Some more type-checking work greg 2018-02-22 19:59:53 -0800
  • 61795b0331 More work on evaluating applications greg 2018-02-22 03:34:36 -0800
  • a1b874c891 Fix traits, silence warnings greg 2018-02-22 03:26:32 -0800
  • e7103b925b type of a declaration should be Void, not Unit greg 2018-02-22 03:25:05 -0800
  • c35401da65 Types in bindings greg 2018-02-22 03:21:58 -0800
  • d51a9a73d7 Simplified match greg 2018-02-22 00:31:13 -0800
  • fddd43b86e Added trait declaration greg 2018-02-21 22:06:56 -0800
  • 12f55fa844 More static type work greg 2018-02-21 18:12:46 -0800
  • bb0fb716e4 Finished basic constant type inference greg 2018-02-21 14:14:24 -0800
  • 687d482853 More type implementing - WIP greg 2018-02-21 04:32:17 -0800
  • 628eb28deb Fix some integer overflows with binary and hex greg 2018-02-21 03:52:16 -0800
  • 4c8b4c8c71 Starting basic type stuff greg 2018-02-21 03:39:40 -0800
  • c674148772 Starting over with types greg 2018-02-21 02:31:28 -0800
  • 7b4f69dce5 Additional TODO greg 2018-02-21 02:09:40 -0800
  • 98caf1cac3 Add todo note greg 2018-02-20 17:56:13 -0800
  • 457799e0f7 More type things greg 2018-02-12 01:45:36 -0800
  • 681d767855 Type singletons test work greg 2018-02-12 00:51:53 -0800
  • ef4620e90a TypeSingletonName broken out greg 2018-02-12 00:25:48 -0800
  • 1f2a4c706f Fix struct literals in if expressions greg 2018-02-11 22:10:21 -0800
  • a452bccd1c Don't need clone() here greg 2018-02-11 16:45:26 -0800
  • eca2218f6a Kill separate is_digit method greg 2018-02-11 16:43:51 -0800
  • 83aedb0efb Hex parsing done greg 2018-02-11 16:35:38 -0800
  • 76841de784 Save settings on ctrl-D greg 2018-02-11 16:28:17 -0800
  • c0574ff1ef Added a bunch of notes greg 2018-02-11 02:37:52 -0800
  • faa5c6ab42 Fix parse level calculation greg 2018-02-10 17:45:00 -0800
  • 9c2d2190b0 Proper indentation of parser debug greg 2018-02-10 15:10:06 -0800
  • 21511f5120 Move some code around greg 2018-02-08 01:15:27 -0800
  • 8bd399f97a Better hex literals greg 2018-01-08 06:12:45 -0800
  • 30a6d0929a Starting hex parsing greg 2018-01-08 05:57:36 -0800
  • bec8aedc22 Simplify some code greg 2018-01-08 05:21:04 -0800
  • 1b642c6321 Assign a specific rocket version greg 2017-12-31 15:46:08 -0800
  • 559306ffc8 unified BoolAtom greg 2017-12-30 23:19:42 -0800
  • 540ffde4bc Rukka source file greg 2017-12-30 01:18:48 -0800
  • fa8d46e3d7 Print operation greg 2017-12-29 05:10:03 -0800
  • 4598802999 Refactoring greg 2017-12-29 05:03:30 -0800
  • 5ea83e2da6 Delete some unneeded code greg 2017-12-29 04:55:03 -0800
  • 23c0f54042 Forgot to change name here greg 2017-12-29 04:52:47 -0800
  • 8618de313b Name change greg 2017-12-29 04:51:14 -0800
  • cd23b23a91 Get rid of some printlns greg 2017-12-29 04:46:19 -0800
  • e6475a1262 Implement lambda application greg 2017-12-29 03:57:27 -0800
  • e6f81b28f9 Plus and multiply greg 2017-12-25 23:10:16 -0800
  • c20d75faf1 Builtins - + greg 2017-12-24 23:48:13 -0800
  • 85aabed344 Framework for multiple environments greg 2017-12-21 03:11:56 -0800
  • aa821e720a Apply wokr greg 2017-12-21 01:10:53 -0800
  • 0e25720927 Fixing quote greg 2017-12-21 01:11:16 -0800
  • c101610cde Starting builtins greg 2017-12-20 22:56:24 -0800