Opened 7 months ago

Closed 5 months ago

#14764 closed task (fixed)

Make $! representation-polymorphic

Reported by: dfeuer Owned by:
Priority: normal Milestone: 8.6.1
Component: Core Libraries Version: 8.2.2
Keywords: TypeInType Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s): Phab:D4382
Wiki Page:

Description

Currently,

($) :: forall r a (b :: TYPE r). (a -> b) -> a -> b

but

($!) :: (a -> b) -> a -> b

It seems fairly obvious that we should generalize ($!).

Change History (2)

comment:1 Changed 7 months ago by dfeuer

Status: newpatch

comment:2 Changed 5 months ago by RyanGlScott

Resolution: fixed
Status: patchclosed
Note: See TracTickets for help on using tickets.