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

User pretty printers don't actually call match_term #172

Closed
mn200 opened this Issue Jun 23, 2014 · 0 comments

Comments

Projects
None yet
1 participant
@mn200
Copy link
Member

mn200 commented Jun 23, 2014

mn200 added a commit that referenced this issue Jun 23, 2014

Test-case for github issue #172
The problem is that the pattern ``x: bool -> bool`` is matching
everything.

@mn200 mn200 closed this in 4847d50 Jun 23, 2014

mn200 added a commit that referenced this issue Jun 23, 2014

Get src/1/selftest.sml to compile under Moscow ML again.
Change in 1ffe317 (new test-case for issue #172) broke compilation
because Moscow ML's handling of record types differs from Poly/ML's.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment