git.iko.soy/Idris-dev
on master help sign in
added entry to CHANGELOG and fixed deriving instance for LAlt'
commit348ce0f161bc3fa40d10cc38f971879f47853720 authorRui Barreiro <rui.barreiro@gmail.com> dateWed 17 May 2017, 18:17 (9 years ago) parentcb85d5e
2 files changed+9−4
compare with master
unifiedsplit
CHANGELOG.md+6 src/IRTS/JavaScript/LangTransforms.hs+3−4
CHANGELOG.md+6
@@ -1,3 +1,9 @@
1+
2+## Tool Updates
3+
4++ New javascript code generator that uses an higher level intermediate
5+ representation.
6+
17# New in 1.0
28
39+ It's about time
src/IRTS/JavaScript/LangTransforms.hs+3−4
@@ -5,8 +5,7 @@ Copyright :
55License : BSD3
66Maintainer : The Idris Community.
77-}
8−{-# LANGUAGE DeriveDataTypeable, DeriveGeneric, FlexibleInstances,
9− OverloadedStrings, StandaloneDeriving #-}
8+{-# LANGUAGE DeriveDataTypeable, OverloadedStrings, StandaloneDeriving #-}
109
1110module IRTS.JavaScript.LangTransforms( removeDeadCode
1211 ) where
@@ -30,8 +29,8 @@ import Data.Data
3029import Data.Generics.Uniplate.Data
3130import GHC.Generics (Generic)
3231
33−deriving instance Typeable (LAlt' LExp)
34−deriving instance Data (LAlt' LExp)
32+deriving instance Typeable a => Typeable (LAlt' a)
33+deriving instance Data a => Data (LAlt' a)
3534deriving instance Typeable FDesc
3635deriving instance Data FDesc
3736deriving instance Typeable LVar