Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

GHC 9.2.1 support #86

Merged
merged 6 commits into from
Jan 12, 2022
Merged

GHC 9.2.1 support #86

merged 6 commits into from
Jan 12, 2022

Conversation

L-as
Copy link
Member

@L-as L-as commented Jan 11, 2022

No description provided.

@L-as
Copy link
Member Author

L-as commented Jan 11, 2022

Current error:

plutus-core-lib-plutus-core> plutus-core/src/Data/Aeson/THReader.hs:14:22: error:
plutus-core-lib-plutus-core>     • Couldn't match type ‘Code m0’ with ‘Q’
plutus-core-lib-plutus-core>       Expected: Q (TExp a)
plutus-core-lib-plutus-core>         Actual: Code m0 (TExp a)
plutus-core-lib-plutus-core>     • In the Template Haskell quotation [|| res ||]
plutus-core-lib-plutus-core>       In the expression: [|| res ||]
plutus-core-lib-plutus-core>       In a case alternative: Right res -> [|| res ||]
plutus-core-lib-plutus-core>    |
plutus-core-lib-plutus-core> 14 |         Right res -> [||res||]
plutus-core-lib-plutus-core>    |                      ^^^^^^^^^
plutus-core-lib-plutus-core> [  4 of 197] Compiling Data.ByteString.Hash ( plutus-core/src/Data/ByteString/Hash.hs, dist/build/Data/ByteString/Hash.o, dist/build/Data/ByteString/Hash.dyn_o )
plutus-core-lib-plutus-core> [  5 of 197] Compiling Data.SatInt      ( plutus-core/src/Data/SatInt.hs, dist/build/Data/SatInt.o, dist/build/Data/SatInt.dyn_o )
plutus-core-lib-plutus-core> plutus-core/src/Data/SatInt.hs:214:29: error:
plutus-core-lib-plutus-core>     Variable not in scope: smallInteger :: Int# -> Integer
plutus-core-lib-plutus-core>     |
plutus-core-lib-plutus-core> 214 |     toInteger (SI (I# i)) = smallInteger i
plutus-core-lib-plutus-core>     |                             ^^^^^^^^^^^^
plutus-core-lib-plutus-core> [  6 of 197] Compiling ErrorCode        ( common/ErrorCode.hs, dist/build/ErrorCode.o, dist/build/ErrorCode.dyn_o )

Not sure how to fix this yet.

@srid
Copy link
Member

srid commented Jan 11, 2022 •
edited
Loading

HLS support is work in progress (slated for latter this month): haskell/haskell-language-server#2503

@L-as
Copy link
Member Author

L-as commented Jan 11, 2022 •
edited
Loading

haskell-crypto/cryptonite#357

@L-as
Copy link
Member Author

L-as commented Jan 11, 2022 

plutus-core-lib-plutus-core> plutus-core/src/Universe/Core.hs:770:10: error:
plutus-core-lib-plutus-core>     • Could not deduce (GEq uni)
plutus-core-lib-plutus-core>         arising from the superclasses of an instance declaration
plutus-core-lib-plutus-core>       from the context: Closed uni
plutus-core-lib-plutus-core>         bound by the instance declaration
plutus-core-lib-plutus-core>         at plutus-core/src/Universe/Core.hs:770:10-48
plutus-core-lib-plutus-core>     • In the instance declaration for ‘Hashable (SomeTypeIn uni)’
plutus-core-lib-plutus-core>     |
plutus-core-lib-plutus-core> 770 | instance Closed uni => Hashable (SomeTypeIn uni) where
plutus-core-lib-plutus-core>     |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
plutus-core-lib-plutus-core> plutus-core/src/Universe/Core.hs:773:10: error:
plutus-core-lib-plutus-core>     • Could not deduce: Everywhere uni Eq
plutus-core-lib-plutus-core>         arising from the superclasses of an instance declaration
plutus-core-lib-plutus-core>       from the context: (Closed uni, Everywhere uni Hashable)
plutus-core-lib-plutus-core>         bound by the instance declaration
plutus-core-lib-plutus-core>         at plutus-core/src/Universe/Core.hs:773:10-76
plutus-core-lib-plutus-core>     • In the instance declaration for ‘Hashable (ValueOf uni a)’
plutus-core-lib-plutus-core>     |
plutus-core-lib-plutus-core> 773 | instance (Closed uni, uni `Everywhere` Hashable) => Hashable (ValueOf uni a) where
plutus-core-lib-plutus-core>     |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
plutus-core-lib-plutus-core> plutus-core/src/Universe/Core.hs:773:10: error:
plutus-core-lib-plutus-core>     • Could not deduce (GEq uni)
plutus-core-lib-plutus-core>         arising from the superclasses of an instance declaration
plutus-core-lib-plutus-core>       from the context: (Closed uni, Everywhere uni Hashable)
plutus-core-lib-plutus-core>         bound by the instance declaration
plutus-core-lib-plutus-core>         at plutus-core/src/Universe/Core.hs:773:10-76
plutus-core-lib-plutus-core>     • In the instance declaration for ‘Hashable (ValueOf uni a)’
plutus-core-lib-plutus-core>     |
plutus-core-lib-plutus-core> 773 | instance (Closed uni, uni `Everywhere` Hashable) => Hashable (ValueOf uni a) where
plutus-core-lib-plutus-core>     |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
plutus-core-lib-plutus-core> plutus-core/src/Universe/Core.hs:777:10: error:
plutus-core-lib-plutus-core>     • Could not deduce: Everywhere uni Eq
plutus-core-lib-plutus-core>         arising from the superclasses of an instance declaration
plutus-core-lib-plutus-core>       from the context: (Closed uni, Everywhere uni Hashable)
plutus-core-lib-plutus-core>         bound by the instance declaration
plutus-core-lib-plutus-core>         at plutus-core/src/Universe/Core.hs:777:10-81
plutus-core-lib-plutus-core>     • In the instance declaration for ‘Hashable (Some (ValueOf uni))’
plutus-core-lib-plutus-core>     |
plutus-core-lib-plutus-core> 777 | instance (Closed uni, uni `Everywhere` Hashable) => Hashable (Some (ValueOf uni)) where
plutus-core-lib-plutus-core>     |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
plutus-core-lib-plutus-core> plutus-core/src/Universe/Core.hs:777:10: error:
plutus-core-lib-plutus-core>     • Could not deduce (GEq uni)
plutus-core-lib-plutus-core>         arising from the superclasses of an instance declaration
plutus-core-lib-plutus-core>       from the context: (Closed uni, Everywhere uni Hashable)
plutus-core-lib-plutus-core>         bound by the instance declaration
plutus-core-lib-plutus-core>         at plutus-core/src/Universe/Core.hs:777:10-81
plutus-core-lib-plutus-core>     • In the instance declaration for ‘Hashable (Some (ValueOf uni))’
plutus-core-lib-plutus-core>     |
plutus-core-lib-plutus-core> 777 | instance (Closed uni, uni `Everywhere` Hashable) => Hashable (Some (ValueOf uni)) where
plutus-core-lib-plutus-core>     |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

@L-as L-as linked an issue Jan 12, 2022 that may be closed by this pull request
Support latest GHC (currently 9.2.1) #46
Closed
@L-as L-as changed the title Draft GHC 9.2.1 GHC 9.2.1 support Jan 12, 2022
@L-as L-as changed the base branch from master to staging January 12, 2022 19:16
@L-as L-as marked this pull request as ready for review January 12, 2022 19:16
@L-as L-as merged commit 7990c07 into staging Jan 12, 2022
@L-as
Copy link
Member Author

L-as commented Jan 12, 2022

I merged this so we don't make more incompatible changes

@L-as L-as deleted the ghc921 branch January 12, 2022 19:28
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Support latest GHC (currently 9.2.1)
2 participants
@L-as @srid