Type checking everything! #61

New Issue

Open

opened 2022-12-17 15:38:26 +00:00 by deavmi · 3 comments

deavmi commented

2022-12-17 15:38:26 +00:00

Owner

Copy Link

What is this?

Type checking is rather easy, for the most part, but it hasn't been the focus for the last few months. Rather code generation has. Therefore I want to track what parts of type checking are missing. Not all missing parts will be here, but we will have to manually check the code for missing ones before our alpha release. Form now on, however, I have decided to track the ones from here onwards.

Misc

Items that haven't been put in a category yet:

return statements are not yet type checked (related code gen topic #7)
- ReturnStmt's expression is type checked and may only exist if non-void, and if void then no expression
- Enforce that a return statement exists at the parser level
- Enforce its placement as the last statement
if statements type checking (if that is even a thing?)

Arrays

Items relating to handling of arrays:

Array indexes (should only be integers) (see related topic #81)
Array assignments (see related topic #81)

# What is this? Type checking is rather easy, for the most part, but it hasn't been the focus for the last few months. Rather code generation has. Therefore I want to track what parts of type checking are missing. Not all missing parts will be here, but we will have to manually check the code for missing ones before our alpha release. Form now on, however, I have decided to track the ones from here onwards. ## Misc Items that haven't been put in a category yet: - [x] `return` statements are not yet type checked (related code gen topic #7) - [x] `ReturnStmt`'s expression is type checked and may only exist if non-void, and if void then no expression - [ ] Enforce that a return statement exists at the parser level - [ ] Enforce its placement as the last statement - [ ] `if` statements type checking (if that is even a thing?) ## Arrays Items relating to handling of arrays: - [ ] Array indexes (should only be integers) (see related topic #81) - [ ] Array assignments (see related topic #81)

deavmi added the

typing

label 2022-12-17 15:39:27 +00:00

deavmi added this to the Dependency tree, type-checking and codegen project 2022-12-17 15:39:37 +00:00

deavmi changed title from ~~Type checking~~ to Type checking everything!

2022-12-17 15:39:46 +00:00

deavmi added the due date 2023-02-14

2022-12-17 15:39:59 +00:00

deavmi referenced this issue

2022-12-17 15:40:52 +00:00

Function return statement #7

deavmi self-assigned this 2022-12-19 13:42:02 +00:00

deavmi referenced this issue

2022-12-19 13:42:20 +00:00

Support for conditionals #64

deavmi added reference vardec_varass_dependency

2023-03-08 14:01:45 +00:00

deavmi added this to the Basics milestone 2023-03-08 14:02:08 +00:00

deavmi commented

2023-07-09 14:18:26 +01:00

Author

Owner

Copy Link

This depends on #115 as that is the new mechanism that will be used.

deavmi added a new dependency 2023-07-09 14:18:35 +01:00

#115 🧠️ Feature: Universal coercion and type enforcer

deavmi modified the due date from 2023-02-14 to 2023-08-06

2023-07-09 14:24:41 +01:00

deavmi started working 2023-07-13 12:36:54 +01:00

deavmi commented

2023-07-13 12:37:47 +01:00

Author

Owner

Copy Link

Changing branch to feature/universal_coercion as that is where all the type checking is happening

Changing branch to `feature/universal_coercion` as that is where all the type checking is happening

deavmi changed reference from ~~vardec_varass_dependency~~ to feature/universal_coercion

2023-07-13 12:37:52 +01:00

deavmi commented

2023-07-13 12:38:21 +01:00

Author

Owner

Copy Link

What is this?

Type checking is rather easy, for the most part, but it hasn't been the focus for the last few months. Rather code generation has. Therefore I want to track what parts of type checking are missing. Not all missing parts will be here, but we will have to manually check the code for missing ones before our alpha release. Form now on, however, I have decided to track the ones from here onwards.

Misc

Items that haven't been put in a category yet:

return statements are not yet type checked (related code gen topic #7)

if statements type checking (if that is even a thing?)

Arrays

Items relating to handling of arrays:

Array indexes (should only be integers) (see related topic #81)

Array assignments (see related topic #81)

return statements now checked as of #113

> # What is this? > > Type checking is rather easy, for the most part, but it hasn't been the focus for the last few months. Rather code generation has. Therefore I want to track what parts of type checking are missing. Not all missing parts will be here, but we will have to manually check the code for missing ones before our alpha release. Form now on, however, I have decided to track the ones from here onwards. > > ## Misc > > Items that haven't been put in a category yet: > > - [x] `return` statements are not yet type checked (related code gen topic #7) > - [ ] `if` statements type checking (if that is even a thing?) > > ## Arrays > > Items relating to handling of arrays: > > > - [ ] Array indexes (should only be integers) (see related topic #81) > - [ ] Array assignments (see related topic #81) `return` statements now checked as of #113

deavmi stopped working 2023-07-13 12:38:32 +01:00

1 minute 38 seconds

deavmi added the

parser

label 2023-07-13 12:42:39 +01:00

deavmi started working 2023-07-13 12:43:17 +01:00

deavmi stopped working 2023-07-13 12:43:22 +01:00

5 seconds

feature/universal_coercion

Branches Tags

Clear current reference

master

feature/aliases

vardec_varass_dependency

cleanup/depgen_root_removal

feature/modifiers

bugfix/dgen_expressionless_returns

cleanup/remove_dnodegeneratorbase

feature/comments

feature/operator_precedence

feature/reporting

bugfix/single_line_comment_bug

feature/logging_upgrade

feature/multi_module

feature/unused_vars_detection

feature/container_methods

feature/strat_resolve_collectors

feature/predicate_based_resolver

feature/poolmngr

hotfix/func_defs_in_dep_generator

feature/lexer_improvements

feature/structs

feature/behavec_preinline

bugfix/fix_multi_compile

feature/annotations

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

Clear current reference

multimodule/changeset2

multimodule/changeset1

pointer_cast_merge

parsetypeddeclaration_onlytype_parsecast_new

pointers_coerce

v0.5.3

v0.5.2

v0.5.1

v0.5.0

v0.4.4

v0.4.3

v0.4.2

v0.4.1

v0.4.0

v0.3.0

v0.2.0

v0.1.0

v0.0.5

v0.0.4

v0.0.3

v0.0.2

v0.0.1

Labels

Clear labels

dependency

Dependency tree generation

emit

Code emitting

hashmapper

Anything pertaining to the HashMapper symbol mapping code

lebanonmapper

Anything pertaining to the LebanonMapper symbol mapping code

lexer

Related to the tokenizer