1
1
mirror of https://github.com/github/semantic.git synced 2025-01-03 04:51:57 +03:00

We no longer require rank-2 types.

This commit is contained in:
Rob Rix 2018-03-01 12:06:20 -05:00
parent 6fe72ffecb
commit acb53236c2

View File

@ -1,4 +1,4 @@
{-# LANGUAGE DataKinds, FunctionalDependencies, MultiParamTypeClasses, Rank2Types, GADTs, TypeOperators, DefaultSignatures, UndecidableInstances, ScopedTypeVariables #-}
{-# LANGUAGE DataKinds, FunctionalDependencies, MultiParamTypeClasses, GADTs, TypeOperators, DefaultSignatures, UndecidableInstances, ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
module Data.Abstract.Evaluatable
( Evaluatable(..)