Sandy Maguire

the signature: ``` both :: Challenge Scavenge [Bool] (MultiSet RewardContents) -> Challenge Scavenge [Bool] (Multi Set RewardContents) -> Challenge Scavenge [Bool] (MultiSet RewardContents) eitherC :: Challenge Scavenge [Bool] (MultiSet RewardContents)...

Right now I approximate this by putting everything in series, and then afterwards add an equivalent constructor for this. This has a few problems; one of which is that it...

I'm not entirely sure what should happen here. Perhaps the `==` blocks should be emitted as comments in quickspec mode, and the `quickspec_laws` preamble should only be generated once.

repro: ```haskell {-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE NumDecimals #-} {-# LANGUAGE PatternSynonyms #-} {-# LANGUAGE ScopedTypeVariables #-}...

After implementing the suggestion above, it appears that this hangs to the point of locking up other applications during `exploreNoMGU` with `t =`: * `(X1 :: Y -> X) ((X1...

This is actually quite a blocker on my book; I'll see about implementing a solution today, but would love any insight you might have here, Nick!

Repro: ```haskell {-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} module Workflow.WIP2 where import qualified Data.Set as S import Data.Set (Set) import...

Hit this again, this time without `without`. ```haskell quickSpec $ background [sig_types, sig_games_interest] con "gate" gate == Functions == subgame :: Game -> Game -> Game -> Game eitherW ::...

IMO this, along with #46 and #40 suggest there is a bug somewhere in the `background` codepath.

Ugh. The bitrot is real, and this is the sort of problem I avoid rebuilding too often because of :)