git.iko.soy/Idris-dev
on master help sign in
added entry to CHANGELOG and fixed deriving instance for LAlt'
348ce0fRui Barreiro
CHANGELOG.md+6
compare with master
unifiedsplit
@@ -1,3 +1,9 @@
1+
2+## Tool Updates
3+
4++ New javascript code generator that uses an higher level intermediate
5+ representation.
6+
1# New in 1.0
7# New in 1.0
2
8
3+ It's about time
9+ It's about time
src/IRTS/JavaScript/LangTransforms.hs+3−4
@@ -5,8 +5,7 @@ Copyright :
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
8−{-# LANGUAGE DeriveDataTypeable, DeriveGeneric, FlexibleInstances,
9− OverloadedStrings, StandaloneDeriving #-}
8+{-# LANGUAGE DeriveDataTypeable, OverloadedStrings, StandaloneDeriving #-}
10
9
11module IRTS.JavaScript.LangTransforms( removeDeadCode
10module IRTS.JavaScript.LangTransforms( removeDeadCode
12 ) where
11 ) where
@@ -30,8 +29,8 @@ import Data.Data
30import Data.Generics.Uniplate.Data
29import Data.Generics.Uniplate.Data
31import GHC.Generics (Generic)
30import GHC.Generics (Generic)
32
31
33−deriving instance Typeable (LAlt' LExp)
32+deriving instance Typeable a => Typeable (LAlt' a)
34−deriving instance Data (LAlt' LExp)
33+deriving instance Data a => Data (LAlt' a)
35deriving instance Typeable FDesc
34deriving instance Typeable FDesc
36deriving instance Data FDesc
35deriving instance Data FDesc
37deriving instance Typeable LVar
36deriving instance Typeable LVar