index
:
tomo
bigints
constructive-reals
decimals
dev
doctests-to-debuglog
formatter
internal-texts
main
optional-list-indexing
optionals
paths
simplified-quotes
static-dependencies
str-paths
table-colons
text2
unicode-identifiers
wordier-types
The Tomo programming language
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
typecheck.c
Age
Commit message (
Expand
)
Author
2025-03-21
Move files into src/ and build into build/
Bruce Hill
2025-03-16
Fixes for opaque external structs
Bruce Hill
2025-03-15
Overhaul of Path so it uses root and array of components instead of
Bruce Hill
2025-03-12
Rename `without_escaping()` -> `from_text()`
Bruce Hill
2025-03-11
Add extern structs
Bruce Hill
2025-03-11
Modify compile_type_info() so it no longer needs an env_t
Bruce Hill
2025-03-11
Bugfix for checking argument validity with promotion (for integer
Bruce Hill
2025-03-10
Fix some issues with compile error reporting
Bruce Hill
2025-03-10
Be more conservative about disallowing constructors as top-level
Bruce Hill
2025-03-10
Fix some scoping issues with type methods and enum returns
Bruce Hill
2025-03-10
Deprecate old constructor logic
Bruce Hill
2025-03-10
Add `convert` keyword for defining conversions
Bruce Hill
2025-03-09
Add better typechecking for Abort (and add `Abort` as a user-reachable
Bruce Hill
2025-03-06
Support 'when' for literal values with equality checking
Bruce Hill
2025-03-05
Overhaul of constructors, making it more consistent and correct. Also
Bruce Hill
2025-03-01
Support post-hoc definitions of escaping rules for DSLs
Bruce Hill
2025-02-20
Support arbitrary argument constructors
Bruce Hill
2025-02-19
Switch to langs using constructors
Bruce Hill
2025-02-10
Tweak `set_binding()` API
Bruce Hill
2025-02-09
Convert the logic for finding closed variables to a more pure functional
Bruce Hill
2025-02-07
Remove dead code
Bruce Hill
2025-01-02
Use `holding` blocks for mutexed data instead of lambdas
Bruce Hill
2025-01-02
Replace threads with generic mutexed datastructures.
Bruce Hill
2024-12-31
Array:heap_pop() now returns an optional value
Bruce Hill
2024-12-31
Add array:pop()
Bruce Hill
2024-12-26
Add text indexing
Bruce Hill
2024-12-22
Fix issue with cross promotion for tables with default values
Bruce Hill
2024-12-21
Support logical binary operators on optionals (promote to booleans)
Bruce Hill
2024-12-19
Add Text:from()/to() and Array:slice() for symmetry
Bruce Hill
2024-12-18
Revert "Deprecate "&" for stack references"
Bruce Hill
2024-12-07
Rename "NONE" to "none"
Bruce Hill
2024-12-06
Improvements and fixes for assigning to table keys
Bruce Hill
2024-12-01
Fix edge case with nested optional
Bruce Hill
2024-11-30
Bring back `table[key]` syntax
Bruce Hill
2024-11-30
Fix for update assignments
Bruce Hill
2024-11-30
Explicitly forbid nested optional types
Bruce Hill
2024-11-29
Rename :serialize() -> :serialized()
Bruce Hill
2024-11-29
Add serialization and deserialization
Bruce Hill
2024-11-24
Cleaner None-handling
Bruce Hill
2024-11-24
Clean up some more null->none renames and fix the documentation. Also
Bruce Hill
2024-11-24
Switch `NaN` to be identical to the null value
Bruce Hill
2024-11-21
Add `NULL` as a syntax for null values.
Bruce Hill
2024-11-17
Rename datetime -> moment
Bruce Hill
2024-11-12
Fixes for 'if' blocks with nested 'else if' that declare variables
Bruce Hill
2024-11-09
Rename `from_text()` to `parse()`
Bruce Hill
2024-11-08
Improve reductions so they work better nested and also have bespoke code
Bruce Hill
2024-11-07
Fix up some stuff with boolean operators and reductions
Bruce Hill
2024-11-05
Deprecate bit-width integer/num literals in favor of using type
Bruce Hill
2024-11-04
Be much more permissive about using integer literals for fixed-size ints
Bruce Hill
2024-11-04
Add some missing functionality for Bytes
Bruce Hill
[next]