krr / IDP / issues / #472 - No type check for constructed subtypes of nat — Bitbucket

Issue #472 resolved

Bart Bogaerts created an issue 2013-07-18

see attachemnt

typecheck_constructed.idp

Comments (4)

Bart Bogaerts reporter
- attached typecheck_constructed.idp
- 2013-07-18T15:04:13+00:00
Bart Bogaerts reporter
In fact, subtypes of nat should never be constructed. This does not fit with the definitions of "constructor function" etcetera...
- 2013-07-18T15:25:15+00:00
JoD
- assigned issue to
  
  JoD
- 2013-07-26T15:59:52+00:00
JoD
- changed status to resolved
resolved by 19ff2dc1456118bb456e2b233ea6dbed5e3e8cd3

Solution: constructed types are not allowed as a subtype.
- 2013-10-08T16:58:13+00:00
Log in to comment

Assignee: JoD

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 2

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