j/Conlang
1
1
Fork 0
Code Issues 5 Pull Requests Packages Projects 2 Releases Wiki Activity
443 Commits 3 Branches 6 Tags
Commit Graph

443 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
John
27d1d07ed8 conlang: Update to Rust Edition 2024 2025-03-14 06:09:39 -05:00
John
68e676eda4 repline: Clippy lints unbuffered readers now 2025-03-14 06:09:00 -05:00
John
c988193049 cl-structures/stack: constify all (most of) the things! 2025-03-14 06:07:48 -05:00
John
2ecb2efc09 cl-structures: IndexMap::get_disjoint_mut to match Rust 1.86 🎉 2025-03-14 04:35:47 -05:00
John
a4176c710e cl-ast: Add filename to File 
- Better error reporting
- Better pizza
- Papa Cow's
 2025-03-14 04:11:22 -05:00
John
cdb9ec49fe cl-ast: Estimate the "weight" of an AST, for debugging? 2025-03-14 04:02:14 -05:00
John
6d33c4baa9 cl-ast: Break ast-impl into submodules 2025-03-14 03:58:40 -05:00
John
33e13425a9 cl-ast: Clean up "to", "extents", Module."kind" 2025-03-14 00:52:43 -05:00
John
11c8daaed0 cl-ast: Re-add(?) the Infer type-pattern 2025-03-12 01:20:58 -05:00
John
584207fc8c cl-structures::Interned: Change to_ref() from assoc. function to member function 
(it's so much nicer)
 2025-03-12 01:16:51 -05:00
John
dcdb100a8a cl-interpret: Try having separate globals again? 2025-03-11 23:33:49 -05:00
John
fdf076c272 cl-ast: Remove Option-like "*Kind"s 2025-03-11 23:32:58 -05:00
John
2fc847fff2 Listen to the truthmachine! 
Scream your falsehoods.
 2025-03-11 05:03:52 -05:00
John
4bc088f277 cl-interpret: Pure value stack v1, references v2 
References actually work! :D
They can also be stale :(
 2025-03-11 05:01:49 -05:00
John
06bcb6b7c6 interpret: try out Ref == RcRefCell. Subject to change! 2025-03-11 01:31:02 -05:00
John
7e311cb0ef conlang: RIP THE EXPRKIND BANDAGE OFF 
cl-ast: No more bare ExprKind: every Expr has a Span
cl-interpret: Give errors a span
cl-repl: Print eval errors in load_file, instead of returning them. These changes are relevant.
 2025-03-11 00:36:42 -05:00
John
c0ad544486 cl-interpret/convalue: Destructure with (Rust) pattern matching 2025-02-28 20:36:24 -06:00
John
fd54b513be cl-interpret/pattern: Doc changes, minor format 2025-02-28 20:35:20 -06:00
John
adbabc66c5 cl-interpret: impls v1 2025-02-23 04:06:14 -06:00
John
5c99bf09ab stdlib: Make stdlib not error out w/ undefined symbols, add ranges. 2025-02-23 03:29:15 -06:00
John
4d9b13f7a1 cl-interpret: Enums, pt 1: C was right the whole time!!1 2025-02-23 03:22:48 -06:00
John
d9ac9e628d cl-interpret: Stage items within a file in resolution order. 
TODO: Does this even help???
 2025-02-23 03:21:34 -06:00
John
632ddf0eab cl-interpret: cleanup 2025-02-23 03:00:00 -06:00
John
e39b390441 cl-parser, cl-repl: Add ./[mod].cl to module search path 2025-02-23 02:44:26 -06:00
John
2fd08193fd cl-parser: Promote match scrutinee to position 2025-02-23 02:43:22 -06:00
John
7d3f189100 conlang: Introduce ..rest Patterns, refactor Ranges 2025-02-23 02:41:41 -06:00
John
cc6168b55e cl-ast: Remove Param, replace with flat Pattern 2025-02-23 02:01:38 -06:00
John
e3d94d8949 conlang: Unify binding operations! 
This breaks out the pattern matching/unification algorithm from cl-interpret/interpret.rs to cl-interpret/pattern.rs

TODO: pattern destructuring in const, static :^)
 2025-02-22 05:16:37 -06:00
John
7a8da33de9 cl-interpret: Tuple structs + fix tuple member access 2025-02-22 03:31:27 -06:00
John
697d139cfd conlang: Add Tuple-Struct Patterns 
- Patterns are no longer parsed with the highest precedence
- Function calls with just a path and a tuple of args can now be transformed into a Pattern
 2025-02-22 01:37:08 -06:00
John
5d2c714bc1 conlang: Patterns...2! 
- Deny arbitrary paths in patterns (only one non-keyword identifier allowed!)
- Allow patterns in for-loop binders (literally useless atm, but it's a step toward making patterns the only way to bind names.)

Next: Functions, Tuple Struct Patterns... And solving the stupid syntactic ambiguity of structors.
 2025-02-22 01:00:29 -06:00
John
b115fea71b cl-interpret: fix import in builtin! doctest 2025-02-21 22:49:14 -06:00
John
eebabf02fb repline: change error formatting 2025-02-20 22:05:43 -06:00
John
088cd4d1e4 cl-interpret: Change format of todo for Impl 2025-02-20 22:05:23 -06:00
John
0fd9c002fc cl-interpret: Interpret items in a file in a particular order 
1) mod
2) use
3) enum, struct, type
4) fn
5) impl
6) const | static

This is a stopgap until names are statically resolved
 2025-02-20 22:04:27 -06:00
John
772286eefa conlang: Single-expression functions 2025-02-20 21:59:42 -06:00
John
3b14186b70 sample-code: Add match_test.cl 
Demonstrates pattern matching
 2025-02-18 21:53:32 -06:00
John
a6ad20911d builtins: Add temp builtin for dumping the global string pool 2025-02-18 21:49:59 -06:00
John
01cf9d93e2 cl-repl: Usability improvements 
- Don't print empty
- Don't needlessly append newline to cleared screen
 2025-02-18 21:48:36 -06:00
John
edabbe1655 cl-interpret: process use items and imports in the interpreter 2025-02-18 21:44:52 -06:00
John
af9c293907 cl-interpret, cl-repl: 
Move IO builtins into the CLI, so get_line can use repline keybinds.
 2025-02-06 21:35:17 -06:00
John
0e3ba342c4 cl-interpret: make the error type smaller (at the cost of a heap allocation) 2025-01-31 03:35:35 -06:00
John
d95d35268e cl-interpret: Builtin refactor 
- Everything is different now
  - Builtins are now built on top of Rust functions, so they can be recursive!
  - TODO: allow macro-defined builtins to call each other?
- The builtins! macro is a lot nicer to work with
  - No redundant return value
  - Maps the result over Into::into, allowing for type inference!
  - Uses explicit pattern syntax instead of weird binding, where possible
  - Does not #[allow(unused)], so you'll get unused variable warnings now!
 2025-01-31 03:34:45 -06:00
John
0c2b0002ce conlang: Docs! 2025-01-29 05:07:08 -06:00
John
3534be5fbc conlang: bump version number for pattern matching and destructured bindings 2025-01-29 04:16:53 -06:00
John
026681787a cl-interpret: Add a new pretty-debug-printer builtin 2025-01-29 04:16:28 -06:00
John
80e1219808 cl-interpret: Tests for new pattern matching behavior 
TODO: Expand control flow tests
 2025-01-29 04:15:57 -06:00
John
6ee9bbd72e conlang: PATTERN MATCHING AND DESTRUCTURED BINDINGS WOOOOO 
- Integrate the Match and Pattern nodes into the AST
  - TODO: `let x: T` is ambiguous with `let x: {}`. Currently the latter takes precedence in the parser.

- Implement pattern matching through unification in the interpreter.
  - It's not fast, but it works!

- Refactor destructuring assignments to use the new pattern functionality
 2025-01-29 04:15:33 -06:00
John
6e94b702c9 cl-ast: Add pattern and match nodes, and associated behaviors 2025-01-29 04:05:11 -06:00
John
d21683ad61 conlang: Add Quote expression as a hack for testing 
Possibly removed later, or replaced with something that turns Conlang AST nodes into Conlang data structures.
 2025-01-29 03:56:19 -06:00