git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Fix GHC 8.0.2 build (and fix #2421) (#2422)

* Fix GHC 8.0.2 build (and fix #2421) * Update CONTRIBUTORS.md

commit46f573a1205c6483716610ec7d5041757f0588ba authorRyan Scott <ryan.gl.scott@gmail.com> dateWed 9 Nov 2016, 15:20 (10 years ago) parent1ecd787
2 files changed+4−2
CONTRIBUTORS.md+1 src/Control/Monad/Supply/Class.hs+3−2
CONTRIBUTORS.md+1
@@ -84,6 +84,7 @@ This file lists the contributors to the PureScript compiler project, and the ter
8484- [@zudov](https://github.com/zudov) (Konstantin Zudov) My existing contributions and all future contributions until further notice are Copyright Konstantin Zudov, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).
8585- [@brandonhamilton](https://github.com/brandonhamilton) (Brandon Hamilton) My existing contributions and all future contributions until further notice are Copyright Brandon Hamilton, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).
8686- [@bbqbaron](https://github.com/bbqbaron) (Eric Loren) My existing contributions and all future contributions until further notice are Copyright Eric Loren, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).
87+- [@RyanGlScott](https://github.com/RyanGlScott) (Ryan Scott) My existing contributions and all future contributions until further notice are Copyright Ryan Scott, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).
8788
8889### Companies
8990
src/Control/Monad/Supply/Class.hs+3−2
@@ -3,6 +3,7 @@
33--
44
55{-# LANGUAGE DefaultSignatures #-}
6+{-# LANGUAGE TypeFamilies #-}
67
78module Control.Monad.Supply.Class where
89
@@ -15,9 +16,9 @@ import Control.Monad.Writer
1516class Monad m => MonadSupply m where
1617 fresh :: m Integer
1718 peek :: m Integer
18− default fresh :: MonadTrans t => t m Integer
19+ default fresh :: (MonadTrans t, MonadSupply n, m ~ t n) => m Integer
1920 fresh = lift fresh
20− default peek :: MonadTrans t => t m Integer
21+ default peek :: (MonadTrans t, MonadSupply n, m ~ t n) => m Integer
2122 peek = lift peek
2223
2324instance Monad m => MonadSupply (SupplyT m) where