j/Conlang
1
1
Fork 0
Code Issues 5 Pull Requests Packages Projects 2 Releases Wiki Activity
364 Commits 2 Branches 6 Tags 2.3 MiB
99a00875a8
Commit Graph

118 Commits

Author SHA1 Message Date
John
99a00875a8 cl-intern: Derive Default for StringInterner and TypedInterner 2024-08-24 18:18:22 -05:00
John
8675f91aca cl-ast: Remove tail from let (it caused more problems that it could've solved) 2024-07-31 03:19:20 -05:00
John
de63a8c123 cl-parser: Outline precedence parser 2024-07-31 02:55:01 -05:00
John
533436afc1 cl-parser: Move precedence parser into its own module 2024-07-31 02:48:39 -05:00
John
1eb0516baf cl-parser: Rearrange to match cl-ast 
Also reorder `Let` in the AST
 2024-07-31 02:35:41 -05:00
John
97808fd855 cl-parser: Transliterate to a trait-based parsing implementation 
Bump version number.
 2024-07-31 01:39:00 -05:00
John
388a69948e Revert "cl-ast: Unify break, return, and unary expressions" 
This reverts commit adb0fd229c.
 2024-07-30 22:31:39 -05:00
John
5e7ba6de24 cl-ast: Improve formatting of blocks and groups 2024-07-30 20:40:22 -05:00
John
adb0fd229c cl-ast: Unify break, return, and unary expressions 2024-07-30 20:16:07 -05:00
John
0e545077c6 cl-ast: Remove "Continue" struct 2024-07-30 19:42:28 -05:00
John
b64cc232f9 cl-ast: Move loop expression into unary exprs (with lowest priority) 2024-07-30 18:21:25 -05:00
John
b0341f06fd cl-ast: Move let into Expr 2024-07-30 18:02:09 -05:00
John
a3e383b53f cl-token: Flatten TokenKind into a single enum (wow!) 2024-07-30 16:47:09 -05:00
John
1b217b2e75 typeck: Add a query for all strings 2024-07-29 15:55:53 -05:00
John
5662bd8524 cl-structures: (ab)use the Display trait to print a numbered, sorted list of interned strings. 2024-07-29 15:55:12 -05:00
John
28f9048087 cl-typeck: Fix infer.rs doctests 2024-07-29 15:42:35 -05:00
John
b17164b68b cl-interpret: Write an example for driving the interpreter 2024-07-29 15:42:05 -05:00
John
ecebefe218 cl-interpret: Knock those modules free! 2024-07-27 22:47:46 -05:00
John
b2733aa171 cl-interpret/builtin: Add len builtin as a quick hack to write more interesting programs. 
This is temporary, I just want a way to get the length of a thing atm.
 2024-07-27 18:43:03 -05:00
John
a233bb18bc cl-lexer: Record the contents of comments 2024-07-27 18:41:50 -05:00
John
e06a27a5b1 cl-lexer: Treat #!/ | #!\ as a comment 2024-07-27 18:41:18 -05:00
John
3f5c5480ae cl-interpret: [NOT FINAL] Add unicode-aware O(n) string indexing 2024-07-27 18:04:39 -05:00
John
883c2677d9 cl-parser: Index is NOT a low precedence operator!!! 2024-07-27 17:37:29 -05:00
John
38a5d31b08 cl-ast: Escape string and char literals when pretty-printing 2024-07-26 05:51:20 -05:00
John
e43847bbd4 conlang: Introduce as casting 
Arbitrary primitive type conversion

Currently implemented as jankily as possible in the interpreter, but it works alright™️
 2024-07-26 05:26:08 -05:00
John
695c812bf5 cl-repl: increase jank: first positional arg is main file, remainder are imports 2024-07-26 05:13:06 -05:00
John
524c84be9e cl_typeck: Add new primitive types (including joking-point numbers) 2024-07-26 03:24:34 -05:00
John
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.
 2024-07-26 02:14:41 -05:00
John
03a4e76292 cl-typeck: rustfmt implement.rs 2024-07-26 00:15:00 -05:00
John
5ea8039a8a typeck.rs: Update for new stdlib layout; don't hardcode the root stdlib module. 2024-07-25 07:09:12 -05:00
John
479efbad73 typeck.rs: Add file-loading mode 2024-07-25 07:08:07 -05:00
John
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.
 2024-07-25 05:55:11 -05:00
John
e19127facc cl-typeck: Crate-spanning refactor 
TODO: remove all unreferenced files
TODO: Finish resolving statically known types of values
TODO: Type inference
 2024-07-24 18:22:42 -05:00
John
b7ad285a11 cl-typeck: give Handle accessors for useful attributes 2024-07-24 14:29:27 -05:00
John
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?
 2024-07-21 06:01:54 -05:00
John
6bf34fdff6 cl-typeck: Add path-resolution relative to an ID 
Great for interactive debugging
 2024-07-21 05:57:15 -05:00
John
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)

Known issues:
- Printing recursive types recurses forever
- There's some unrelated name resolution stuff going on that needs investigating.

TODO:
- Better name
- HandleMut?
- More interfaces!
- Migrate everything to use handles when oop semantics are easiest
- Reject plain recursive types, and don't recurse through reference types when printing
 2024-07-21 05:45:40 -05:00
John
82b71e2517 cl-typeck: Refactor display for Def. 
- Use the FmtAdapter from cl-ast
  - Add a new delimiter-constructing delimit_with function.
 2024-07-21 01:46:20 -05:00
John
46bd44bd99 cl-typeck: Re-name mod key to mod handle, in preparation for future handlization 2024-07-20 18:30:05 -05:00
John
3511575669 conlang: Add array and slice type syntax 2024-07-20 18:22:50 -05:00
John
b3d62c09aa conlang: Self is not a type, it's a path to a type 2024-07-17 15:05:52 -05:00
John
c9ddebb946 cl-repl/menu: Revert extra newline in banner 2024-07-11 04:44:01 -05:00
John
15c4b89bce cl-interpret: builtin.rs whitespace changes 2024-07-11 04:43:25 -05:00
John
aa7612926e cl-interpret: Add format builtin 
Might as well add some new features to play around with until I rip 'em all out
 2024-07-11 04:42:36 -05:00
John
a646a9e521 cl-interpret: VERY rudimentary support for Const and Static 2024-07-11 03:07:56 -05:00
John
5f57924f23 cl-repl: Perform module inlining before submitting code to the interpreter 2024-07-11 02:50:15 -05:00
John
d692f6bb80 cl-interpret: Complain, rather than panic, on outlined module 2024-07-11 02:48:35 -05:00
John
58c5a01312 cl-structures: Clean up IndexMap and fix doctests 2024-07-10 14:56:17 -05:00
John
3c4d31c473 cl-repl: Run by default, break into menu 2024-07-09 06:15:15 -05:00
John
d723f7cece cl-interpret: String-building addition 
Note: This drastically increases the number of symbols. Yeowch.
 2024-07-09 06:14:44 -05:00