tlang
/
tlang
mirror of https://github.com/tbklang/tlang.git
3
0
Fork 0
Code Issues 40 Projects 5 Releases Wiki Activity
Labels Milestones
New Issue

Type resolution notes #1

Open
opened 1 year ago by deavmi · 0 comments
deavmi commented 1 year ago
Owner

Currently we resolve types in the following order, which for the addition of container types such as <UserDefinedType>* would probably fail as of the order
we do this in.

Resolution order

  1. getBuiltInType()
    • Only chop-and-recurse for <type>*
    • That should actually capture user defined types me thinks? - yeah
  2. On failure of getBuiltInType() resolve by entity lookup
Currently we resolve types in the following order, which for the addition of container types such as `<UserDefinedType>*` would probably fail as of the order we do this in. ![](http://deavmi.assigned.network/git/attachments/8e59920a-72ee-4945-af1d-a2d2e79fc610type_res.png) ### Resolution order 1. `getBuiltInType()` * Only chop-and-recurse for `<type>*` * That should actually capture user defined types me thinks? - yeah 2. On failure of `getBuiltInType()` resolve by entity lookup
image.png
47 KiB
type_res.png
50 KiB
deavmi self-assigned this 1 year ago
deavmi added the typing label 1 year ago
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
feature/multi_module
vardec_varass_dependency
feature/structs
feature/behavec_preinline
feature/lexer_improvements
bugfix/fix_multi_compile
master
feature/annotations
feature/operator_precedence
hotfix/simply_varexp_dnode_generation
hotfix/jcli_upgrade_fix
feature/class_static_init
feature/universal_coercion
feature/cloneability
hotfix/expect_exception_change
bugfix/recursive_return_statement_check
bugfix/require_return
bugfix/return_type
feature/cleanup1
feature/clean_lexer_interface
research/gmalloc
feature/type_enforcer_cast_instr_emit
feature/meta_programming
feature/direct_func_call
bugfix/return_position
bugfix/is_same_type_fallback
feature/lexer_interface
feature/parser_interface
arrays
pointers
bugfix/function_parameter_type_parse
casting
compiler_object
extern_symbols
literal_encodings
uniform_stdalone_varass
remove_typequeue
linearizer_cleanup
parsetypedev_fix
modules
loops
conditionals
vdva_func_param_merge
function_parameters_fix
path_dependency
function_dep
compiler_levels
parser
constants
constants_float
develop
typecheck
deps_refactor
codegen
lexer
typecheck_refactor_varexp_makeacyclic
weighting
testing_thing
typecheck_refactor_varexp
typecheck_refactor
type_check_codegen_reducedparseclass_excep
typecheck_codegen
typecheck_codegen_educedparseclass
typecheck_reliancetree
static_support
codegen.sync-conflict-20210606-150925-O3W7KWN
develop.sync-conflict-20210606-150924-O3W7KWN
struct_support
typecheck.sync-conflict-20210606-150925-O3W7KWN
entity_declaration_type_checking
symbol_table
parser.sync-conflict-20210405-185821-O3W7KWN
parser_exception_before
develop_before_lexer_parser_merge_parseName
if_statement_parsing
exception_except
expression_parsing
master.sync-conflict-20210316-165421-O3W7KWN
expression_parsing.sync-conflict-20210316-090018-O3W7KWN
Labels
Apply labels
Clear labels
dependency
Dependency tree generation emit
Code emitting lexer
Related to the tokenizer meta
Meta processor related needsfix
Urgent fix required parser
Parser related qol
Quality-of-life related question
A question, not needed fix resolution
Related to the resolver typing
TypeChecker and Resolver related
No Label dependency emit lexer meta needsfix parser qol question resolution typing
Milestone
Set milestone
Clear milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Assign users
Clear assignees
No Assignees
deavmi
1 Participants
Notifications
Due Date

No due date set.

Dependencies

No dependencies set.

Reference: tlang/tlang#1
Write Preview
Loading…
Cancel
Save
There is no content yet.
Delete Branch '%!s(<nil>)'

Deleting a branch is permanent. It CANNOT be undone. Continue?

No
Yes