Skip to content

Commit

Permalink
FixStylishHaskell
Browse files Browse the repository at this point in the history
  • Loading branch information
bezirg committed Jan 19, 2021
1 parent 7a30d06 commit f974b7e
Show file tree
Hide file tree
Showing 5 changed files with 18 additions and 17 deletions.
Expand Up @@ -42,17 +42,17 @@ module Language.UntypedPlutusCore.Evaluation.Machine.Cek
)
where

import PlutusPrelude
import ErrorCode
import PlutusPrelude

import Language.UntypedPlutusCore.Core
import Language.UntypedPlutusCore.Subst

import Language.PlutusCore.Constant
import qualified Language.PlutusCore.Evaluation.Machine.Cek as Typed (CekUserError (..))
import Language.PlutusCore.Evaluation.Machine.ExBudgeting
import Language.PlutusCore.Evaluation.Machine.ExMemory
import Language.PlutusCore.Evaluation.Machine.Exception
import qualified Language.PlutusCore.Evaluation.Machine.Cek as Typed (CekUserError (..))
import Language.PlutusCore.Evaluation.Result
import Language.PlutusCore.Name
import Language.PlutusCore.Pretty
Expand Down Expand Up @@ -123,7 +123,7 @@ data CekUserError

-- Note: reusing the error-codes of the original Typed CekOutOfExError
instance HasErrorCode CekUserError where
errorCode CekEvaluationFailure = errorCode Typed.CekEvaluationFailure
errorCode CekEvaluationFailure = errorCode Typed.CekEvaluationFailure
errorCode (CekOutOfExError a b) = errorCode $ Typed.CekOutOfExError a b

{- Note [Being generic over @term@ in 'CekM']
Expand Down
2 changes: 1 addition & 1 deletion plutus-errors/exe-bootstrap/TH/Bootstrap.hs
Expand Up @@ -4,12 +4,12 @@ module TH.Bootstrap (
bootstrap
) where

import Numeric.Natural
import Data.Foldable
import Data.Map as M
import ErrorCode
import Language.Haskell.TH
import Language.Haskell.TH.Datatype
import Numeric.Natural

{- |
The purpose of this function is to help in the (re)-generation of 'HasErrorCode' instances
Expand Down
5 changes: 3 additions & 2 deletions plutus-errors/exe-next/Main.hs
@@ -1,9 +1,10 @@
{-# LANGUAGE TemplateHaskell, OverloadedStrings #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE TemplateHaskell #-}
module Main where

import Data.Text.Prettyprint.Doc
import Errors
import Errors.TH.GenCodes
import Data.Text.Prettyprint.Doc

-- | Executable to help developers by returning a currently-unused error code
main :: IO ()
Expand Down
20 changes: 10 additions & 10 deletions plutus-errors/src/Errors.hs
Expand Up @@ -4,17 +4,17 @@
module Errors (allErrors) where

import ErrorCode
import Language.Haskell.TH as TH
import Language.Haskell.TH as TH

import qualified Language.PlutusCore.DeBruijn as PLC
import qualified Language.PlutusCore.Error as PLC
import qualified Language.PlutusCore.Evaluation.Machine.Cek as PLC
import qualified Language.PlutusCore.Evaluation.Machine.Exception as PLC
import qualified Language.PlutusIR.Error as PIR
import qualified Language.PlutusIR.Parser as PIR
import qualified Language.PlutusTx.Code as PTX
import qualified Language.PlutusTx.Compiler.Error as PTX
import qualified Language.PlutusTx.Lift.Class as PTX
import qualified Language.PlutusCore.DeBruijn as PLC
import qualified Language.PlutusCore.Error as PLC
import qualified Language.PlutusCore.Evaluation.Machine.Cek as PLC
import qualified Language.PlutusCore.Evaluation.Machine.Exception as PLC
import qualified Language.PlutusIR.Error as PIR
import qualified Language.PlutusIR.Parser as PIR
import qualified Language.PlutusTx.Code as PTX
import qualified Language.PlutusTx.Compiler.Error as PTX
import qualified Language.PlutusTx.Lift.Class as PTX

{- | A collection of error instances which are obsolete, together with their error codes bundled to one instance.
See plutus-errors/README.md
Expand Down
2 changes: 1 addition & 1 deletion plutus-errors/src/Errors/TH/GenDocs.hs
Expand Up @@ -6,8 +6,8 @@ import Data.List
import qualified Data.Text.Prettyprint.Doc as PP
import ErrorCode
import Errors
import Language.Haskell.TH as TH
import Errors.TH.GenCodes
import Language.Haskell.TH as TH

-- | Generate haddock documentation for all errors and their codes,
-- by creating type-synonyms to lifted dataconstructors using a DataKinds trick.
Expand Down

0 comments on commit f974b7e

Please sign in to comment.