cleanup

src/Analysis/IdentifierName.hs

@@ -1,59 +0,0 @@
-{-# LANGUAGE ScopedTypeVariables, TypeFamilies, TypeOperators, UndecidableInstances #-}
-module Analysis.IdentifierName
-( IdentifierName(..)
-, IdentifierLabel(..)
-, identifierLabel
-) where
-
-import           Data.Abstract.Name (unName)
-import           Data.Aeson
-import           Data.JSON.Fields
-import           Data.Sum
-import qualified Data.Syntax
-import           Data.Term
-import           Prologue
-
--- | Compute a 'IdentifierLabel' label for a 'Term'.
-identifierLabel :: IdentifierName syntax => TermF syntax a b -> Maybe IdentifierLabel
-identifierLabel (In _ s) = IdentifierLabel <$> identifierName s
-
-newtype IdentifierLabel = IdentifierLabel Text
-  deriving (Show)
-
-instance ToJSONFields IdentifierLabel where
-  toJSONFields (IdentifierLabel s) = [ "name" .= s ]
-
-
--- | A typeclass to retrieve the name of syntax identifiers.
---
---   This typeclass employs the Advanced Overlap techniques designed by Oleg Kiselyov & Simon Peyton Jones: https://wiki.haskell.org/GHC/AdvancedOverlap; see also src/Analysis/Declaration.hs for discussion of the details of the mechanism.
-class IdentifierName syntax where
-  identifierName :: syntax a -> Maybe Text
-
-instance (IdentifierNameStrategy syntax ~ strategy, IdentifierNameWithStrategy strategy syntax) => IdentifierName syntax where
-  identifierName = identifierNameWithStrategy (Proxy :: Proxy strategy)
-
-class CustomIdentifierName syntax where
-  customIdentifierName :: syntax a -> Maybe Text
-
-instance Apply IdentifierName fs => CustomIdentifierName (Sum fs) where
-  customIdentifierName = apply @IdentifierName identifierName
-
-instance CustomIdentifierName Data.Syntax.Identifier where
-  customIdentifierName (Data.Syntax.Identifier name) = Just (unName name)
-
-data Strategy = Default | Custom
-
-type family IdentifierNameStrategy syntax where
-  IdentifierNameStrategy (Sum _) = 'Custom
-  IdentifierNameStrategy Data.Syntax.Identifier = 'Custom
-  IdentifierNameStrategy syntax = 'Default
-
-class IdentifierNameWithStrategy (strategy :: Strategy) syntax where
-  identifierNameWithStrategy :: proxy strategy -> syntax a -> Maybe Text
-
-instance IdentifierNameWithStrategy 'Default syntax where
-  identifierNameWithStrategy _ _ = Nothing
-
-instance (CustomIdentifierName syntax) => IdentifierNameWithStrategy 'Custom syntax where
-  identifierNameWithStrategy _ = customIdentifierName

src/Assigning/Assignment.hs

@@ -167,6 +167,8 @@ symbol s = tracing (Choose (Table.singleton s location) Nothing Nothing) `Then`
 rawSource :: HasCallStack => Assignment ast grammar ByteString
 rawSource = tracing Source `Then` return
 
+-- | A rule to produce a node's source as Text. Fails if the node's source
+-- can't be parsed as UTF-8.
 source :: HasCallStack => Assignment ast grammar Text
 source = rawSource >>= \b -> case decodeUtf8' b of
   Right t -> pure t

src/Control/Abstract/Primitive.hs

@@ -1,7 +1,5 @@
 module Control.Abstract.Primitive where
 
-import Prologue
-
 import Control.Abstract.Addressable
 import Control.Abstract.Context
 import Control.Abstract.Environment
@@ -11,7 +9,8 @@ import Control.Abstract.Value
 import Data.Abstract.Name
 import Data.Semigroup.Reducer hiding (unit)
 import Data.Semilattice.Lower
-import qualified Data.Text as T
+import Data.Text (pack, unpack)
+import Prologue
 
 builtin :: ( HasCallStack
            , Member (Allocator address value) effects