Opened 9 years ago

Closed 9 years ago

Last modified 5 years ago

#4482 closed feature request (wontfix)

Allow type variables to be instantiated as a typeclass

Reported by: gidyn Owned by:
Priority: normal Milestone: 7.4.1
Component: Compiler (Type checker) Version: 6.12.3
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


Allow code such as

x = [1,True]::[Show]

This would eliminate the need for manual wrapper types, which bloat code with type plumbing.

Change History (4)

comment:1 Changed 9 years ago by simonmar

I'm not sure anyone knows how to do that. Can you point to any papers?

comment:2 Changed 9 years ago by igloo

Milestone: 7.2.1
Status: newinfoneeded

comment:3 Changed 9 years ago by igloo

Resolution: wontfix
Status: infoneededclosed
Type: proposalfeature request

No response from submitter, so closing.

comment:4 Changed 5 years ago by gidyn

Cc: gideon@… removed
Note: See TracTickets for help on using tickets.