mirror of
https://github.com/github/semantic.git
synced 2024-11-27 12:57:49 +03:00
new kinds need to be invoked with KindSignatures
This commit is contained in:
parent
a6625780e9
commit
f06ae2dbd6
@ -13,7 +13,7 @@ import qualified Language.Python.Tags as PyTags
|
|||||||
import Scope.Graph.Convert
|
import Scope.Graph.Convert
|
||||||
import qualified Tags.Tagging.Precise as Tags
|
import qualified Tags.Tagging.Precise as Tags
|
||||||
|
|
||||||
newtype Term a = Term { getTerm :: Py.Module a }
|
newtype Term a = Term { getTerm :: Py.Module Err a }
|
||||||
|
|
||||||
instance TS.SymbolMatching Term where
|
instance TS.SymbolMatching Term where
|
||||||
matchedSymbols _ = TS.matchedSymbols (Proxy :: Proxy Py.Module)
|
matchedSymbols _ = TS.matchedSymbols (Proxy :: Proxy Py.Module)
|
||||||
|
@ -6,6 +6,7 @@
|
|||||||
{-# LANGUAGE DuplicateRecordFields #-}
|
{-# LANGUAGE DuplicateRecordFields #-}
|
||||||
{-# LANGUAGE FlexibleInstances #-}
|
{-# LANGUAGE FlexibleInstances #-}
|
||||||
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
|
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
|
||||||
|
{-# LANGUAGE KindSignatures #-}
|
||||||
{-# LANGUAGE MultiParamTypeClasses #-}
|
{-# LANGUAGE MultiParamTypeClasses #-}
|
||||||
{-# LANGUAGE TemplateHaskell #-}
|
{-# LANGUAGE TemplateHaskell #-}
|
||||||
{-# LANGUAGE TypeApplications #-}
|
{-# LANGUAGE TypeApplications #-}
|
||||||
|
Loading…
Reference in New Issue
Block a user