summaryrefslogtreecommitdiffstats
AgeCommit message (Expand)Author
2024-04-30rebel-parse, rebel-lang: remove array length from typesMatthias Schiffer
2024-04-29rebel-lang: merge ast_stmt_type() into record_type() and execute()Matthias Schiffer
2024-04-29rebel-lang: repl: use record_type() on a cloned Context instead of ast_stmt_t...Matthias Schiffer
2024-04-29examples: update recipe example to use let syntaxMatthias Schiffer
2024-04-29rebel-lang: typing: do not accept _ in expressionsMatthias Schiffer
2024-04-29rebel-parse, rebel-lang: distinguish let statements and simple assignmentsMatthias Schiffer
2024-04-29rebel-parse, rebel-lang: rename "body" to "block"Matthias Schiffer
2024-04-29rebel-parse: recipe: actually store fetch block in ASTMatthias Schiffer
2024-04-29rebel-lang: typing: implement turning an AST Type into a runtime TypeMatthias Schiffer
2024-04-29rebel-lang: scope: add type namespaceMatthias Schiffer
2024-04-29rebel-parse: ast: typ: allow to distinguish between free and dynamic array le...Matthias Schiffer
2024-04-29rebel-parse: limit explicit array length specification to u32Matthias Schiffer
2024-04-29rebel-lang: limit array lengths to u32Matthias Schiffer
2024-04-29rebel-parse: token: reserve "let" and "mut" keywordsMatthias Schiffer
2024-04-29rebel-parse: replace TypedExpr with TypedPatMatthias Schiffer
2024-04-29rebel-parse: create separate types to represent typesMatthias Schiffer
2024-04-28rebel-parse: rename struct field name from key to nameMatthias Schiffer
2024-04-28rebel-parse: split expr out of ast moduleMatthias Schiffer
2024-04-28rebel-lang: typing: change function names for expr typesMatthias Schiffer
2024-04-28rebel-lang: distinguish explicit and inferred type of variablesMatthias Schiffer
2024-04-28rebel-lang: add support str comparisionMatthias Schiffer
2024-04-28rebel-parse: use phf for faster keyword parsingMatthias Schiffer
2024-04-28rebel-parse: reserve struct, map and set keywordsMatthias Schiffer
2024-04-28rebel-lang: typing: use write_str() to format constant stringsMatthias Schiffer
2024-04-28rebel-lang: value: fix Value enum variant names to match Type variantsMatthias Schiffer
2024-04-28rebel-lang: typing: remove unused Coerce::NoneMatthias Schiffer
2024-04-28rebel-lang: typing: rename Coerce::Dynamic to CompareMatthias Schiffer
2024-04-28rebel-lang: typing: Fix function call type checking to use Coerce::AssignMatthias Schiffer
2024-04-28rebel-parse: grammar: order combined assignment operationsMatthias Schiffer
2024-04-28rebel-parse: box expressions in statementsMatthias Schiffer
2024-04-28rebel-parse, rebel-lang: rename Map types to StructMatthias Schiffer
2024-04-28rebel-parse: add support for swapped-add-assign operator (`=+`)Matthias Schiffer
2024-04-28rebel-lang: implement array subtractionMatthias Schiffer
2024-04-28rebel-lang: add validation and typechecking benchmarkMatthias Schiffer
2024-04-28rebel-lang: scope: add Context::record_type()Matthias Schiffer
2024-04-28rebel-lang: typing: fix Type::ast_stmt_type() parameter nameMatthias Schiffer
2024-04-28rebel-lang: repl: skip output for all Unit values, not just empty statementsMatthias Schiffer
2024-04-28rebel-lang: scope: make Module generic againMatthias Schiffer
2024-04-28rebel-lang: scope: rename Context::run() to execute()Matthias Schiffer
2024-04-28rebel-lang: repl: skip evaluation of empty statementsMatthias Schiffer
2024-04-28rebel-lang: typing: add support for typechecking body statementsMatthias Schiffer
2024-04-28rebel-parse: implement validation for statementsMatthias Schiffer
2024-04-28rebel-lang: repl: switch from rustyline to reedlineMatthias Schiffer
2024-04-28rebel-parse: ast: add post-parse validationMatthias Schiffer
2024-04-28rebel-lang: repl: add support for multiline inputMatthias Schiffer
2024-04-28rebel-lang: context: typecheck interpolated expressionsMatthias Schiffer
2024-04-28rebel-lang: implement simple assignments for REPLMatthias Schiffer
2024-04-28rebel-parse: allow expression and empty statementsMatthias Schiffer
2024-04-28rebel-lang: add type checking to REPLMatthias Schiffer
2024-04-28rebel-lang: merge typing and evaluation Context structsMatthias Schiffer