Skip to content
This repository has been archived by the owner on Aug 11, 2022. It is now read-only.

tasty-plutus: Pretty printer fails to format seed and context builder in Case Pass #147

Open
adamczykm opened this issue Jan 4, 2022 · 2 comments
Labels
bug Something isn't working tasty-plutus Concerns tasty-plutus upstream The problem is from upstream

Comments

@adamczykm
Copy link
Contributor

It looks like for some reason after a property is falsified the library has issues with formatting generator seed.

Case Pass                                                                                                                                                    
Inputs                                                                                                                                                       
    Seed                                                                                                                                                     
    MarketTxContext {_vaultManagerContextName = "Random MarketTxContext", _vaultManagerScriptCtx = ScriptTxContext {_sInput = Just (ScriptInput {_sValue = Value (Map [(ef1dd1a137661976c769f598e256b56d872c82b3cb589e5dece303d2,Map [("VaultManager",1)])]), _sDatum = VaultManagerState {totalDebt = MicroLqUsd {getMicroLqUsd = Natural 0}, 

vs

Case Fail                                                                                                                                                                                                         
Inputs                                                                                                                                                                                                            
    Seed                                                                                                                                                                                                          
    MarketTxContext                                                                                                                                                                                               
      { _vaultManagerContextName = "Random MarketTxContext"                                                                                                                                                       
      , _vaultManagerScriptCtx =                                                                                                                                                                                  
          ScriptTxContext                                                                                                                                                                                         
            { _sInput =                                                                                                                                                                                           
                Just                                                                                                                                                                                              
                  ScriptInput                                                                                                                                                                                     
@adamczykm adamczykm added bug Something isn't working tasty-plutus Concerns tasty-plutus labels Jan 4, 2022
@kozross
Copy link
Contributor

kozross commented Jan 4, 2022

This is a pretty-show issue I've encountered before: something in there has a non-standard Show instance, which causes anything it touches to break.

@sergesku
Copy link
Contributor

sergesku commented Feb 4, 2022

I have no idea where the bug comes from

@sergesku sergesku removed their assignment Feb 4, 2022
@re-xyr re-xyr added the upstream The problem is from upstream label Feb 20, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
bug Something isn't working tasty-plutus Concerns tasty-plutus upstream The problem is from upstream
Projects
None yet
Development

No branches or pull requests

5 participants
@adamczykm @kozross @sergesku @re-xyr and others