Skip to content

Fix is_rec_assign bug in simpleChecker.ml#43

Open
0npv527yh9 wants to merge 1 commit intomasterfrom
bugfix/simplechecker-recursive
Open

Fix is_rec_assign bug in simpleChecker.ml#43
0npv527yh9 wants to merge 1 commit intomasterfrom
bugfix/simplechecker-recursive

Conversation

@0npv527yh9
Copy link
Copy Markdown
Contributor

Resolve #42

Change to return `false` in the case of unknown type variables
because such type variables will turn out to be `Int`.
(`false` is returned in the case of `Int`.)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Bug in SimpleChecker for Recursive Types

1 participant