Ticket #71 (new enhancement)

Opened 3 years ago

Last modified 3 years ago

Allow Undecidable Instances

Reported by: ijones Assigned to: ravi@bluespec.com
Priority: major Milestone:
Component: Proposal Version:
Keywords: Cc:
Impact: normal Adopt: probably no
Topic: Class System

Description

see UndecidableInstances.

Change History

01/06/06 15:04:03 changed by ijones

  • owner changed from ijones to none.

01/18/06 20:29:14 changed by ravi@bluespec.com

  • owner changed from none to ravi@bluespec.com.

03/01/06 15:35:36 changed by john@galois.com

  • topic set to Class System.