Commit 4683324d authored by Fredrik Wieczerkowski's avatar Fredrik Wieczerkowski

Remove RankNTypes extension

parent 56d70705
......@@ -5,7 +5,6 @@ Version (1.2.0) (WIP)
=====================
* Added support for the `ExplicitForAll` language extension
* Added support for the `RankNTypes` language extension
* Added support for latex-style in literate curry
* Removed support for existential quantified type variables in data type declarations
......
......@@ -56,8 +56,7 @@ instance Binary KnownExtension where
put FunctionalPatterns = putWord8 2
put NegativeLiterals = putWord8 3
put NoImplicitPrelude = putWord8 4
put RankNTypes = putWord8 5
put ExplicitForAll = putWord8 6
put ExplicitForAll = putWord8 5
get = do
x <- getWord8
......@@ -67,8 +66,7 @@ instance Binary KnownExtension where
2 -> return FunctionalPatterns
3 -> return NegativeLiterals
4 -> return NoImplicitPrelude
5 -> return RankNTypes
6 -> return ExplicitForAll
5 -> return ExplicitForAll
_ -> fail "Invalid encoding for KnownExtension"
-- |Known language extensions of Curry.
......@@ -78,7 +76,6 @@ data KnownExtension
| FunctionalPatterns -- ^ functional patterns
| NegativeLiterals -- ^ negative literals
| NoImplicitPrelude -- ^ no implicit import of the prelude
| RankNTypes -- ^ arbitrary-rank polymorphism
| ExplicitForAll -- ^ explicit forall
deriving (Eq, Read, Show, Enum, Bounded)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment