Typemaker 1.1 rebased - fixes and improvements#2208

Open

out-of-phaze wants to merge 31 commits intoOpenDreamProject:masterfrom out-of-phaze:experiment/typemaker-1.1-rebase

+862-309

Commits on Feb 23, 2025

Fix CallOperation in TypeMaker
out-of-phaze
committed
Normalize relative paths in error source file paths
out-of-phaze
committed
Add ValType overrides to various expressions
out-of-phaze
committed
Infer ValType for local vars from path hints
out-of-phaze
committed
Improve CallOperation type inference
out-of-phaze
committed
Add inference based on variable typepath
out-of-phaze
committed
Add Typemaker types to file resources
out-of-phaze
committed
Improve DMStandard type hints
out-of-phaze
committed
Further expand DMStandard typehints
out-of-phaze
committed
Expand GetAtomType
out-of-phaze
committed
Make var declaration valtype nullable
out-of-phaze
committed
Separate instance and path DMValueTypes
out-of-phaze
committed
Make automatic local valtype inference more permissive
out-of-phaze
committed
Make typepath unions use common ancestors
out-of-phaze
committed
Add typed lists to Typemaker
out-of-phaze
committed
Improve proc call return value checking
out-of-phaze
committed
Add ValType override to ScopeReference
out-of-phaze
committed
Implement params[] typehints
out-of-phaze
committed
Expand return value validation to check more code paths
out-of-phaze
committed
Propagate valtype information from input() to vars
out-of-phaze
committed
Add more expression ValType overrides
out-of-phaze
committed
Improve IndexOperation ValType inference
out-of-phaze
committed
Add type coercion for Message and Color types
out-of-phaze
committed
Add even more typehints to DMStandard
out-of-phaze
committed
Fix null reference exception in ProcVarEnd
out-of-phaze
committed
Fix nested list types in Typemaker
out-of-phaze
committed
Add even more typehints to DMStandard
out-of-phaze
committed
Improve Typemaker return type checking
out-of-phaze
committed
Improve Typemaker return type inference
out-of-phaze
committed
Prevent false-positive test fail from DMStandard static typing
out-of-phaze
committed
Readd crash to jointext with invalid argument type
out-of-phaze
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Typemaker 1.1 rebased - fixes and improvements#2208

Commits on Feb 23, 2025

Fix CallOperation in TypeMaker

Normalize relative paths in error source file paths

Add ValType overrides to various expressions

Infer ValType for local vars from path hints

Improve CallOperation type inference

Add inference based on variable typepath

Add Typemaker types to file resources

Improve DMStandard type hints

Further expand DMStandard typehints

Expand GetAtomType

Make var declaration valtype nullable

Separate instance and path DMValueTypes

Make automatic local valtype inference more permissive

Make typepath unions use common ancestors

Add typed lists to Typemaker

Improve proc call return value checking

Add ValType override to ScopeReference

Implement params[] typehints

Expand return value validation to check more code paths

Propagate valtype information from input() to vars

Add more expression ValType overrides

Improve IndexOperation ValType inference

Add type coercion for Message and Color types

Add even more typehints to DMStandard

Fix null reference exception in ProcVarEnd

Fix nested list types in Typemaker

Add even more typehints to DMStandard

Improve Typemaker return type checking

Improve Typemaker return type inference

Prevent false-positive test fail from DMStandard static typing

Readd crash to jointext with invalid argument type