ormolu

Author: martyall

Diff for: circom-compat/src/Circom/Solver.hs

@@ -88,16 +88,16 @@ mkProgramEnv ::
   ProgramEnv f
 mkProgramEnv CircomProgram {cpVars = vars, cpCircuit = circ} =
   let vs = relabel hashText vars
-  in ProgramEnv
-    { peFieldSize = FieldSize 32,
-      peRawPrime = toInteger $ char (1 :: f),
-      peVersion = 2,
-      peInputsSize = IntSet.size $ cvPrivateInputs vars <> cvPublicInputs vars,
-      peWitnessSize = IntSet.size $ IntSet.insert oneVar $ cvVars vars,
-      peCircuit = circ,
-      peSignalSizes = inputSizes (cvInputsLabels vs),
-      peCircuitVars = vs
-    }
+   in ProgramEnv
+        { peFieldSize = FieldSize 32,
+          peRawPrime = toInteger $ char (1 :: f),
+          peVersion = 2,
+          peInputsSize = IntSet.size $ cvPrivateInputs vars <> cvPublicInputs vars,
+          peWitnessSize = IntSet.size $ IntSet.insert oneVar $ cvVars vars,
+          peCircuit = circ,
+          peSignalSizes = inputSizes (cvInputsLabels vs),
+          peCircuitVars = vs
+        }
 
 data ProgramState f = ProgramState
   { psInputs :: Inputs f,
@@ -154,10 +154,9 @@ _getInputSize = peInputsSize
 
 -- we dont (yet) support multiple values (e.g. arrays) for signal values
 _getInputSignalSize :: ProgramEnv f -> Word32 -> Word32 -> IO Int
-_getInputSignalSize ProgramEnv {peSignalSizes} msb lsb = 
+_getInputSignalSize ProgramEnv {peSignalSizes} msb lsb =
   let h = mkFNV msb lsb
-  in pure $ fromMaybe 0 $ Map.lookup h peSignalSizes
-  
+   in pure $ fromMaybe 0 $ Map.lookup h peSignalSizes
 
 -- we ignore the last arugment because our signals don't have indices, only names
 _setInputSignal ::

Diff for: circuit/src/Circuit/Arithmetic.hs

@@ -42,6 +42,7 @@ import Data.Map qualified as Map
 import Data.Set qualified as Set
 import Data.Text qualified as Text
 import Protolude
+import Protolude.Unsafe (unsafeHead)
 import Text.PrettyPrint.Leijen.Text as PP
   ( Pretty (..),
     hsep,
@@ -51,7 +52,6 @@ import Text.PrettyPrint.Leijen.Text as PP
     vcat,
     (<+>),
   )
-import Protolude.Unsafe (unsafeHead)
 
 data InputType = Public | Private deriving (Show, Eq, Ord, Generic, NFData)