@@ -5,8 +5,7 @@ Copyright :
55License : BSD3
66Maintainer : The Idris Community.
77-}
8−{-# LANGUAGE ConstraintKinds, FlexibleContexts, GeneralizedNewtypeDeriving,
9− PatternGuards, TupleSections #-}
8+{-# LANGUAGE FlexibleContexts, TupleSections #-}
109module Idris.Parser.Expr where
1110
1211import Idris.AbsSyntax