IntersectMBO / IntersectMBO/ouroboros-network

[GHC-9.0.x] Win32-network is not compliant with simplify subsumption proposal implemented in GHC 9.0.0

Open
#2,804 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Haskell
Stars
296
Forks
104
Avg merge
2d 10h
Merged PRs (30d)
4

Description

`Win32-newtork` is not compatible with [Simplify submision proposal](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0287-simplify-subsumption.rst) implemented in GHC-9.0.0...

```
[ 12s] Preprocessing library for Win32-network-0.1.0.0..
[ 12s] Building library for Win32-network-0.1.0.0..
[ 12s] creating dist/build
[ 12s] /usr/bin/ghc --make -fbuilding-cabal-package -O -static -dynamic-too -dynosuf dyn_o -dynhisuf dyn_hi -outputdir dist/build -odir dist/build -hidir dist/build -stubdir dist/build -i -idist/build -isrc -idist/build/autogen -idist/build/global-autogen -Idist/build/autogen -Idist/build/global-autogen -Idist/build -optP-include -optPdist/build/autogen/cabal_macros.h -this-unit-id Win32-network-0.1.0.0-Ff5E3c8IlILIQA4e6hLHWx -hide-all-packages -Wmissing-home-modules -no-user-package-db -package-db dist/package.conf.inplace -package-id base-4.15.0.0 -XHaskell2010 System.IOManager -Wall -Wcompat -Wincomplete-uni-patterns -Wincomplete-record-updates -Wpartial-fields -Widentities -Wredundant-constraints
[ 12s] [1 of 1] Compiling System.IOManager ( src/System/IOManager.hs, dist/build/System/IOManager.o, dist/build/System/IOManager.dyn_o )
[ 12s]
[ 12s] src/System/IOManager.hs:54:21: error:
[ 12s] • Couldn't match type: forall hole1. hole1 -> IO ()
[ 12s] with: hole -> IO ()
[ 12s] Expected: IOManager -> hole -> IO ()
[ 12s] Actual: IOManager -> forall hole. hole -> IO ()
[ 12s] • In the expression: associateWithIOManager
[ 12s] In an equation for ‘associateWithIOCP’:
[ 12s] associateWithIOCP = associateWithIOManager
[ 12s] • Relevant bindings include
[ 12s] associateWithIOCP :: IOManager -> hole -> IO ()
[ 12s] (bound at src/System/IOManager.hs:54:1)
[ 12s] |
[ 12s] 54 | associateWithIOCP = associateWithIOManager
[ 12s] | ^^^^^^^^^^^^^^^^^^^^^^
[ 12s] error: Bad exit status from /var/tmp/rpm-tmp.ZaVZ60 (%build)
```

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.