@@ -5,7 +5,7 @@ Copyright :
55License : BSD3
66Maintainer : The Idris Community.
77-}
8−{-# LANGUAGE DeriveAnyClass, DeriveDataTypeable, DeriveGeneric,
8+{-# LANGUAGE DeriveDataTypeable, DeriveGeneric,
99 FlexibleInstances, OverloadedStrings, StandaloneDeriving #-}
1010
1111module IRTS.JavaScript.LangTransforms( used_defs
@@ -29,7 +29,6 @@ import IRTS.Lang
2929import Data.Data
3030import Data.Generics.Uniplate.Data
3131import GHC.Generics (Generic)
32−import Idris.Core.DeepSeq
3332
3433deriving instance Typeable (LAlt' LExp)
3534deriving instance Data (LAlt' LExp)
@@ -48,32 +47,6 @@ deriving instance Data LDecl
4847deriving instance Typeable LOpt
4948deriving instance Data LOpt
5049
51−deriving instance Generic LDecl
52−deriving instance NFData LDecl
53−deriving instance Generic LOpt
54−deriving instance NFData LOpt
55−deriving instance Generic LExp
56−deriving instance NFData LExp
57−deriving instance NFData PrimFn
58−deriving instance Generic LVar
59−deriving instance NFData LVar
60−deriving instance NFData (LAlt' LExp)
61−deriving instance Generic (LAlt' e)
62−deriving instance NFData FDesc
63−deriving instance Generic FDesc
64−
65−{-
66−deriving instance NFData FC
67−deriving instance NFData FC'
68−deriving instance NFData SpecialName
69−deriving instance NFData Name
70−deriving instance NFData ArithTy
71−deriving instance NFData IntTy
72−deriving instance NFData NativeTy
73−deriving instance NFData Const
74−deriving instance NFData CaseType
75−-}
76−
7750
7851restrictKeys :: Ord k => Map k a -> Set k -> Map k a
7952restrictKeys m s = Map.filterWithKey (\k _ -> k `Set.member` s) m