Promoted types accepted without language extensions

We discovered that GHC and GHCi (7.4.1) accept promoted types without specifying language extensions (and even when specifying -XHaskell98). For example, promoted lists are accepted: Prelude type T = [Int,Char] Prelude :i T type T = (:) * Int ((:) * Char ([] *)) -- Defined at interactive:2:6

Re: Promoted types accepted without language extensions

Hi Sean, On Mon, Nov 19, 2012 at 2:18 PM, Sean Leather leat...@cs.uu.nl wrote: We discovered that GHC and GHCi (7.4.1) accept promoted types without specifying language extensions (and even when specifying -XHaskell98). For example, promoted lists are accepted: Prelude type T = [Int,Char]