search

gcanti / flow-static-land

[DEPRECATED, please check out fp-ts] Implementation of common algebraic types in JavaScript + Flow
MIT License
408 stars 22 forks source link

Aff: flow v0.36 raises an error #45

Closed gcanti closed 7 years ago

gcanti commented 7 years ago 
src/Aff.js:97
 97: export function chain<E1, E2, E: E1 & E2, A, B>(f: (a: A) => Aff<E1, B>, fa: Aff<E2, A>): Aff<E, B> {
                           ^^ E1. This type is incompatible with
 97: export function chain<E1, E2, E: E1 & E2, A, B>(f: (a: A) => Aff<E1, B>, fa: Aff<E2, A>): Aff<E, B> {
            ^ some incompatible instantiation of `E2`

src/Aff.js:97
 97: export function chain<E1, E2, E: E1 & E2, A, B>(f: (a: A) => Aff<E1, B>, fa: Aff<E2, A>): Aff<E, B> {
                           ^^ E1. This type is incompatible with
 97: export function chain<E1, E2, E: E1 & E2, A, B>(f: (a: A) => Aff<E1, B>, fa: Aff<E2, A>): Aff<E, B> {
            ^ some incompatible instantiation of `E`

src/Aff.js:97
 97: export function chain<E1, E2, E: E1 & E2, A, B>(f: (a: A) => Aff<E1, B>, fa: Aff<E2, A>): Aff<E, B> {
                               ^^ E2. This type is incompatible with
 97: export function chain<E1, E2, E: E1 & E2, A, B>(f: (a: A) => Aff<E1, B>, fa: Aff<E2, A>): Aff<E, B> {
            ^ some incompatible instantiation of `E1`