j/Conlang
1
1
Fork 0
Code Issues 5 Pull Requests Packages Projects 2 Releases Wiki Activity

Commit Graph

  • 388a69948e Revert "cl-ast: Unify break, return, and unary expressions" John 2024-07-30 22:31:39 -05:00
  • 5e7ba6de24 cl-ast: Improve formatting of blocks and groups John 2024-07-30 20:40:22 -05:00
  • adb0fd229c cl-ast: Unify break, return, and unary expressions John 2024-07-30 20:16:07 -05:00
  • 0e545077c6 cl-ast: Remove "Continue" struct John 2024-07-30 19:42:28 -05:00
  • b64cc232f9 cl-ast: Move loop expression into unary exprs (with lowest priority) John 2024-07-30 18:21:25 -05:00
  • b0341f06fd cl-ast: Move let into Expr John 2024-07-30 18:02:09 -05:00
  • a3e383b53f cl-token: Flatten TokenKind into a single enum (wow!) John 2024-07-30 16:47:09 -05:00
  • 1b217b2e75 typeck: Add a query for all strings John 2024-07-29 15:55:53 -05:00
  • 5662bd8524 cl-structures: (ab)use the Display trait to print a numbered, sorted list of interned strings. John 2024-07-29 15:55:12 -05:00
  • 28f9048087 cl-typeck: Fix infer.rs doctests John 2024-07-29 15:42:35 -05:00
  • b17164b68b cl-interpret: Write an example for driving the interpreter John 2024-07-29 15:42:05 -05:00
  • ecebefe218 cl-interpret: Knock those modules free! John 2024-07-27 22:47:46 -05:00
  • fc374e0108 ascii.cl: TODO: throw out the interpreter (EVIL) John 2024-07-27 20:00:22 -05:00
  • 4295982876 ascii.cl: Cleanup on aisle "bitwise" John 2024-07-27 19:59:35 -05:00
  • 729155d3a4 ascii.cl: Fix type annotations (though they're not yet evaluated in the interpreter) John 2024-07-27 19:38:41 -05:00
  • 8c0ae02a71 sample-code/ascii.cl: Make it cooler - Compute char value of digit - Substitute C0 control codes for Unicode C0 Control Pictures - Extend through Unicode Latin-1 Supplement - Blank out C1 control code range John 2024-07-27 19:34:37 -05:00
  • 7f7836877e sample-code: Add shebang comments to samples with a main() function John 2024-07-27 18:56:36 -05:00
  • b2733aa171 cl-interpret/builtin: Add len builtin as a quick hack to write more interesting programs. John 2024-07-27 18:43:03 -05:00
  • a233bb18bc cl-lexer: Record the contents of comments John 2024-07-27 18:41:50 -05:00
  • e06a27a5b1 cl-lexer: Treat #!/ | #!\ as a comment John 2024-07-27 18:41:18 -05:00
  • 3f5c5480ae cl-interpret: [NOT FINAL] Add unicode-aware O(n) string indexing John 2024-07-27 18:04:39 -05:00
  • 53cf71608a sample-code/hex.cl: Fix casting TODO, add to_string_radix function John 2024-07-27 17:46:27 -05:00
  • 883c2677d9 cl-parser: Index is NOT a low precedence operator!!! John 2024-07-27 17:37:29 -05:00
  • 7d98ef87d5 sample-code: proper type annotations on HEX_LUT, add FIXME for min and max John 2024-07-26 06:22:29 -05:00
  • a188c5b65e hex.cl: make the lut square John 2024-07-26 06:17:00 -05:00
  • 872818fe7c sample-code/fib.cl: rename fib-iterative -> fibit (easier to type) John 2024-07-26 06:13:59 -05:00
  • 3aef055739 sample-code/ascii: Use as casting to print the entire printable ASCII range John 2024-07-26 06:10:59 -05:00
  • 38a5d31b08 cl-ast: Escape string and char literals when pretty-printing John 2024-07-26 05:51:20 -05:00
  • e43847bbd4 conlang: Introduce as casting Arbitrary primitive type conversion John 2024-07-26 05:26:08 -05:00
  • a8b8a91c79 sample-code: print->println to match interpreter behavior John 2024-07-26 05:13:52 -05:00
  • 695c812bf5 cl-repl: increase jank: first positional arg is main file, remainder are imports John 2024-07-26 05:13:06 -05:00
  • 524c84be9e cl_typeck: Add new primitive types (including joking-point numbers) John 2024-07-26 03:24:34 -05:00
  • 4096442f75 cl-typeck: Turn ref into a linked list. This should be fine, since the only thing you can do with a ref is dereference it. John 2024-07-26 02:14:41 -05:00
  • 03a4e76292 cl-typeck: rustfmt implement.rs John 2024-07-26 00:15:00 -05:00
  • 46a1639990 sample-code: Have fun with random number generators John 2024-07-25 23:59:41 -05:00
  • 5ea8039a8a typeck.rs: Update for new stdlib layout; don't hardcode the root stdlib module. John 2024-07-25 07:09:12 -05:00
  • 479efbad73 typeck.rs: Add file-loading mode John 2024-07-25 07:08:07 -05:00
  • a462dd2be3 stdlib: Use Conlang module layout John 2024-07-25 07:05:57 -05:00
  • 4d6b94b570 conlang: Bump version to v0.0.6 - Major milestone: cl-typeck doesn't suck as much! v0.0.6 John 2024-07-25 05:56:05 -05:00
  • fe2b816f27 cl-typeck: Crate-spanning refactor part 2 - Removed all unreferenced files - Reimplemented missing/nonfunctional behavior - Added module documentation for most things - TODO: item-level docs on Entry(Mut) - Reparented the stages of Table population into the stage module. - TODO: rewrite type inference to use only the tools provided by Table. John 2024-07-25 05:55:11 -05:00
  • e19127facc cl-typeck: Crate-spanning refactor John 2024-07-24 18:22:42 -05:00
  • b7ad285a11 cl-typeck: give Handle accessors for useful attributes John 2024-07-24 14:29:27 -05:00
  • 61d8cf8550 stdlib: Update num.cl with eased name resolution restrictions v0.5.0_1 John 2024-07-21 06:03:16 -05:00
  • 70872d86f9 cl-typeck: Improve path resolution semantics, and DON'T REPARENT IMPLs - Perform heirarchical resolution through "transparent" nodes - Reparenting impls broke relative path traversal entirely. To impl something, it must already be in scope anyway. - TODO: well-formedness checks? John 2024-07-21 06:01:54 -05:00
  • 6bf34fdff6 cl-typeck: Add path-resolution relative to an ID Great for interactive debugging John 2024-07-21 05:57:15 -05:00
  • 9d7ab77999 cl-typeck: Add Handle type - Holds a DefID and a reference to the Project - Pretty-prints def signatures - Use handles when printing types (WIP) John 2024-07-21 05:45:40 -05:00
  • 82b71e2517 cl-typeck: Refactor display for Def. John 2024-07-21 01:46:20 -05:00
  • 46bd44bd99 cl-typeck: Re-name mod key to mod handle, in preparation for future handlization John 2024-07-20 18:30:05 -05:00
  • 3511575669 conlang: Add array and slice type syntax John 2024-07-20 18:22:50 -05:00
  • b3d62c09aa conlang: Self is not a type, it's a path to a type John 2024-07-17 15:05:52 -05:00
  • ded100bf71 repline: Document the editor John 2024-07-12 16:40:32 -05:00
  • c9ddebb946 cl-repl/menu: Revert extra newline in banner John 2024-07-11 04:44:01 -05:00
  • 15c4b89bce cl-interpret: builtin.rs whitespace changes John 2024-07-11 04:43:25 -05:00
  • aa7612926e cl-interpret: Add format builtin John 2024-07-11 04:42:36 -05:00
  • fffc370380 sample-code: Expand the capabilities of the sample code John 2024-07-11 04:02:44 -05:00
  • a646a9e521 cl-interpret: VERY rudimentary support for Const and Static John 2024-07-11 03:07:56 -05:00
  • 5f57924f23 cl-repl: Perform module inlining before submitting code to the interpreter John 2024-07-11 02:50:15 -05:00
  • d692f6bb80 cl-interpret: Complain, rather than panic, on outlined module John 2024-07-11 02:48:35 -05:00
  • 58c5a01312 cl-structures: Clean up IndexMap and fix doctests John 2024-07-10 14:56:17 -05:00
  • 16baaa32f1 sample-code: Add an example function to print a number in hexadecimal John 2024-07-09 06:16:25 -05:00
  • 3c4d31c473 cl-repl: Run by default, break into menu John 2024-07-09 06:15:15 -05:00
  • d723f7cece cl-interpret: String-building addition John 2024-07-09 06:14:44 -05:00
  • b446677eda cl-interpret: Enforce wrapping behavior John 2024-07-09 06:13:55 -05:00
  • 0beb121f32 cl-interpret: Change print to print without newline, add new println builtin John 2024-07-09 06:13:05 -05:00
  • 6b16c55d97 cl-typeck: Fix doc list breakage John 2024-06-22 02:00:47 -05:00
  • c16dbca55c cl-structures: Remove #[feature(inline_const)], stabilized in Rust 1.79 John 2024-06-22 01:59:01 -05:00
  • 4c883d87a4 cl-ast: Link to [Meta] in [Attrs] John 2024-05-19 16:00:40 -05:00
  • 1c3a56f5b5 misc: Fix broken doc links, remove "pool" from index_map.rs John 2024-05-19 15:32:57 -05:00
  • 406bfb8882 cl-interpret: Stop kidding myself, I'll be replacing the interpreter before I get rid of this. John 2024-05-19 15:16:22 -05:00
  • e0f54aea97 cl-structures: Mention IndexMap and MapIndex in the top level doc comment John 2024-05-19 15:12:54 -05:00
  • fa8a71addc cl_structures: Rename deprecated_intern_pool to the more correct name "IndexMap" John 2024-05-19 14:51:14 -05:00
  • 0cc0cb5cfb conlang: Remove "Identifier" node John 2024-05-19 14:41:31 -05:00
  • f330a7eaa5 conlang: Split assignment into plain Assign and assign-with-Modify John 2024-05-19 14:31:30 -05:00
  • 8d8928b8a8 conlang: Struct, tuple member accesses, member function call syntax John 2024-05-19 13:55:28 -05:00
  • a033e9f33b conlang: Enable opt-level 1 in dev profile John 2024-05-16 15:07:54 -05:00
  • be81221895 cl-typeck: Move type inference utils into own module John 2024-05-16 15:06:59 -05:00
  • 33b7cd3971 cl-structures: Do not #[derive(Eq)] for Interned<T> John 2024-05-16 15:04:37 -05:00
  • c9266d971f cl-typeck: Insert impls into target type's namespace John 2024-05-07 13:59:45 -05:00
  • f76756e0e4 num.cl: Implement "overloaded" operator functions John 2024-05-07 13:32:58 -05:00
  • a89f45aa58 cl-typeck: Add isize/usize primitives John 2024-05-04 23:07:57 -05:00
  • d2eb165759 cl-arena: Add iterator allocation to TypedArena John 2024-05-04 22:17:34 -05:00
  • edf175e53b cl-typeck: Add utilities for HM-style type inference via unification John 2024-05-04 22:12:33 -05:00
  • 6aea23c8ba cl-ast/desugar: Turn all paths into absolute paths John 2024-04-29 16:25:30 -05:00
  • db0b791b24 cl-ast: Fix pretty-printing for use items John 2024-04-29 16:19:52 -05:00
  • 7c73fd335c cl-typeck: Store def metadata in a Node John 2024-04-29 15:40:30 -05:00
  • d7ce33e457 cl-arena: Allow the arena to hold its own lifetime. John 2024-04-28 02:01:52 -05:00
  • 0d937728ed cl-structures: Mention new structures in the top-module blurb John 2024-04-27 21:15:45 -05:00
  • a8ef989084 cl-structures/stack: only drop if T needs drop John 2024-04-27 21:08:09 -05:00
  • e7c5a02afa cl-structures: Fully remove unused arenas v2 sources John 2024-04-27 20:36:03 -05:00
  • 12046fa9f7 cl-structures/intern: Fix doc comment John 2024-04-27 20:26:45 -05:00
  • fb7de717d0 cl-structures: Remove arena.rs and hashbrown dependency John 2024-04-27 20:24:42 -05:00
  • 3fe5916a4f cl-ast: Switch from old string interner to new string interner John 2024-04-27 20:24:11 -05:00
  • 2c57f848ea cl-structures: Fix doctest in deprecated_intern_pool John 2024-04-27 20:19:46 -05:00
  • 81cf05cc69 cl-structures: Interning v3: ACTUALLY DO THE THING John 2024-04-27 20:16:36 -05:00
  • 83423f37be cl-arena: Make arena constructors const fn John 2024-04-27 16:52:20 -05:00
  • ecf97801d6 cl-typeck: Use helper functions on module to insert into the various namespaces John 2024-04-27 16:10:22 -05:00
  • 71745161c4 sample-code: Add example "module-hell.cl" demonstrating inter-module imports and path resolution John 2024-04-27 16:08:26 -05:00
  • 9566f098ac cl-typeck: Remove NameCollectable trait, use NameCollector instead :D John 2024-04-27 16:05:40 -05:00
  • b9085551e1 cl-typeck: Reimplement NameCollectable in terms of an AST visitor John 2024-04-27 15:51:37 -05:00
  • a877c0d726 cl-arena: Add arena allocator implementation based HEAVILY on rustc-arena John 2024-04-26 00:02:50 -05:00