krr / IDP / issues / #360 - Type int is derived where a finite type should be derived — Bitbucket

Issue #360 invalid

Broes De Cat created an issue 2013-02-19

No warning is thrown, making it impossible to notice without increasing the verbosity.

Possible duplicate?

NEW_BUG_IN_TYPE_DERIVATION.idp

Comments (2)

Broes De Cat reporter
- edited description
- 2013-02-19T17:44:39+00:00
Bart Bogaerts
- changed status to invalid
File correctly derives finite type with me...
- 2013-09-05T13:11:06+00:00
Log in to comment

Assignee: Bart Bogaerts

Type: bug

Priority: minor

Status: invalid

Component: –

Version: –

Votes: 0

Watchers: 1

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