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

Errors in Aff module with 0.2.3 #48

Closed CodyReichert closed 7 years ago

CodyReichert commented 7 years ago

I just installed flow-static-land@0.2.3 and am getting the following errors from Flow (Flow version is 0.37.1):

node_modules/flow-static-land/lib/Aff.js.flow: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`

node_modules/flow-static-land/lib/Aff.js.flow: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`

node_modules/flow-static-land/lib/Aff.js.flow: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`

node_modules/flow-static-land/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`

node_modules/flow-static-land/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`

node_modules/flow-static-land/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`

Found 6 errors

Let me know if I can provide any other info

gcanti commented 7 years ago

Hi,

I'll publish a version with a fix (https://github.com/gcanti/flow-static-land/issues/45) asap, thanks for pointing out

gcanti commented 7 years ago

https://github.com/gcanti/flow-static-land/releases/tag/0.2.4

CodyReichert commented 7 years ago

@gcanti - awesome, thanks for the quick reply. I'll test this out today!

CodyReichert commented 7 years ago

Just wanted to leave a quick note that the latest version works great. Thanks again.