... | @@ -173,10 +173,19 @@ Consider the case when the .hs source file that exists on disk doesn't compile, |
... | @@ -173,10 +173,19 @@ Consider the case when the .hs source file that exists on disk doesn't compile, |
|
stale .hie file to aid the user working on the .hs file. This is possible if we recover the original, compiling source from the .hie file and cross-reference/diff it with the edited file, so that we can still answer user queries for
|
|
stale .hie file to aid the user working on the .hs file. This is possible if we recover the original, compiling source from the .hie file and cross-reference/diff it with the edited file, so that we can still answer user queries for
|
|
portions of the file that haven't been edited(Indeed, this is how haskell-ide-engine currently works, but instead of reading from a .hie file, it maintains an in-memory cache of the last good `TypecheckedModule` corresponding to the source)
|
|
portions of the file that haven't been edited(Indeed, this is how haskell-ide-engine currently works, but instead of reading from a .hie file, it maintains an in-memory cache of the last good `TypecheckedModule` corresponding to the source)
|
|
|
|
|
|
|
|
|
|
## Links to additional discussion
|
|
## Links to additional discussion
|
|
|
|
|
|
|
|
|
|
|
|
|
|
[ Initial discussion on \#ghc](https://gist.github.com/wz1000/46bb4b2121f0911bbbf4d4743fafaba8) (The .hie(.hi Extended) name suggested by mpickering, cbor serialisation suggested by hvr)
|
|
[ Initial discussion on \#ghc](https://gist.github.com/wz1000/46bb4b2121f0911bbbf4d4743fafaba8) (The .hie(.hi Extended) name suggested by mpickering, cbor serialisation suggested by hvr)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
[ https://github.com/haskell/haddock/issues/715](https://github.com/haskell/haddock/issues/715)
|
|
[ https://github.com/haskell/haddock/issues/715](https://github.com/haskell/haddock/issues/715)
|
|
|
|
|
|
[ Original GSOC Proposal](https://docs.google.com/document/d/1QP4tV-oSJd3X90JKVY4D__Dfr-ypVB57p1yDqyk2aQ8/edit?usp=sharing) |
|
|
|
\ No newline at end of file |
|
|
|
|
|
[ Original GSOC Proposal](https://docs.google.com/document/d/1QP4tV-oSJd3X90JKVY4D__Dfr-ypVB57p1yDqyk2aQ8/edit?usp=sharing)
|
|
|
|
|
|
|
|
|