samvv/bolt
1
0
Fork 0
Code Issues 24 Pull requests Projects Releases Packages Wiki Activity Actions

Add a separate pass to check for missing bindings #62

New issue
Open
opened 2024-02-19 13:30:12 +01:00 by samvv · 0 comments
samvv commented 2024-02-19 13:30:12 +01:00 (Migrated from github.com)
Copy link

Due to issue #47, we need a way to report all unbound identifiers and not just the first one.

One way to solve this would be to never let the type checker inject bindings when it finds that one is missing, but then we also cannot unify the different missing names with each other through a type variable.

The solution left is to create a pass that reports all missing bindings by traversing the AST.

Due to issue #47, we need a way to report _all_ unbound identifiers and not just the first one. One way to solve this would be to never let the type checker inject bindings when it finds that one is missing, but then we also cannot unify the different missing names with each other through a type variable. The solution left is to create a pass that reports all missing bindings by traversing the AST.
Sign in to join this conversation.
No Branch/Tag specified
Branches Tags
main
No results found.
Labels
Clear labels   
blocked

An issue that cannot be solved due to other issues being open

  
blocker

Issues that prevent a lot of other issues from being solved

  
bug

Something isn't working

  
c

All issues about converting Bolt sources to the C programming language

  
codegen

Issues relating to the transformation of an AST to a target language

  
dependencies

Pull requests that update a dependency file

  
discussion

This issue is just a suggestion for an idea that needs to be worked out

  
documentation

Improvements or additions to documentation

  
duplicate

This issue or pull request already exists

  
enhancement

New feature or request

  
good first issue

Good for newcomers

  
help wanted

Extra attention is needed

  
in progress

This issue is being worked on by someone

  
invalid

This doesn't seem right

  
javascript

All issues about converting Bolt sources to JavaScript

  
lexer/parser

All issues having something to do with reading tokens into an AST

  
llvm

All issues about converting Bolt sources to LLVM bytecode

  
macroexpander

Issues that have to do with the unfolding of user-defined syntax transformers

  
performance

All issues related with speeding up the compiler

  
priority:high

Issues that require immediate attention

  
priority:low

If possible, oher issues should be taken care of first

  
priority:normal

All issues that should be solved after the issues with high priority

  
question

Further information is requested

  
triage

This issue has yet to receive labels

  
typechecker

All issues having something to do with the type-checking algortithms

  
webassembly

All issues about converting Bolt sources to WebAssembly

  
wontfix

This will not be worked on

No labels
blocked
blocker
bug
c
codegen
dependencies
discussion
documentation
duplicate
enhancement
good first issue
help wanted
in progress
invalid
javascript
lexer/parser
llvm
macroexpander
performance
priority:high
priority:low
priority:normal
question
triage
typechecker
webassembly
wontfix
Milestone
Clear milestone
No items
No milestone
0.1.0
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: samvv/bolt#62
No description provided.
Delete branch "%!s()"

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?