krr / IDP / issues / #479 - Type derivation too strict? — Bitbucket

Issue #479 resolved

Broes De Cat created an issue 2013-07-19

In the attached example, parsing fails, although x is typed explicitly.

constructed_twice.idp

Comments (2)

Bart Bogaerts
Maar T1 en T2 hebben geen gemeenschappelijk supertype. Dus indien iemand dit schrijft is het waarschijnlijk een bug en moet het niet parsen...
- 2013-07-19T08:17:42+00:00
Broes De Cat reporter
- changed status to resolved
- 2013-10-08T15:37:46+00:00
Log in to comment

Assignee: –

Type: bug

Priority: minor

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 1

Jira: the preferred issue tracker for Bitbucket. Join the team!