Benign haskell Download

jukebox 0.5.10

Executes a child processShell command execution capability

SHA-256087c86eda5a74803cc33f9db4ee52bade5ca36dfef4c5e9cf28e59051d41d436

URLhttps://hackage.haskell.org/package/jukebox-0.5.10/jukebox-0.5.10.tar.gz

Evidence

Bind socket to address Print.hs · lines 307–311

| Set.null vs = pPrintForm bind 1 f
| otherwise =
  hsep [
    text q <> brackets (hsep (punctuate comma (map bind (Set.toList vs)))) <> colon,
    nest 2 (pPrintForm bind 1 f)]

Executes a child process gcc-static-libstdc++ · lines 16–24

⋯6 lines
22process $*
23
24exec g++ -static-libgcc -static-libstdc++ $args

Calls a property using bracket notation Easy.hs · lines 52–57

52:22… atch a -> Sat1 a b -> IO b
53runSat1 w x = runSat w [()] (atIndex () x)
54
55atIndex :: (Ord a, Ord b) => b -> Sat1 a c -> Sat a b c
56atIndex !idx m = do
57  wat …

English language detection Clausify.hs · lines 22–24

22clausifyFlags =
23  inGroup "Input and clausifier options" $
24  ClausifyFlags <$>

Contains a catch error handler FindFile.hs · lines 29–35

29:12…  :: IO [FilePath]
30getTPTPDirs = do { dir <- getEnv "TPTP"; return [dir] } `catch` f
31  where f :: IOException -> IO [FilePath]
32        f _ = return []
33
34findFileFlags =
35  inGroup …

No evidence locations were recorded for this file. Raw result