krr / IDP / issues / #473 - No check for interpretation of constructed types — Bitbucket

Issue #473 resolved

Bart Bogaerts created an issue 2013-07-18

see file

structure_construced.idp

Comments (4)

Bart Bogaerts reporter
- attached structure_construced.idp
- 2013-07-18T15:05:25+00:00
Bart Bogaerts reporter
related:

interpretation of constructor functions should also not be allowed

type T constructed from {c} c="a"
- 2013-07-18T15:08:40+00:00
JoD
- assigned issue to
  
  JoD
- 2013-07-26T15:58:39+00:00
JoD
- changed status to resolved
resolved by 19ff2dc1456118bb456e2b233ea6dbed5e3e8cd3
- 2013-10-08T16:57:34+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!