mirror of
https://github.com/github/semantic.git
synced 2024-12-22 06:11:49 +03:00
We don’t define GADTs here.
This commit is contained in:
parent
d78b259987
commit
65fdc4d805
@ -1,4 +1,4 @@
|
||||
{-# LANGUAGE DataKinds, FunctionalDependencies, GADTs, TypeOperators, DefaultSignatures, UndecidableInstances, ScopedTypeVariables #-}
|
||||
{-# LANGUAGE DataKinds, FunctionalDependencies, TypeOperators, DefaultSignatures, UndecidableInstances, ScopedTypeVariables #-}
|
||||
{-# LANGUAGE TypeApplications #-}
|
||||
module Data.Abstract.Evaluatable
|
||||
( Evaluatable(..)
|
||||
|
Loading…
Reference in New Issue
Block a user