Add support for NoSpecConstr annotation
authorRoman Leshchinskiy <rl@cse.unsw.edu.au>
Thu, 29 Oct 2009 14:47:43 +0000 (14:47 +0000)
committerRoman Leshchinskiy <rl@cse.unsw.edu.au>
Thu, 29 Oct 2009 14:47:43 +0000 (14:47 +0000)
commit2d7794dcb47f8d157d284912dbff3f65dedc0a2b
tree9384fd7cfbc9603866c6c39cc6efe5a3ef29601e
parentf0183230483e777e8f3d8f325798f3dd8f912a6a
Add support for NoSpecConstr annotation

Annotating a type with NoSpecConstr will prevent SpecConstr from specialising
on arguments of that type. The syntax is

import SpecConstr
{-# ANN type T NoSpecConstr #-}
compiler/simplCore/SimplCore.lhs
compiler/specialise/SpecConstr.lhs