fwcd / fwcd/tip

Handle recursive definitions in the type-checker

Open
#6 0 comments 0 reactions 0 assignees View on GitHub
bug frontend
Dominant language
Haskell
Stars
1
Forks
0
PR merge metrics
No merged PRs in 30d

Description

```haskell
let recursive = recursive in recursive
```

currently throws an unbound variable error.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.