git.iko.soy/Idris-dev
on master help sign in
Remove unused language features
739286eJason Felice
src/Idris/Package/Parser.hs+1−1
compare with master
unifiedsplit
@@ -5,7 +5,7 @@ Copyright :
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
8−{-# LANGUAGE CPP, ConstraintKinds, FlexibleContexts, FlexibleInstances, TypeSynonymInstances #-}
8+{-# LANGUAGE FlexibleContexts #-}
9module Idris.Package.Parser where
9module Idris.Package.Parser where
10
10
11import Idris.CmdOptions
11import Idris.CmdOptions
src/Idris/Parser/Helpers.hs+1−3
@@ -5,9 +5,7 @@ Copyright :
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
8−{-# LANGUAGE CPP, ConstraintKinds, FlexibleContexts, FlexibleInstances,
8+{-# LANGUAGE ConstraintKinds, FlexibleContexts #-}
9− GeneralizedNewtypeDeriving, PatternGuards, StandaloneDeriving,
10− TypeSynonymInstances, UndecidableInstances #-}
11module Idris.Parser.Helpers where
9module Idris.Parser.Helpers where
12
10
13import Idris.AbsSyntax
11import Idris.AbsSyntax