1
1
mirror of https://github.com/github/semantic.git synced 2024-11-28 01:47:01 +03:00

We no longer define a constraint synonym.

This commit is contained in:
Rob Rix 2018-06-06 10:04:38 -04:00
parent d93ce65861
commit 3fc86616a5

View File

@ -1,4 +1,4 @@
{-# LANGUAGE ConstraintKinds, GADTs, RankNTypes, ScopedTypeVariables, TypeOperators, UndecidableInstances #-}
{-# LANGUAGE GADTs, RankNTypes, ScopedTypeVariables, TypeOperators, UndecidableInstances #-}
module Data.Abstract.Evaluatable
( module X
, Evaluatable(..)