constraint - syntax record haskell

¿Cuál es la sintaxis de los tipos de restricción para GHC 7.4.1?

Question

Recibo el error de que Constraint no está dentro del alcance, cuando intento escribir un ejemplo simple,

{-# LANGUAGE UndecidableInstances,
MultiParamTypeClasses,
KindSignatures,
Rank2Types,
ConstraintKinds,
FlexibleInstances,
OverlappingInstances,
TypeFamilies #-}
type family A a :: Constraint

El error es

> ghci test.hs
[1 of 1] Compiling Main ( test.hs, interpreted )
test.hs:10:20: Not in scope: type constructor or class `Constraint''
Failed, modules loaded: none.

Los sinónimos de restricción parecen funcionar como se esperaba,

type ShowOrd a = (Ord a, Show a)

Gracias por adelantado.

Answer 1

Su error parece ser causado por la Constraint , como es de esperar, no está dentro del alcance. Querrás importarlo desde GHC.Prim o desde GHC.Exts .

Parece un poco extraño que habilitar ConstraintKinds no lo lleve al alcance automáticamente, como lo hace en una compilación de instantáneas 7.3.2 que tenía por ahí, pero ya está.