3f2e1af · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

moved data and typeable deriving of LAlt' to its definition

commit3f2e1af1304b1dc1b68adba75f0cb80890427b17 authorRui Barreiro <rui.barreiro@gmail.com> dateWed 17 May 2017, 22:45 (9 years ago) parent415c94c

2 files changed+4−4

unifiedsplit

src/IRTS/JavaScript/LangTransforms.hs−2

@@ -29,8 +29,6 @@ import Data.Data

2929import Data.Generics.Uniplate.Data

3030import GHC.Generics (Generic)

3131

32−deriving instance Typeable a => Typeable (LAlt' a)

33−deriving instance Data a => Data (LAlt' a)

3432deriving instance Typeable FDesc

3533deriving instance Data FDesc

3634deriving instance Typeable LVar

src/IRTS/Lang.hs+4−2

@@ -5,7 +5,7 @@ Copyright :

55License : BSD3

66Maintainer : The Idris Community.

77-}

8−{-# LANGUAGE DeriveFunctor, DeriveGeneric, PatternGuards #-}

8+{-# LANGUAGE DeriveDataTypeable, DeriveFunctor, DeriveGeneric, PatternGuards #-}

1010module IRTS.Lang where

1111

@@ -14,7 +14,9 @@ import Idris.Core.TT

1414

1515import Control.Applicative hiding (Const)

1616import Control.Monad.State hiding (lift)

17+import Data.Data (Data)

1718import Data.List

19+import Data.Typeable (Typeable)

1820import Debug.Trace

1921import GHC.Generics (Generic)

2022

@@ -117,7 +119,7 @@ data FType = FArith ArithTy

117119data LAlt' e = LConCase Int Name [Name] e

118120 | LConstCase Const e

119121 | LDefaultCase e

120− deriving (Show, Eq, Functor)

122+ deriving (Show, Eq, Functor, Data, Typeable)

121123

122124type LAlt = LAlt' LExp

123125