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 (
Collapse
)
Author
2025-04-04
Misc fixes
Bruce Hill
2025-04-04
First working compile of refactor to add explicit typing to declarations
Bruce Hill
and support untyped empty collections and `none`s
2025-04-03
Allow using an untyped empty array/set/table literal for places where
Bruce Hill
the expected type is known
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
module-based approach
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
uses _Generic() to generically convert any value to a string or print as a string.
2025-03-21
Move files into src/ and build into build/
Bruce Hill
