Permalink
Browse files

Remove broken INLINEs

Ignore-this: d78b43e959e0e6b499c1bd77c387094e

darcs-hash:20120118045622-7eff5-2b160444dfbf3391df875184a646d591169791a4.gz
  • Loading branch information...
1 parent 5157ee5 commit f0c69d24074d9e77fd9f4b0636f7363e90d43a55 @reinerp committed Jan 18, 2012
Showing with 0 additions and 3 deletions.
  1. +0 −3 Data/Pattern/Base/Difference.hs
@@ -59,15 +59,12 @@ instance Difference GadtD where
Equal -> f nil
class List a where
- {-# INLINE closure #-}
closure :: forall b. List b =>
Proxy a -> Proxy b ->
ListD (a :++: b)
- {-# INLINE assoc #-}
assoc :: forall b c.
Proxy a -> Proxy b -> Proxy c ->
((a :++: (b :++: c)) :==: ((a :++: b) :++: c))
- {-# INLINE rightIdent #-}
rightIdent :: Proxy a ->
(a :++: '[]) :==: a

0 comments on commit f0c69d2

Please sign in to comment.