diff options
author | John MacFarlane <jgm@berkeley.edu> | 2018-03-18 10:46:28 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2018-03-18 10:46:28 -0700 |
commit | 7e389cb3dbdc11126b9bdb6a7741a65e5a94a43e (patch) | |
tree | 0e3ca00745cc0248d803c31e748889fcd02460fa /linux | |
parent | daf731a001ee75ba3e09c8337278fe167ec347ae (diff) | |
download | pandoc-7e389cb3dbdc11126b9bdb6a7741a65e5a94a43e.tar.gz |
Use NoImplicitPrelude and explicitly import Prelude.
This seems to be necessary if we are to use our custom Prelude
with ghci.
Closes #4464.
Diffstat (limited to 'linux')
0 files changed, 0 insertions, 0 deletions