diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-11-16 15:51:56 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-11-16 15:51:56 +0100 |
commit | e1afded58ee3162d98f29c97a6e432a5526a731b (patch) | |
tree | fb967b540c7584ecb4971cfaf977b24a05cd6f65 /plugins/extraction | |
parent | a2b02cb9142984b912bf01cea09449d767326f19 (diff) | |
parent | 3a5abd404674900397e0b3a4d050e0fb12829406 (diff) |
Merge PR #6023: Use GHC.Base.Any for compatibility with GHC 8.2
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 () ++ |