-
-
Notifications
You must be signed in to change notification settings - Fork 48
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Bump dependencies Add Debug908.hs Fix renaming of `(,)` to `Tuple2` from `GHC.Tuple.Prim` https://hackage.haskell.org/package/ghc-prim-0.11.0/docs/GHC-Tuple-Prim.html#t:Tuple2 Set conditional `--allow-newer' for ci
- Loading branch information
Showing
9 changed files
with
130 additions
and
9 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,100 @@ | ||
| {-# LANGUAGE CPP #-} | ||
|
|
||
| {-# OPTIONS_GHC -fno-warn-orphans #-} | ||
|
|
||
| {-# LANGUAGE FlexibleInstances #-} | ||
|
|
||
| {- | | ||
| Copyright: (c) 2020 Kowainik | ||
| SPDX-License-Identifier: MPL-2.0 | ||
| Maintainer: Kowainik <[email protected]> | ||
| Useful debugging and printing utilities for HIE types. They are | ||
| implemented in two ways: | ||
| 1. Using derived 'Show' instances. | ||
| 2. Using @ghc@ pretty-printing. | ||
| To make full use of derived 'Show' instances, add the @pretty-simple@ | ||
| package to dependencies and use the @pPrint@ function from the | ||
| @Text.Pretty.Simple@ module. | ||
| -} | ||
|
|
||
| module Stan.Hie.Debug908 | ||
| #if __GLASGOW_HASKELL__ == 908 | ||
| ( debugHieFile | ||
| ) where | ||
|
|
||
| import Text.Pretty.Simple (pPrint) | ||
|
|
||
| import Stan.Core.ModuleName (fromGhcModule) | ||
| import Stan.Ghc.Compat (AvailInfo (..), FieldLabel (..), IfaceTyCon (..), | ||
| IfaceTyConInfo (..), IfaceTyConSort (..), IfaceTyLit (..), Module, | ||
| Name, PromotionFlag (..), TupleSort (..), isExternalName, | ||
| moduleStableString, moduleUnitId, nameModule, nameOccName, | ||
| nameStableString, occNameString, showTUnitId) | ||
| import Stan.Hie.Compat (HieAST (..), HieASTs (..), HieArgs (..), HieFile (..), HieType (..), | ||
| IdentifierDetails (..), NodeInfo (..)) | ||
| import Stan.NameMeta (NameMeta (..)) | ||
|
|
||
| import qualified Text.Show | ||
|
|
||
| import GHC.Iface.Ext.Types (SourcedNodeInfo(..), NodeOrigin(..), ContextInfo(..), IEType(..), BindType(..), Scope(..), DeclType(..), TyVarScope(..), RecFieldContext(..), EvVarSource(..), EvBindDeps(..), DeclType(..), NodeAnnotation (..)) | ||
| import GHC.Types.Var (Specificity(..)) | ||
|
|
||
| debugHieFile :: FilePath -> [HieFile] -> IO () | ||
| debugHieFile path hieFiles = do | ||
| let mHieFile = find (\HieFile{..} -> hie_hs_file == path) hieFiles | ||
| whenJust mHieFile pPrint | ||
|
|
||
| deriving stock instance Show a => Show (SourcedNodeInfo a) | ||
| deriving stock instance Show NodeOrigin | ||
| deriving stock instance Show ContextInfo | ||
| deriving stock instance Show IEType | ||
| deriving stock instance Show BindType | ||
| deriving stock instance Show Scope | ||
| deriving stock instance Show DeclType | ||
| deriving stock instance Show TyVarScope | ||
| deriving stock instance Show EvBindDeps | ||
| deriving stock instance Show EvVarSource | ||
| deriving stock instance Show RecFieldContext | ||
|
|
||
| deriving stock instance Show Specificity | ||
|
|
||
| -- orphan intances | ||
| deriving stock instance Show HieFile | ||
| deriving stock instance Show a => Show (HieType a) | ||
| deriving stock instance Show a => Show (HieAST a) | ||
| deriving newtype instance Show a => Show (HieASTs a) | ||
| deriving newtype instance Show a => Show (HieArgs a) | ||
| deriving stock instance Show a => Show (NodeInfo a) | ||
| deriving stock instance Show a => Show (IdentifierDetails a) | ||
| deriving stock instance Show IfaceTyCon | ||
| deriving stock instance Show IfaceTyConInfo | ||
| deriving stock instance Show IfaceTyConSort | ||
| deriving stock instance Show IfaceTyLit | ||
| deriving stock instance Show PromotionFlag | ||
| deriving stock instance Show TupleSort | ||
| deriving stock instance Show AvailInfo | ||
| deriving stock instance Show FieldLabel | ||
| deriving stock instance Show NodeAnnotation | ||
|
|
||
| instance Show Module where | ||
| show = moduleStableString | ||
|
|
||
| instance Show Name where | ||
| show nm = | ||
| if isExternalName nm | ||
| then show $ toNameMeta nm | ||
| else nameStableString nm | ||
| where | ||
| toNameMeta :: Name -> NameMeta | ||
| toNameMeta name = | ||
| let nameMetaName = toText $ occNameString $ nameOccName name | ||
| nameMetaModuleName = fromGhcModule $ nameModule name | ||
| nameMetaPackage = showTUnitId $ moduleUnitId $ nameModule name | ||
| in NameMeta{..} | ||
| #else | ||
| () where | ||
| #endif | ||
|
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters