tonyfloatersu comments

Repositories
Issues
Comments

Results 3 comments of


                                            tonyfloatersu

Correctly unify typeclass constraints when inferring types

The solution might lies in [this place](https://github.com/billpmurphy/hask/blob/4609cc8d9d975f51b6ecdbd33640cdffdc28f953/hask/lang/hindley_milner.py#L272) since you didn't copy the constraints to the new TypeVariable. The origin version of this HM type system python implement did not take...

Correctly unify typeclass constraints when inferring types

BTW you can try to add an option for `Arrow` in the `fresh` function since you might encounter the function with sig `(int -> int)` be copyed into `(-> int...

Error:cabal: configure failed

Same problem in Windows 10. Here is the return message: Information:cabal: Start configure Information:cabal: cabal: haskell_hello_world.cabal:1: Parse of field 'name' failed. Information:11/23/2016 10:49 PM - Compilation completed with 1 error...