632ddf0eab
cl-interpret: cleanup
2025-02-23 03:00:00 -06:00
e39b390441
cl-parser, cl-repl: Add ./[mod].cl to module search path
2025-02-23 02:44:26 -06:00
2fd08193fd
cl-parser: Promote match scrutinee to position
2025-02-23 02:43:22 -06:00
7d3f189100
conlang: Introduce ..rest Patterns, refactor Ranges
2025-02-23 02:41:41 -06:00
cc6168b55e
cl-ast: Remove Param, replace with flat Pattern
2025-02-23 02:01:38 -06:00
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
7a8da33de9
cl-interpret: Tuple structs + fix tuple member access
2025-02-22 03:31:27 -06:00
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
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
b115fea71b
cl-interpret: fix import in builtin! doctest
2025-02-21 22:49:14 -06:00
eebabf02fb
repline: change error formatting
2025-02-20 22:05:43 -06:00
088cd4d1e4
cl-interpret: Change format of todo for Impl
2025-02-20 22:05:23 -06:00
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
772286eefa
conlang: Single-expression functions
2025-02-20 21:59:42 -06:00
3b14186b70
sample-code: Add match_test.cl
...
Demonstrates pattern matching
2025-02-18 21:53:32 -06:00
a6ad20911d
builtins: Add temp builtin for dumping the global string pool
2025-02-18 21:49:59 -06:00
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
edabbe1655
cl-interpret: process use items and imports in the interpreter
2025-02-18 21:44:52 -06:00
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
0e3ba342c4
cl-interpret: make the error type smaller (at the cost of a heap allocation)
2025-01-31 03:35:35 -06:00
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
0c2b0002ce
conlang: Docs!
2025-01-29 05:07:08 -06:00
3534be5fbc
conlang: bump version number for pattern matching and destructured bindings
2025-01-29 04:16:53 -06:00
026681787a
cl-interpret: Add a new pretty-debug-printer builtin
2025-01-29 04:16:28 -06:00
80e1219808
cl-interpret: Tests for new pattern matching behavior
...
TODO: Expand control flow tests
2025-01-29 04:15:57 -06:00
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
6e94b702c9
cl-ast: Add pattern and match nodes, and associated behaviors
2025-01-29 04:05:11 -06:00
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
518fbe74a1
cl-ast: Fix AddrOf misbehavior
2025-01-29 03:31:24 -06:00
bc955c6409
conlang: Bump version number :D
2025-01-28 06:56:48 -06:00
678c0f952c
sample-code: Add demo for get_line()
2025-01-28 06:56:30 -06:00
86c4da0689
cl-repl: Don't print ConValue::Empty return values
2025-01-28 06:55:03 -06:00
5db77db6b8
cl-interpret: Use dyn dispatch for iterators.
...
- This is a hack because the language has the syntax but no concept of iterators
2025-01-28 06:25:04 -06:00
145a24c5ff
cl-interpret: Assignment 2.0, now with more destructuring!
...
TODO: Destructuring `let`, destructuring patterns in function args..?
2025-01-28 06:23:37 -06:00
485afb7843
cl-interpret: Make ConValues act like value types
...
(Aside from the fact that they're smothered in heap allocations)
2025-01-28 06:20:10 -06:00
01871bf455
cl-interpret: get_line builtin!
2025-01-28 06:14:05 -06:00
fd361f2bea
cl-interpret: Upvars 2.0
...
- Only captures locals
2025-01-28 06:13:38 -06:00
0eef6b910c
cl-interpret/collect_upvars: elide lifetime
2025-01-23 18:53:07 -06:00
c50940a44c
cl-interpret: Make an attempt at closures
...
(It kinda sucks, but it emulates closures half decently)
2025-01-23 16:23:42 -06:00
3cda3d83d9
typeck: Replace unsafe static mut with tree interning,
...
I used tree interning here, because the interner already contains the necessary locks to make it Sync, and I was lazy. Be my guest if you want to do something else.
The computational overhead of interning the ASTs here is negligible, since this is all CLI code anyway.
2025-01-16 21:16:46 -06:00
e5a51ba6c2
cl-structures: add to_ref associated function on Interned type, for non-borrowing conversion
2025-01-16 21:01:28 -06:00
883fd31d38
conlang: Elide lifetimes (fixes clippy lint)
2025-01-16 20:57:33 -06:00
d71276b477
cl-structures: Update error type in unstable get_many_mut feature for IndexMap
2025-01-16 20:32:09 -06:00
d8e32ee263
cl-arena: promote to its own independent repository
2025-01-16 20:30:23 -06:00
e419c23769
repline: fix operator precedence bug, clippy lints
2025-01-16 20:29:43 -06:00
1bd9c021dd
sample-code: Fix typo in sqrt.cl
2024-11-21 21:57:10 -06:00
df68d6f2e6
cl-interpret/tests: Fix broken test
2024-09-19 14:29:21 -05:00
ae11d87d68
Merge pull request 'Basic floating point support (WIP)' ( #18 ) from floats into main
...
Reviewed-on: #18
2024-09-19 19:27:51 +00:00
96be5aba6c
repline: Add a code sample demonstrating the use of prebaked::read_and
2024-09-19 14:08:50 -05:00
b9f4994930
sample-code: update sqrt.cl to use new float syntax
2024-09-19 14:02:58 -05:00
