Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

deriveGEq fails to generate GEq instance for some combinations of versions #9

Open
newhoggy opened this issue Oct 6, 2022 · 1 comment
Open

deriveGEq fails to generate GEq instance for some combinations of versions #9

newhoggy opened this issue Oct 6, 2022 · 1 comment

Comments

@newhoggy
Copy link

newhoggy commented Oct 6, 2022 •
edited
Loading

For the following data type, deriveGEq fails to generate a GEq instance when using dependent-sum-template-0.1.1.1 with dependent-sum-0.6.2.0.

The example code is here:

data DefaultUni a where
    DefaultUniInteger    :: DefaultUni (Esc Integer)
    DefaultUniByteString :: DefaultUni (Esc BS.ByteString)
    DefaultUniString     :: DefaultUni (Esc Text.Text)
    DefaultUniUnit       :: DefaultUni (Esc ())
    DefaultUniBool       :: DefaultUni (Esc Bool)
    DefaultUniProtoList  :: DefaultUni (Esc [])
    DefaultUniProtoPair  :: DefaultUni (Esc (,))
    DefaultUniApply      :: !(DefaultUni (Esc f)) -> !(DefaultUni (Esc a)) -> DefaultUni (Esc (f a))
    DefaultUniData       :: DefaultUni (Esc Data)

deriveGEq ''DefaultUni

Adding a lower bound dependent-sum >= 0.7.1.0 fixes the problem for us. Perhaps dependent-sum-template should add a lower bound in a new revision so that the solver picks versions that work together?
@newhoggy newhoggy mentioned this issue Oct 7, 2022
Closed
10 tasks
@michaelpj michaelpj mentioned this issue Mar 23, 2023
Merged
@michaelpj
Copy link

This is still a problem.

@Ericson2314 Ericson2314 transferred this issue from obsidiansystems/dependent-sum Sep 22, 2023
erikd added a commit to input-output-hk/dependent-sum-template that referenced this issue Sep 25, 2023
@erikd
Make version 0.1.1 compile with ghc-9.8
150e54c 
The `plutus-core` package currently has:
```
    , dependent-sum               >=0.7.1.0
    , dependent-sum-template      <0.1.2
```
This commit takes the commit that was tagged as version 0.1.1.1 and
fixes it for ghc-9.8.

See: obsidiansystems#9
erikd added a commit to input-output-hk/dependent-sum-template that referenced this issue Sep 25, 2023
@erikd
Make version 0.1.1.1 compile with ghc-9.8
31ccadf 
The `plutus-core` package currently has:
```
    , dependent-sum               >=0.7.1.0
    , dependent-sum-template      <0.1.2
```
This commit takes the commit that was tagged as version 0.1.1.1 and
fixes it for ghc-9.8.

See: obsidiansystems#9
erikd added a commit to input-output-hk/dependent-sum-template that referenced this issue Sep 25, 2023
@erikd
Make version 0.1.1.1 compile with ghc-9.8
adb6550 
The `plutus-core` package currently has:
```
    , dependent-sum               >=0.7.1.0
    , dependent-sum-template      <0.1.2
```
This commit takes the commit that was tagged as version 0.1.1.1 and
fixes it for ghc-9.8.

See: obsidiansystems#9
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@newhoggy @michaelpj