git.iko.soy/Idris-dev
on master help sign in
Remove unused language features
295ce57Jason Felice
src/Idris/Parser/Expr.hs+1−2
compare with master
unifiedsplit
@@ -5,8 +5,7 @@ Copyright :
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
8−{-# LANGUAGE ConstraintKinds, FlexibleContexts, GeneralizedNewtypeDeriving,
8+{-# LANGUAGE FlexibleContexts, TupleSections #-}
9− PatternGuards, TupleSections #-}
10module Idris.Parser.Expr where
9module Idris.Parser.Expr where
11
10
12import Idris.AbsSyntax
11import Idris.AbsSyntax