739286e · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Remove unused language features

commit739286e432e7b8cf330d3ebe075ce3189ff31864 authorJason Felice <jason.m.felice@gmail.com> dateWed 1 Nov 2017, 21:48 (9 years ago) parent5e9d8de

2 files changed+2−4

unifiedsplit

src/Idris/Package/Parser.hs+1−1

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

55License : BSD3

66Maintainer : The Idris Community.

77-}

8−{-# LANGUAGE CPP, ConstraintKinds, FlexibleContexts, FlexibleInstances, TypeSynonymInstances #-}

8+{-# LANGUAGE FlexibleContexts #-}

99module Idris.Package.Parser where

1010

1111import Idris.CmdOptions

src/Idris/Parser/Helpers.hs+1−3

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

55License : BSD3

66Maintainer : The Idris Community.

77-}

8−{-# LANGUAGE CPP, ConstraintKinds, FlexibleContexts, FlexibleInstances,

9− GeneralizedNewtypeDeriving, PatternGuards, StandaloneDeriving,

10− TypeSynonymInstances, UndecidableInstances #-}

8+{-# LANGUAGE ConstraintKinds, FlexibleContexts #-}

119module Idris.Parser.Helpers where

1210

1311import Idris.AbsSyntax