diff options
| author |  Tej Chajed <tchajed@mit.edu> | 2017-10-25 16:05:39 -0400 |
|---|---|---|
| committer | Tej Chajed <tchajed@mit.edu> | 2017-10-25 16:05:39 -0400 |
| commit | 3a5abd404674900397e0b3a4d050e0fb12829406 (patch) | |
| tree | 589e936d471dcd573413f5e5beb62a6cb3c91c28 /plugins/extraction | |
| parent | ad973248998da8d7d10ed00f4bcd6f383ba9a171 (diff) | |
Use GHC.Base.Any for compatibility with GHC 8.2
Fixes #6022.
Diffstat (limited to 'plugins/extraction')
| -rw-r--r-- | plugins/extraction/haskell.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/plugins/extraction/haskell.ml b/plugins/extraction/haskell.ml index f708307c3..28abb7f57 100644 --- a/plugins/extraction/haskell.ml +++ b/plugins/extraction/haskell.ml @@ -58,7 +58,6 @@ let preamble mod_name comment used_modules usf = else str "#ifdef __GLASGOW_HASKELL__" ++ fnl () ++ str "import qualified GHC.Base" ++ fnl () ++ - str "import qualified GHC.Prim" ++ fnl () ++ str "#else" ++ fnl () ++ str "-- HUGS" ++ fnl () ++ str "import qualified IOExts" ++ fnl () ++ @@ -78,7 +77,7 @@ let preamble mod_name comment used_modules usf = (if not usf.tunknown then mt () else str "#ifdef __GLASGOW_HASKELL__" ++ fnl () ++ - str "type Any = GHC.Prim.Any" ++ fnl () ++ + str "type Any = GHC.Base.Any" ++ fnl () ++ str "#else" ++ fnl () ++ str "-- HUGS" ++ fnl () ++ str "type Any = ()" ++ fnl () ++ |