Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Cleanup AbsDecl #41

Closed
ice1000 opened this issue May 8, 2019 · 1 comment
Closed

Cleanup AbsDecl #41

ice1000 opened this issue May 8, 2019 · 1 comment
Assignees
Labels
abstract-syntax After desugar, before type-checking

Comments

@ice1000
Copy link
Member

ice1000 commented May 8, 2019

No description provided.

@ice1000 ice1000 added the abstract-syntax After desugar, before type-checking label May 8, 2019
@ice1000 ice1000 self-assigned this May 8, 2019
@owo-bot
Copy link
Member

owo-bot commented May 8, 2019

@ice1000 has created a pull request #42 that might address this issue.
Here's a table of the pull request status:

Status
Age
Last Update
Commit

@ice1000 ice1000 closed this as completed in 2446355 May 8, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
abstract-syntax After desugar, before type-checking
Projects
None yet
Development

No branches or pull requests

2 participants