aboutsummaryrefslogtreecommitdiff
path: root/src/typecheck.c
AgeCommit message (Collapse)Author
2025-12-22Bugfix for `Success || Void` typecheckingBruce Hill
2025-12-21Don't embed tomo version/path information at compile time, instead inferBruce Hill
it at runtime
2025-12-07Rename `Empty()` -> `Present()` for set-like tablesBruce Hill
2025-12-07Consolidate logic for enums with and without tags with fields.Bruce Hill
2025-12-06Use `foo!` as sugar for `foo.FirstTag!` for enum values. Also, giveBruce Hill
better error messages for this kind of `!` assertion.
2025-12-06Allow discarding Empty() valuesBruce Hill
2025-11-30Add `base` parameter to integer parsing functionsBruce Hill
2025-11-29Overhaul to versioning system (paths go tov2025-11-29Bruce Hill
`/tomo@TOMOVERSION/lib@LIBVERSION` instead of using underscores. Tomo versioning now uses date-based versions.
2025-11-24Fix case where a conditional failure was mistaken for an always failureBruce Hill
2025-11-23Added Metadata section for files instead of _HELP and _USAGEBruce Hill
2025-11-23Better error messages and bugfix for compile_to_type logicBruce Hill
2025-11-23Fix up some type comparisonsBruce Hill
2025-11-22Fixes for conditional expressions for optional typesBruce Hill
2025-10-19Fix signed comparison issuesBruce Hill
2025-10-18Pass through comments on args and use them for help and manpagesBruce Hill
2025-10-12More code cleanupsBruce Hill
2025-10-11Improvements to set support and updating docsBruce Hill
2025-10-11Make `{a,b,c}` shorthand for `{a:Empty(), b:Empty(), c:Empty()}` andBruce Hill
display it that way. Same for type annotations.
2025-10-05Deprecate `deserialize` keyword and `.serialized()` methodBruce Hill
2025-10-05Fix a bunch of issues with optional typesBruce Hill
2025-10-04Deprecate `extend`Bruce Hill
2025-10-02Merge branch 'zero-nones' into devBruce Hill
2025-10-01Fixes for indexing into lists with optional item typesBruce Hill
2025-10-01Convert to using more zero values for `none`Bruce Hill
2025-09-24Revert "Deprecate `defer`"Bruce Hill
This reverts commit 7e3e245f6809946ea06ef1998bcabb7e0902fbd7.
2025-09-21Deprecate binary ops (other than ++) for tables. Instead use properBruce Hill
methods: t.with(other), t.without(other), t.intersection(other), t.difference(other)
2025-09-21Be more lenient with underscore fields and arguments.Bruce Hill
2025-09-21Deprecate `defer`Bruce Hill
2025-09-21Fix testsBruce Hill
2025-09-21Deprecate `>> x ... = val` form of doctests and rename them to 'debugdoctests-to-debuglogBruce Hill
logs', also add multi-expression support
2025-09-21Deprecate optional '?' postfix operatorBruce Hill
2025-09-21Deprecate `extern` keywordBruce Hill
2025-09-21Deprecate setsBruce Hill
2025-09-21Bugfixes for anonymous enums, code cleanup to remove type_to_string(),Bruce Hill
and changed it so anonymous enums show up in doctests with their full type instead of `enum$20`
2025-09-21Got inlne enums working in most placesBruce Hill
2025-09-20WIP on inline enumsBruce Hill
2025-09-09Merge branch 'main' into optional-list-indexingoptional-list-indexingBruce Hill
2025-09-07Be more correct about library names and also strip off `tomo-`Bruce Hill
prefixes/`-tomo` suffixes
2025-09-06Merge branch 'main' into optional-list-indexingBruce Hill
2025-09-06Fixes for prior changesBruce Hill
2025-09-06Code cleanupBruce Hill
2025-09-06Refactor a bit in order to catch issue with ConvertDefs creatingBruce Hill
infinite loops
2025-09-01Merge branch 'main' into formatterBruce Hill
2025-09-01Merge branch 'main' into optional-list-indexingBruce Hill
2025-09-01Fixes for local-tomo so that it *actually* uses local header files,Bruce Hill
which don't need to be installed anymore.
2025-09-01Overhaul code to stop keeping examples and libraries in the same repo,Bruce Hill
but instead spin each out into its own repo.
2025-09-01Change module install directory to PREFIX/lib/tomo_vX.Y/*Bruce Hill
2025-09-01Merge branch 'main' into formatterBruce Hill
2025-09-01Merge branch 'main' into optional-list-indexingBruce Hill
2025-09-01Switch to using Texts(x) instead of Texts(String(x)) when possibleBruce Hill