View on GitHub
File Changes
import           Control.Lens                           hiding (Strict)

                      
import           Data.List
-
import           Data.List.NonEmpty hiding (reverse, partition)
+
import           Data.List.NonEmpty                     hiding (partition, reverse)

                      
{- Note [Extra definitions while compiling let-bindings]
The let-compiling passes can generate some additional definitions, so we use the
        _ -> lift $ getEnclosing >>= \p -> throwing _Error $ CompilationError p "Internal error: type binding in term binding group"
    case nonEmpty binds of
        Just tbs -> compileRecTerms body tbs
-
        Nothing -> pure body
+
        Nothing  -> pure body
compileRecTermBindings _ body bs = lift $ getEnclosing >>= \p -> pure $ Let p Rec bs body

                      
compileRecTypeBindings :: Compiling m e a => LetKind -> PIRTerm a -> [Binding TyName Name (Provenance a)] -> m (PIRTerm a)
import           Control.Monad.Error.Lens
import           Control.Monad.Trans

                      
-
import           Data.List.NonEmpty hiding (length)
-
import qualified Data.Set as Set
+
import           Data.List.NonEmpty                         hiding (length)
+
import qualified Data.Set                                   as Set

                      
import qualified Language.PlutusCore                        as PLC
import qualified Language.PlutusCore.MkPlc                  as PLC

                      
toProgramName :: SharedName -> Quote (PLC.Name ())
toProgramName (FixpointCombinator n) = freshName () ("fix" <> T.pack (show n))
-
toProgramName FixBy = freshName () "fixBy"
+
toProgramName FixBy                  = freshName () "fixBy"