New Typedef library#1204

Draft

castwide wants to merge 114 commits into

masterfrom

typedefs

Commits on May 28, 2026

Add YARD macro support for DSL methods (#1187)

authored and
castwide
committed
YARD macros - More typecheck fixes (#1188)

lekemula
authored and
castwide
committed
Macro fixes (#1189)

committed
Unused macro methods (#1191)
castwide
committed
Infer method calls with parameter names in return types
castwide
committed
Retain existing tags
castwide
committed
JIT macro expansion
castwide
committed
Expand types from chain calls
castwide
committed
Typedef classes
castwide
committed
ComplexType to Typedef::Type
castwide
committed
Resolve named tokens
castwide
committed
Resolve rooted paths
castwide
committed
Type resolves rooted params
castwide
committed
First iteration of Typedef-based inference
castwide
committed
Typedef resolves generics
castwide
committed
Generic syntax
castwide
committed
Typedef chain inference
castwide
committed
Typedef::Dictionary
castwide
committed
Dictionary#closure
castwide
committed
Replace Inference with Dictionary
castwide
committed
DRY Dictionary#define
castwide
committed
Typedef::Linker
castwide
committed
Dictionary#initialize parameters
castwide
committed
Param documentation
castwide
committed
Probe from Dictionary#infer
castwide
committed
Unneeded path exception
castwide
committed
Typedef inspects invalid token values
castwide
committed
Redundant code
castwide
committed
Infer from new
castwide
committed
Token resolution and probes in Dictionary#infer_from
castwide
committed
Return closure pin for undefined chains
castwide
committed
Fixed expectation
castwide
committed
All dictionary linker specs
castwide
committed
Strings and symbols in Typedef tokens
castwide
committed
Pending and corrected specs
castwide
committed
Or specs
castwide
committed
Todo comment
castwide
committed
Linker classes
castwide
committed
Inference with probes
castwide
committed
Resolve class methods from linker
castwide
committed
ComplexType#to_typedef_types spec
castwide
committed
Spec for generic class method return values
castwide
committed
More call specs
castwide
committed
Typedef::Type scopes
castwide
committed
Two more specs
castwide
committed
Or links do not call Chain#infer
castwide
committed
Pin probe exception for local variables
castwide
committed
Or linker placeholder
castwide
committed
infer_from -> infer_proxies
castwide
committed
Stubbed local variable inference
castwide
committed
Typedef::Type#generic?
castwide
committed
Linker::Call#resolve prefers defined local variable types
castwide
committed
Proper token expansion
castwide
committed
Edge case spec
castwide
committed
Placeholder for signature matching
castwide
committed
Typedef::Helpers
castwide
committed
Partial fix for call links referencing local variables
castwide
committed
Memos
castwide
committed
Avoid recursive memos
castwide
committed
Test pending memo tracking
castwide
committed
Infer local variables
castwide
committed
Or linker
castwide
committed
Dictionary drills into method bodies
castwide
committed
ClassVariable linker
castwide
committed
Expand tokens with receiver's binder
castwide
committed
Ignore nil navigation on receivers without nil return types
castwide
committed
Use next_chain for variable pins
castwide
committed
Memos recover from recursive keys
castwide
committed
Nil guards
castwide
committed
Recursive definition warning
castwide
committed
Fix call linker
castwide
committed
Remove Typedef::Helpers
castwide
committed
Infer unique types
castwide
committed
Closure traversal
castwide
committed
Redundant variable
castwide
committed
WIP
castwide
committed
Working spec
castwide
committed
Pending block support
castwide
committed
Use context and binder in call linker
castwide
committed
Linting
castwide
committed
Documentation
castwide
committed
resolve_named_tokens -> expand
castwide
committed
First iteration of block support
castwide
committed
Call linker finds parameters
castwide
committed
Better proxies
castwide
committed
Rework define_from
castwide
committed
Enable nilable types
castwide
committed
Redundant line
castwide
committed
Dictionary handles local variable inference
castwide
committed
Minor refactoring
castwide
committed
Expand on Dictionary#infer
castwide
committed
Move local variable inference back to call linker
castwide
committed
First iteration of generics
castwide
committed
Tweaking infer_proxies
castwide
committed
Comment
castwide
committed
Expansion and inference issues
castwide
committed
Fix variable inference from dictionary
castwide
committed
Expand generics from same pin
castwide
committed
Minor refactoring
castwide
committed
Generics class
castwide
committed
Refactor Generics
castwide
committed
WIP specs
castwide
committed
Organize specs
castwide
committed
Move more generics specs
castwide
committed
Generics#names
castwide
committed
Type/Pin conversions
castwide
committed
Pin::Base#typedef_generics
castwide
committed
Concrete Generics#names specs
castwide
committed
Enable stubbed specs
castwide
committed
Typedef::Typeset
castwide
committed
Typeset specs
castwide
committed
Typeset#expand
castwide
committed
Copyedit
castwide
committed
Merge branch 'master' into typedefs
castwide
committed

Uh oh!

Commits

Commits on May 28, 2026