diff options
| author | Edward Z. Yang <ezyang@cs.stanford.edu> | 2016-05-12 12:47:16 -0700 |
|---|---|---|
| committer | Edward Z. Yang <ezyang@cs.stanford.edu> | 2016-08-21 00:53:21 -0700 |
| commit | 1f1bd920047fa083de29eba7cedafbe37d350b73 (patch) | |
| tree | e774ab9ecba610ab537265bc622d93e2df3145ec /compiler/main/TidyPgm.hs | |
| parent | 704913cf79c7dbf9bf622fb3cfe476edd478b5a2 (diff) | |
| download | haskell-1f1bd920047fa083de29eba7cedafbe37d350b73.tar.gz | |
Introduce BootUnfolding, set when unfolding is absent due to hs-boot file.
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
Test Plan: validate
Reviewers: simonpj, austin, bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D2246
Diffstat (limited to 'compiler/main/TidyPgm.hs')
| -rw-r--r-- | compiler/main/TidyPgm.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/compiler/main/TidyPgm.hs b/compiler/main/TidyPgm.hs index 6ec1e0234e..5bd94e3cae 100644 --- a/compiler/main/TidyPgm.hs +++ b/compiler/main/TidyPgm.hs @@ -183,8 +183,9 @@ mkBootTypeEnv exports ids tcs fam_insts -- Do make sure that we keep Ids that are already Global. -- When typechecking an .hs-boot file, the Ids come through as -- GlobalIds. - final_ids = [ if isLocalId id then globaliseAndTidyId id - else id + final_ids = [ (if isLocalId id then globaliseAndTidyId id + else id) + `setIdUnfolding` BootUnfolding | id <- ids , keep_it id ] |