tlang/tlang
tlang
/
tlang
mirror of https://github.com/tbklang/tlang.git
2
0
Fork 0
Code Issues 43 Projects 5 Releases Wiki Activity

🐞 Bugfix: Ensure that typed functions contain a return statement #143

New Issue
Closed
opened 2023-07-13 12:50:25 +01:00 by deavmi · 4 comments
deavmi commented 2023-07-13 12:50:25 +01:00
Owner
Copy Link

What is this?

Ensure that a ReturnStmt is present in a function declared with a type in the parser, if not throw an error.

  • Basic check
  • Ensure we only enforce this check when the wantsBody is true, else efunc extern statement (which have no body) will cause it to error as no body is present
  • Add a negative test case
## What is this? Ensure that a `ReturnStmt` is present in a function declared with a type in the parser, if not throw an error. - [x] Basic check - [x] Ensure we only enforce this check when the `wantsBody` is `true`, else `efunc` extern statement (which have no body) will cause it to error as no body is present - [x] Add a negative test case
deavmi added this to the Basics milestone 2023-07-13 12:50:30 +01:00
deavmi self-assigned this 2023-07-13 12:50:32 +01:00
deavmi added the
parser
 label 2023-07-13 12:50:35 +01:00
deavmi added this to the Parser project 2023-07-13 12:50:38 +01:00
deavmi added the due date 2023-07-14 2023-07-13 12:51:19 +01:00
deavmi added reference bugfix/require_return 2023-07-13 12:51:35 +01:00
deavmi changed title from Bugfix: Ensure that typed functions contain a return statement to 🐞 Bugfix: Ensure that typed functions contain a return statement 2023-07-13 12:51:46 +01:00
deavmi added spent time 2023-07-13 12:57:43 +01:00
6 minutes
deavmi started working 2023-07-13 12:57:45 +01:00
deavmi stopped working 2023-07-13 12:59:14 +01:00
1 minute 29 seconds
deavmi modified the due date from 2023-07-14 to 2023-07-20 2023-07-13 12:59:22 +01:00
deavmi started working 2023-07-16 14:56:04 +01:00
deavmi stopped working 2023-07-16 14:56:06 +01:00
2 seconds
deavmi added spent time 2023-07-16 14:56:10 +01:00
3 minutes
deavmi started working 2023-07-16 14:56:12 +01:00
deavmi stopped working 2023-07-16 14:56:26 +01:00
14 seconds
deavmi started working 2023-07-16 14:59:00 +01:00
deavmi commented 2023-07-16 14:59:37 +01:00
Author
Owner
Copy Link

Looks like all good for now, wanna first finish universal coercion

Looks like all good for now, wanna first finish universal coercion
deavmi stopped working 2023-07-16 14:59:40 +01:00
40 seconds
deavmi added a new dependency 2023-07-16 15:00:32 +01:00
#115 🧠️ Feature: Universal coercion and type enforcer
deavmi started working 2023-07-16 17:22:26 +01:00
deavmi commented 2023-07-16 17:22:31 +01:00
Author
Owner
Copy Link

Actually finna merge this now

Actually finna merge this now
deavmi removed a dependency 2023-07-16 17:22:35 +01:00
#115 🧠️ Feature: Universal coercion and type enforcer
deavmi commented 2023-07-16 17:22:51 +01:00
Author
Owner
Copy Link

Merging...

Merging...
deavmi commented 2023-07-16 17:24:08 +01:00
Author
Owner
Copy Link

CI/CD has an error where expected due to type mis-match (will be fixed when feature/universal_coercion is merged)

CI/CD has an error where expected due to type mis-match (will be fixed when `feature/universal_coercion` is merged)
deavmi stopped working 2023-07-16 17:24:08 +01:00
1 minute 42 seconds
Sign in to join this conversation.
bugfix/require_return
Branches Tags
Clear current reference
master
cleanup/container_not_context_container
vardec_varass_dependency
feature/resolver_proxies
bugfix/handle_param_count_arg_mismatch
cleanup/pushback_removal
cleanup/path_trail_deps
cleanup/variable_in_variable_ass
feature/container_update_1
feature/aliases
cleanup/context_drop_container
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

  
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
hashmapper
lebanonmapper
lexer
meta
needsfix
parser
qol
question
resolution
typing
Milestone
Clear milestone
No items
No Milestone
Basics
Projects
Clear projects
No project
Parser
Assignees
Clear assignees
No Assignees
deavmi
1 Participants
Notifications
Total Time Spent: 13 minutes 7 seconds
deavmi
13 minutes 7 seconds
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

2023-07-20

Dependencies

No dependencies set.

Reference: tlang/tlang#143
No description provided.
Delete Branch "%!s(<nil>)"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?