Opened 2 years ago

Last modified 2 years ago

#13681 new task

Remove deprecated ForceSpecConstr

Reported by: mpickering Owned by:
Priority: normal Milestone:
Component: Compiler Version: 8.0.1
Keywords: SpecConstr 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:

Description

There is a note at the top of SpecConstr which says

  ToDo [Oct 2013]                                                                     
  ~~~~~~~~~~~~~~~                                                                     
  1. Nuke ForceSpecConstr for good (it is subsumed by GHC.Types.SPEC in ghc-prim) 
  2. Nuke NoSpecConstr 

ForceSpecConstr still exists so this ticket is to track the progress made on removing it.

It isn't clear to me why it is ok to get rid of NoSpecConstr (which prevents SpecConstr firing) either.

Change History (3)

comment:1 Changed 2 years ago by siddhanathan

So if I understand correctly, we can simply remove SpecConstrAnnotation from GHC.Exts since it is deprecated?

comment:2 Changed 2 years ago by mpickering

Right but there's also places where it is wired into the compiler which need to be removed.

comment:3 Changed 2 years ago by simonpj

I'm all for it, but I'm a bit out of touch... would you like to see which packages on Hackage use ForceSpecConstr, if any. If any do, asking the maintainer would be good.

Note: See TracTickets for help on using tickets.