Commit Graph

295 Commits

Author SHA1 Message Date
1afde9ce35 cl-ast: Move AST definition into its own crate 2024-02-29 19:49:50 -06:00
6e1d5af134 cl-token: Move token definition into its own crate 2024-02-29 19:36:06 -06:00
ee27095fb3 parser: expand the possibilities for assignment locations
This may be reverted later.
TODO: Formalize the concept of a place expression
TODO: Add this to grammar.ebnf
2024-02-29 19:33:28 -06:00
69f5035a8b span: Break out into its own crate, to make room for future expansion 2024-02-29 18:31:41 -06:00
362817e512 cl-repl: fix doctest in repline::ignore 2024-02-29 17:52:16 -06:00
421aab3aa2 interpreter: Break out into a separate crate
My editor's performance was tanking because of macro interpreter::builtins::builtin!

Temporary solution: move the interpreter into a separate crate

If I intended to keep the interpreter around, in the long-term, it might be an idea to make a proc-macro for builtin expansion.
However, the only reason I need the macros is because the interpreter's dynamic typing implementation is so half-baked. After I bang out the new type checker/inference engine, I'll have to rewrite the entire interpreter anyway!
2024-02-29 17:51:38 -06:00
5eb6411d53 interpreter: BuiltIn overhaul!
- Allowed builtins to self-describe
- Broke builtins into their own module
  - Created a macro to work with BuiltIns easier
  - Uses macro 2.0 syntax, so it requires passing in ALL externally referenced identifiers
    - Luckily, this is already a requirement of good, readable macro definitions!
- As a temporary hack, turn overloadable operators into function calls
  - This is kind of pointless at the moment, since there can only be one definition of a function per name (no ADL/function overloading/traits/type namespaces yet!)
  - This is also pretty slow, but benchmarking shows it's not as slow as I thought (~400x slower in release mode than a native Rust implementation when running `fib.cl`/`fib.rs`. Totally unacceptable for most work, but this is a tree walk interpreter.)
  - TODO: Remove this when desugaring from operators to function calls is implemented
2024-02-29 16:48:09 -06:00
e9dc8a7e32 cl-repl: hack together some temporary file loading, to aid in standard library development 2024-02-28 06:02:00 -06:00
862d81a9d4 cl-repl: Rename from cl-frontend.
Also disable escape code printing when debug assertions are off
2024-02-28 05:32:10 -06:00
048e41836a cl-frontend: Create a repline demo that collects definitions and usages of identifiers 2024-02-28 05:25:55 -06:00
78b8d87408 cl-frontend: Embrace the crossterm jank 2024-02-28 05:11:06 -06:00
e01c71f9a7 lexer: implement std::error:;Error for Error (whoops!) 2024-02-28 05:00:39 -06:00
3785045989 cl-frontend: fix strange newline behavior in REPL 2024-02-28 01:21:50 -06:00
67bb3d4ae3 parser: Note intent to switch to a Pratt parser 2024-02-27 23:35:41 -06:00
ca51a35f5c ast: Reduce the number of chained references to 65535 2024-02-27 23:33:20 -06:00
04320de9a8 parser: Make delim, sep, and rep const 2024-02-27 23:32:32 -06:00
325498ac8b ast: Add metadata attributes on Items
TODO: decide what other places attributes belong
2024-02-27 23:31:49 -06:00
9806e95247 ast_impl: Forgot to impl From<Expr> for StmtKind (whoops!) 2024-02-27 22:49:14 -06:00
5484d96e7d ast: Add the "Self" type in preparation for cl-typeck 2024-02-27 22:48:24 -06:00
e3f08ac013 parser: Overhaul the semi-functional Parser::{delimited, separated, repeated} methods into real higher-order functions 2024-02-27 22:46:36 -06:00
978f5e40c1 conlang: Introduce type-alias/typedef syntax
`type T;` | `type T = U;`
2024-02-27 20:49:02 -06:00
0c1b3bfe39 ast: Do not promise PartialOrd/Ord (breaking change) 2024-02-27 20:41:15 -06:00
87c8d43d11 grammar.ebnf: Fix ModuleKind grammar 2024-02-26 16:19:21 -06:00
c36eec216a parser: Allow StmtKind to parse itself (whoops!) 2024-02-26 16:03:18 -06:00
66deb41301 grammar.ebnf: Sync changes with AST 2024-02-26 16:02:36 -06:00
9bde97942c ast: Enum variants can have no data, or have an associated integer. 2024-02-26 15:59:15 -06:00
bb3eecd190 interpreter: Allow statements to choose their own return value (reduces code duplication) 2024-02-26 15:53:45 -06:00
ffa313eea8 ast: Allow type specifier in let statement 2024-02-26 15:49:55 -06:00
490d320633 parser: allow end of input in binary and indexing operations.
This improves robustness and correctness of implementation.
2024-02-26 15:37:07 -06:00
13995259aa parser: use different wording when the expected value was an operator vs an expression 2024-02-26 15:35:07 -06:00
ae76df9c83 interpreter: Fix bug where a break instruction would instead signal a return from subroutine 2024-02-26 15:33:47 -06:00
1bfeeb1755 interpreter: shrink integers to pointer-size in temp type implementation, for speed 2024-02-26 15:32:49 -06:00
59b73f314a ast: Remove unary hash operator to reserve the symbol for use in attribute parsing 2024-02-26 15:30:50 -06:00
cdf283064e ast: Improve ExprKind descriptions 2024-02-26 15:25:49 -06:00
2095bfec80 Lexer tests: import formatting 2024-02-26 15:21:14 -06:00
3f8c2b6267 ast: remove done TODOs 2024-02-26 15:20:33 -06:00
77db95791a cl-frontend: Improve the line-editing capabilities in REPL mode.
- Note: This adds a dependency on Crossterm, to set the terminal into raw mode. This could be eliminated by linking the libraries Crossterm uses directly... Or I could embrace Crossterm, and use it for all escape sequences in the terminal, instead of assuming DEC VT500 compatibility.
2024-02-26 15:15:34 -06:00
5e4e70a72e fibonacci.cl: Move the input number out of the string 2024-02-26 15:11:28 -06:00
b8d70d3393 Cleanup: Break Loc out into a common module, rename WhileParsing => Parsing 2024-01-23 01:51:00 -06:00
c4a32895df conlang 0.3.0: Total grammar overhaul
- Rewrote the grammar
- Rewrote the AST
- Rewrote the Parser
- Removed pretty printer (now handled by ast::ast_impl::Pretty, a Writer wrapper)
- Added items, and new keywords to go with them
  - Syntax is ~maybe temporary, based on Rust syntax
2024-01-21 05:32:18 -06:00
5e2f365f45 conlang: deprecate the AST 2024-01-21 01:34:40 -06:00
6bb2f3774f interpreter: Add regression tests for operators and precedence 2024-01-09 23:52:48 -06:00
d9d8c70556 interpreter: revert storing environments in functions
This change broke recursion entirely
2024-01-09 22:42:15 -06:00
99ade72756 interpreter: fix variable resolution and assignment 2024-01-09 22:39:58 -06:00
56f0550829 resolver: remove unused, deprecated stack functions 2024-01-09 21:04:28 -06:00
15d7565703 token: Add new keywords in preparation for grammar update 2024-01-06 14:32:56 -06:00
77f7623041 resolver: Improve block scoping with a scope guard 2024-01-06 14:32:06 -06:00
53f9ec2356 interpreter: use an explicit stack, rather than a cons list
Also gets rid of some dead code
2024-01-05 22:47:16 -06:00
54bae6a9c5 cl-frontend: update doc comment for new behavior 2024-01-05 21:49:05 -06:00
8d03b8a8eb ast: update todo 2024-01-05 21:47:36 -06:00