FStarLang / FStarLang/pulse

Clear unit binders from env

Open
#153 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
No language data
Stars
36
Forks
11
PR merge metrics
No merged PRs in 30d

Description

The environment is rather noisy with unit bindings. Here is a rather small example
![image](https://github.com/FStarLang/pulse/assets/4195583/cceff0d2-8bba-430c-b805-43e39b626f4d)
Removing them if they don't appear elsewhere seems rather easy

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by reproducing the noisy environment shown in the linked image and trace where unit bindings are added to the environment. Confirm which bindings are unused elsewhere; done means those unused unit bindings no longer appear while bindings referenced elsewhere remain available.

Written by the indexing model from the issue text.

Assessment

Domain
compilers
Issue type
Refactor
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.