GHC.Iface.Ext.Types

Current version of .hie files

GHC builds up a wealth of information about Haskell source as it compiles it. .hie files are a way of persisting some of this information to disk so that external tools that need to work with haskell source don't need to parse, typecheck, and rename all over again. These files contain:

• a simplified AST

  • nodes are annotated with source positions and types

  • identifiers are annotated with scope information

• the raw bytes of the initial Haskell source

Besides saving compilation cycles, .hie files also offer a more stable interface than the GHC API.

A flattened version of Type.

See Note [Efficient serialization of redundant type info]

Roughly isomorphic to the original core Type.

A list of type arguments along with their respective visibilities (ie. is this an argument that would return True for isVisibleForAllTyFlag?).

Mapping from filepaths to the corresponding AST

NodeInfos grouped by source

Source of node info

A node annotation

The information stored in one AST node.

The type parameter exists to provide flexibility in representation of types (see Note [Efficient serialization of redundant type info]).

Information associated with every identifier

We need to include types with identifiers because sometimes multiple identifiers occur in the same span(Overloaded Record Fields and so on)

Different contexts under which identifiers exist

Eq/Ord instances compare on the converted HieName, as non-exported names may have different uniques after a roundtrip

Types of imports and exports

Scope of a type variable.

This warrants a data type apart from Scope because of complexities introduced by features like -XScopedTypeVariables and -XInstanceSigs. For example, consider:

foo, bar, baz :: forall a. a -> a

Here a is in scope in all the definitions of foo, bar, and baz, so we need a list of scopes to keep track of this. Furthermore, this list cannot be computed until we resolve the binding sites of foo, bar, and baz.

Consequently, a starts with an UnresolvedScope [foo, bar, baz] Nothing which later gets resolved into a ResolvedScopes.

Name's get converted into HieName's before being written into .hie files. See toHieName and fromHieName for logic on how to convert between these two types.

Entity information EntityInfo is a simplified version of TyThing and richer version than Namespace in OccName. It state the kind of the entity, such as Variable, TypeVariable, DataConstructor, etc..

Get the EntityInfo for an Id

Get the EntityInfo for a TyThing