index
:
rebel/rebel
main
Unnamed repository; edit this file 'description' to name the repository.
Matthias Schiffer <mschiffer@universe-factory.net>
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
2024-04-30
rebel-parse, rebel-lang: remove array length from types
Matthias Schiffer
2024-04-29
rebel-lang: merge ast_stmt_type() into record_type() and execute()
Matthias Schiffer
2024-04-29
rebel-lang: repl: use record_type() on a cloned Context instead of ast_stmt_t...
Matthias Schiffer
2024-04-29
examples: update recipe example to use let syntax
Matthias Schiffer
2024-04-29
rebel-lang: typing: do not accept _ in expressions
Matthias Schiffer
2024-04-29
rebel-parse, rebel-lang: distinguish let statements and simple assignments
Matthias Schiffer
2024-04-29
rebel-parse, rebel-lang: rename "body" to "block"
Matthias Schiffer
2024-04-29
rebel-parse: recipe: actually store fetch block in AST
Matthias Schiffer
2024-04-29
rebel-lang: typing: implement turning an AST Type into a runtime Type
Matthias Schiffer
2024-04-29
rebel-lang: scope: add type namespace
Matthias Schiffer
2024-04-29
rebel-parse: ast: typ: allow to distinguish between free and dynamic array le...
Matthias Schiffer
2024-04-29
rebel-parse: limit explicit array length specification to u32
Matthias Schiffer
2024-04-29
rebel-lang: limit array lengths to u32
Matthias Schiffer
2024-04-29
rebel-parse: token: reserve "let" and "mut" keywords
Matthias Schiffer
2024-04-29
rebel-parse: replace TypedExpr with TypedPat
Matthias Schiffer
2024-04-29
rebel-parse: create separate types to represent types
Matthias Schiffer
2024-04-28
rebel-parse: rename struct field name from key to name
Matthias Schiffer
2024-04-28
rebel-parse: split expr out of ast module
Matthias Schiffer
2024-04-28
rebel-lang: typing: change function names for expr types
Matthias Schiffer
2024-04-28
rebel-lang: distinguish explicit and inferred type of variables
Matthias Schiffer
2024-04-28
rebel-lang: add support str comparision
Matthias Schiffer
2024-04-28
rebel-parse: use phf for faster keyword parsing
Matthias Schiffer
2024-04-28
rebel-parse: reserve struct, map and set keywords
Matthias Schiffer
2024-04-28
rebel-lang: typing: use write_str() to format constant strings
Matthias Schiffer
2024-04-28
rebel-lang: value: fix Value enum variant names to match Type variants
Matthias Schiffer
2024-04-28
rebel-lang: typing: remove unused Coerce::None
Matthias Schiffer
2024-04-28
rebel-lang: typing: rename Coerce::Dynamic to Compare
Matthias Schiffer
2024-04-28
rebel-lang: typing: Fix function call type checking to use Coerce::Assign
Matthias Schiffer
2024-04-28
rebel-parse: grammar: order combined assignment operations
Matthias Schiffer
2024-04-28
rebel-parse: box expressions in statements
Matthias Schiffer
2024-04-28
rebel-parse, rebel-lang: rename Map types to Struct
Matthias Schiffer
2024-04-28
rebel-parse: add support for swapped-add-assign operator (`=+`)
Matthias Schiffer
2024-04-28
rebel-lang: implement array subtraction
Matthias Schiffer
2024-04-28
rebel-lang: add validation and typechecking benchmark
Matthias Schiffer
2024-04-28
rebel-lang: scope: add Context::record_type()
Matthias Schiffer
2024-04-28
rebel-lang: typing: fix Type::ast_stmt_type() parameter name
Matthias Schiffer
2024-04-28
rebel-lang: repl: skip output for all Unit values, not just empty statements
Matthias Schiffer
2024-04-28
rebel-lang: scope: make Module generic again
Matthias Schiffer
2024-04-28
rebel-lang: scope: rename Context::run() to execute()
Matthias Schiffer
2024-04-28
rebel-lang: repl: skip evaluation of empty statements
Matthias Schiffer
2024-04-28
rebel-lang: typing: add support for typechecking body statements
Matthias Schiffer
2024-04-28
rebel-parse: implement validation for statements
Matthias Schiffer
2024-04-28
rebel-lang: repl: switch from rustyline to reedline
Matthias Schiffer
2024-04-28
rebel-parse: ast: add post-parse validation
Matthias Schiffer
2024-04-28
rebel-lang: repl: add support for multiline input
Matthias Schiffer
2024-04-28
rebel-lang: context: typecheck interpolated expressions
Matthias Schiffer
2024-04-28
rebel-lang: implement simple assignments for REPL
Matthias Schiffer
2024-04-28
rebel-parse: allow expression and empty statements
Matthias Schiffer
2024-04-28
rebel-lang: add type checking to REPL
Matthias Schiffer
2024-04-28
rebel-lang: merge typing and evaluation Context structs
Matthias Schiffer
[next]