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-09-07
Be more correct about library names and also strip off `tomo-`
Bruce Hill
2025-09-06
Fixes for prior changes
Bruce Hill
2025-09-06
Code cleanup
Bruce Hill
2025-09-06
Refactor a bit in order to catch issue with ConvertDefs creating
Bruce Hill
2025-09-01
Merge branch 'main' into formatter
Bruce Hill
2025-09-01
Fixes for local-tomo so that it *actually* uses local header files,
Bruce Hill
2025-09-01
Overhaul code to stop keeping examples and libraries in the same repo,
Bruce Hill
2025-09-01
Change module install directory to PREFIX/lib/tomo_vX.Y/*
Bruce Hill
2025-09-01
Merge branch 'main' into formatter
Bruce Hill
2025-09-01
Switch to using Texts(x) instead of Texts(String(x)) when possible
Bruce Hill
2025-08-31
Merge branch 'main' into formatter
Bruce Hill
2025-08-31
Add argument aliases so programs can use `func main(verbose|v=no)` to do
Bruce Hill
2025-08-29
Fix for typechecking reductions
Bruce Hill
2025-08-25
Splitting out parser more.
Bruce Hill
2025-08-25
Split out some parser functionality.
Bruce Hill
2025-08-25
More docs and moving parsing into a subfolder.
Bruce Hill
2025-08-24
Remove vim modelines
Bruce Hill
2025-08-24
Constructors and functions with underscore arguments should be allowed to be ...
Bruce Hill
2025-08-24
Code cleanup
Bruce Hill
2025-08-24
Better error message
Bruce Hill
2025-08-23
Don't align trailing comments
Bruce Hill
2025-08-23
Autoformat everything with clang-format
Bruce Hill
2025-08-23
Lots of cleanups
Bruce Hill
2025-08-23
Remove some unused imports
Bruce Hill
2025-08-19
Some pedantic fixes vetted against compiling on mac.
Bruce Hill
2025-08-17
Don't allow compiling optional values into non-optional ones.
Bruce Hill
2025-08-17
Bugfix: added support for Tomo identifiers that are C keywords
Bruce Hill
2025-08-17
Major improvements to type inference to support `JSON({"key"=yes,
Bruce Hill
2025-08-16
Improved parsing and prefix/suffix matching using a `remainder`
Bruce Hill
2025-08-10
Add full protection against accessing fields and methods that start with
Bruce Hill
2025-08-09
Deprecate cords from the gc library in favor of dogfooding Text from the
Bruce Hill
2025-05-25
Optimize codegen for enums: no longer bother with a struct wrapper, but
Bruce Hill
2025-05-21
Added Set infix operations, as well as Table.with_fallback() and fixed
Bruce Hill
2025-05-20
Add more advanced configuration options to modules.ini and support
Bruce Hill
2025-05-17
Add `modules.ini` file for import aliases, as well as default aliases
Bruce Hill
2025-05-11
Add new system for tracking versions.
Bruce Hill
2025-05-05
Fix some permission stuff to make it more seamless to install to
Bruce Hill
2025-05-03
Bugfix for promotions in comparisons
Bruce Hill
2025-04-30
Update wording to remove 'null'
Bruce Hill
2025-04-30
Update compiler to use randomly generated unique-per-file symbol
Bruce Hill
2025-04-28
Remove remaining printf references
Bruce Hill
2025-04-21
Switch from XML to s-expressions and add --parse flag for printing them
Bruce Hill
2025-04-21
Add `assert`
Bruce Hill
2025-04-21
Rename List.first() to List.where()
Bruce Hill
2025-04-16
Fixes to get the compiler to build with -O3
Bruce Hill
2025-04-15
Make some compatibility fixes to make sure the compiler can fully build
Bruce Hill
2025-04-15
Deprecate `auto`
Bruce Hill
2025-04-15
Add configuration script to choose install paths and default C compiler
Bruce Hill
2025-04-07
Add table.get_or_set()
Bruce Hill
2025-04-07
Remove table.bump()
Bruce Hill
[next]