github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-29 01:42:43 +03:00
Code Issues Projects Releases Wiki Activity

Bump fused-effects version and remove orphan instance.

Browse Source
This commit is contained in:
Patrick Thomson 2020-02-04 12:29:57 -05:00
parent 9e5d0db61d
commit 0d5bf3716f
2 changed files with 1 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
semantic-python/semantic-python.cabal
View File

@ -21,7 +21,7 @@ tested-with: GHC == 8.6.5
common haskell common haskell
default-language: Haskell2010 default-language: Haskell2010
build-depends: base ^>= 4.13 build-depends: base ^>= 4.13
, fused-effects ^>= 1.0 , fused-effects ^>= 1.0.0.1
, fused-syntax , fused-syntax
, parsers ^>= 0.12.10 , parsers ^>= 0.12.10
, semantic-analysis ^>= 0 , semantic-analysis ^>= 0

5
semantic-python/src/Language/Python/ScopeGraph.hs
View File

@ -16,7 +16,6 @@
{-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeOperators #-} {-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE UndecidableInstances #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
module Language.Python.ScopeGraph module Language.Python.ScopeGraph
( scopeGraphModule ( scopeGraphModule
@ -39,10 +38,6 @@ import Language.Python.Patterns
import ScopeGraph.Convert (Result (..), complete, todo) import ScopeGraph.Convert (Result (..), complete, todo)
import Source.Loc import Source.Loc
-- This orphan instance will perish once it lands in fused-effects.
instance Algebra sig m => Algebra sig (Ap m) where
alg = Ap . alg . handleCoercible
-- This typeclass is internal-only, though it shares the same interface -- This typeclass is internal-only, though it shares the same interface
-- as the one defined in semantic-scope-graph. The somewhat-unconventional -- as the one defined in semantic-scope-graph. The somewhat-unconventional
-- quantified constraint is to avoid having to define Show1 instances for -- quantified constraint is to avoid having to define Show1 instances for