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
/
src
/
typecheck.c
Age
Commit message (
Expand
)
Author
2025-04-06
Make it a bit more ergonomic to make function types
Bruce Hill
2025-04-06
Bugfix for default values for tables
Bruce Hill
2025-04-06
Expand reducers so they support stuff like `(+.abs(): nums)` and
Bruce Hill
2025-04-06
Change method calls to use `foo.baz()` instead of `foo:baz()`
Bruce Hill
2025-04-06
Deprecate `!!` print statement
Bruce Hill
2025-04-06
Improve support for inferring the specific type of the `self` value in a
Bruce Hill
2025-04-05
More fixes
Bruce Hill
2025-04-05
More fixes
Bruce Hill
2025-04-05
Misc fixes
Bruce Hill
2025-04-05
Fix comparison with integer literals
Bruce Hill
2025-04-05
Fix some of the constructor logic
Bruce Hill
2025-04-05
Fix up more things
Bruce Hill
2025-04-05
Fix remaining metamethods
Bruce Hill
2025-04-05
Fix metamethods for scaled_by and divided_by
Bruce Hill
2025-04-04
Misc fixes
Bruce Hill
2025-04-04
First working compile of refactor to add explicit typing to declarations
Bruce Hill
2025-04-03
Allow using an untyped empty array/set/table literal for places where
Bruce Hill
2025-04-03
Fix textual representation of table types
Bruce Hill
2025-04-01
Clean up and improve patterns
Bruce Hill
2025-04-01
Move patterns into a module
Bruce Hill
2025-03-31
Remove threads and mutexed data from the language in favor of a
Bruce Hill
2025-03-30
Deprecate built-in Moment datatype in favor of a `time` module
Bruce Hill
2025-03-30
Fix some relative path stuff
Bruce Hill
2025-03-28
Add compiler guards for GCC directives
Bruce Hill
2025-03-28
Minor compat fix
Bruce Hill
2025-03-27
Deprecate custom printf specifiers in favor of print() function that
Bruce Hill
2025-03-21
Move files into src/ and build into build/
Bruce Hill
[prev]