click-project/click
2
0
Fork 0
Code Issues 20 Pull requests Projects Releases Packages Wiki Activity Actions

typechecker #28

New issue
Open
opened 2025-10-24 08:47:12 +02:00 by alexander.nutz · 1 comment
alexander.nutz commented 2025-10-24 08:47:12 +02:00
Owner
Copy link
No description provided.
alexander.nutz commented 2025-11-05 06:46:57 +01:00
Author
Owner
Copy link

Maybe do bidirectional typechecking, so that we can give better error messages, like: "this expressions requires x to be an 'unsigned int', but was a 'float'" (bad example)

Maybe do bidirectional typechecking, so that we can give better error messages, like: "this expressions requires x to be an 'unsigned int', but was a 'float'" (bad example)
Sign in to join this conversation.
No Branch/Tag specified
Branches Tags
main
feat/24-ast-dsl
feat/number-literals
No results found.
Labels
Clear labels   
IncrementalParsing
  
Kind
Bug
Something is not working

  
Kind
Documentation
Documentation changes

  
Kind
Enhancement
Improve existing functionality

  
Kind
Feature
New functionality

  
Kind
OtherCompilersCompliance
compliance issue with other C implementations

  
Kind
StandardCompliance
compliance issue with standards

  
Performance
  
Priority
Critical
The priority is critical

  
Priority
High
The priority is high

  
Priority
Low
The priority is low

  
Priority
Medium
The priority is medium

  
Reviewed
Confirmed
Issue has been confirmed

  
Reviewed
Duplicate
This issue or pull request already exists

  
Reviewed
Invalid
Invalid issue

  
Reviewed
Won't Fix
This issue won't be fixed

  
Scope/Lexer

   
Scope/Parser

   
Scope/PreProcessor

   
Scope/PublicApi

   
Scope/Sema

semantic analyzer / type-checker

  
Status
Abandoned
Somebody has started to work on this but abandoned work

  
Status
Blocked
Something is blocking this issue or pull request

  
Status
Need More Info
Feedback is required to reproduce issue or to continue work

  
Testing

missing or incorrect tests

  
UserExperience
No labels
IncrementalParsing
Kind
Bug
Kind
Documentation
Kind
Enhancement
Kind
Feature
Kind
OtherCompilersCompliance
Kind
StandardCompliance
Performance
Priority
Critical
Priority
High
Priority
Low
Priority
Medium
Reviewed
Confirmed
Reviewed
Duplicate
Reviewed
Invalid
Reviewed
Won't Fix
Scope/Lexer
Scope/Parser
Scope/PreProcessor
Scope/PublicApi
Scope/Sema
Status
Abandoned
Status
Blocked
Status
Need More Info
Testing
UserExperience
Milestone
Clear milestone
No items
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
click-project/click#28
No description provided.