Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Fri 23 Aug 2019 10:53 - 11:16 at Elk - Metadata Chair(s): Ningning Xie

HIE files are a new type of file that can be emitted by GHC 8.8 via the -fwrite-ide-info flag. They serialize a bunch of useful information about Haskell source files such as symbol references and type information. This means that it is easy and fast for editors and code intelligence tooling to access information about Haskell programs.

HIE files have already been put to good use, they now power the hyperlinked source functionality in Haddock and are the basis of Haskell’s nascent LSIF support. In the future we want to use them to implement a version of haskell-ide-engine which uses less resources and is more reliable, and reimplement GHCi’s +c command (which is widely used by existing tooling). These implementations in terms of HIE files are hopefully more robust and resillient to the continually changing GHC API.

This talk will be an overview of the contents of HIE files, the kinds of problems that they are well suited to solve, and an introduction to consuming them via the GHC API. We hope to give some inspiration to tooling authors about the kinds of projects they can implement just in terms of HIE files.

Fri 23 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00
MetadataHIW at Elk
Chair(s): Ningning Xie The University of Hong Kong
10:30
23m
Talk
Configuration, but without CPP
HIW
Matthew Pickering University of Bristol, John Ericson Obsidian Systems
10:53
23m
Talk
HIE files in GHC 8.8
HIW
Zubin Duggal , Matthew Pickering University of Bristol
11:16
24m
Talk
Tagging Tags: Inferring the presence of pointer tags at compile time.
HIW
11:40
20m
Talk
Lightning talks Slot #1
HIW