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

487 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
John
89ed9b2a39 test.cl: Never-like enums tempermanently(?) removed 2025-05-18 11:51:22 -04:00
John
47608668fa cl-embed: Add an example, and a new sample-code (same file) 2025-05-18 11:50:33 -04:00
John
6ce27c522f cl-embed: Create an (unstable) API for embedding Conlang in your projects! 2025-05-18 11:49:43 -04:00
John
233e4dab4e visit: docs cleanup 2025-05-18 11:48:22 -04:00
John
f95c6ee239 cl-interpret: Add convenience function for binding variables 2025-05-18 11:48:04 -04:00
John
964917d2f0 cl-interpret: let now returns bool 
This makes debugging monumentally harder, but it's SO NEAT and instantly adds `if let`/`while let` and `let chaining`
 2025-05-18 11:47:13 -04:00
John
6bb855cff7 cl-parser: semantics changes 
allow let in conditionals (restricts init of let to non-assignment)

allow semicolons after items at file scope
 2025-05-18 11:44:44 -04:00
John
124bb2f680 cl-interpret: Builtins! builtins(), chars(str), and panic(msg) 2025-05-18 11:42:33 -04:00
John
08b5937fc2 cl-typeck: Twiddle with infer (maybe this will help fix the weird behavior?) 2025-05-18 11:39:54 -04:00
John
ccfa4c7723 cl-interpret: copy-capture closures 2025-05-18 11:30:17 -04:00
John
d3e20e53d0 cl-interpret: Unit tests for while-else control flow 2025-05-18 04:01:50 -04:00
John
e08bf57dc1 cl-typeck: Give inference its own result type 2025-05-18 04:01:13 -04:00
John
a5590168ee cl-parser: Misc cleanup 2025-05-18 04:00:43 -04:00
John
3e2063835b cl-parser: Dedicated parsing logic for patterns! 2025-05-18 04:00:00 -04:00
John
e6156343c3 cl-ast: Add inline closure expressions 2025-05-18 03:57:20 -04:00
John
6c6d2d04a7 cl-ast: Remove variantkind, as it was redundant 2025-05-17 21:28:12 -04:00
John
a023551d9f repline: Change newline behavior when not at end of input 
TODO: This screws with the naming convention of home()/end()
 2025-05-17 20:32:24 -04:00
John
dc1c9bdd6d stdlib: Add map* for Option and Result 2025-05-05 05:32:23 -04:00
John
c5e817f1e5 cl-ast: Rearrange 2025-05-05 05:26:43 -04:00
John
6108d66b0a stdlib: Add Option and Result types 2025-05-05 04:55:17 -04:00
John
09fdb14d79 cl-typeck: Progress population and categorization 2025-05-05 04:54:33 -04:00
John
4228324ab3 cl-typeck: With super semantics redone, search within self for items 2025-05-05 04:20:40 -04:00
John
f5f905cd70 cl-ast: more generic impls for weight_of 
TODO: get rid of weight_of
 2025-05-05 04:19:23 -04:00
John
883387aaf1 yaml: formatting 2025-05-05 04:18:49 -04:00
John
2d706ff582 desugar: Add primitive constant folding 2025-05-05 04:18:16 -04:00
John
cd2e3c3e32 cl-parser: change match parse slightly 2025-05-05 04:16:37 -04:00
John
8c23aea4af to_c: oops 2025-05-05 04:14:30 -04:00
John
d6c0a6cf1b cl-ast: Allow c-like enums to take an expr 2025-05-05 02:22:50 -04:00
John
fc80be5fcc conlang: Remove "self" keyword 2025-05-05 02:20:47 -04:00
John
7c2dd1468b cl-ast: Finally figure out how visit and walk are supposed to work 2025-05-05 00:24:52 -04:00
John
4747b65414 stdlib: Add Result and Option types 
Since the type checker sucks less now, we can think about maybe
adding some features to the language.

...At some point I'd like to have the type checker clean up
the index map.
 2025-04-22 08:00:59 -04:00
John
8ff17fd475 cl-ast: Add syntax support for generics 2025-04-22 07:22:44 -04:00
John
681fbc88d3 cl-typeck: More type inference 
- Renamed "intrinsic" -> "primitive"
  - I thought it was funny, but it's just annoying.
- Rename "Uninferred" -> "Inferred"
  - It's a concrete type, but an inferred one.
- Add lifetimes to the Entry API
- Categorize does not care about recursive types. You can't have a recursive AST.
- Added helpful constructors to the inference engine
- Added some overloadable operators to the inference engine
  - These are a MAJOR work in progress
- Reorganized the Inference implementation file by functionality.

stdlib:
- Updated standard library.
 2025-04-22 06:33:57 -04:00
John
7cf485fade cl-typeck/infer: Fix some inference errors 
yay yippee type checking and inference woohoo
i am very tired
 2025-04-21 05:37:34 -04:00
John
3b96833fcb cl-typeck: Early type inference for let 2025-04-21 04:52:59 -04:00
John
65b75f95ce cl-repl: Oops, add dependencies. 2025-04-21 04:27:17 -04:00
John
4c4b49ce00 cl-typeck: Implement a framework for type inference 
...And also implement a bunch of the inference rules, too.
 2025-04-21 04:26:07 -04:00
John
7ba808594c cl-ast: Cleanup 
- Function bind is now one Pattern
- TyRef now allows &Ty (i.e. &[i32], &(char, bool)
- Range patterns (they cannot bind, only check whether a value is in range
- ArrayRep repeat has been reverted to usize, for now, until early consteval is implemented.
 2025-04-21 04:17:45 -04:00
John
ef92d8b798 examples: Adapt examples/yaml to a broken C generator! woo! 2025-04-16 04:13:39 -04:00
John
8c8f1254e0 examples/yaml: Remove unnecessary uses of todo!() 2025-04-16 04:13:04 -04:00
John
82e62ab4ac cl-parser: Dereference first(?) 2025-04-15 23:44:56 -04:00
John
b09a610c6c interpreter: Include location in error type 2025-04-15 23:42:21 -04:00
John
fa5244dcf9 cl-interpret: References, part 3 
MODS ARE ASLEEP
POST FAT BEAGLE
 2025-03-14 08:33:46 -05:00
John
9b460afed4 cl-interpret/pattern: Fail on mismatch again 2025-03-14 07:00:10 -05:00
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