<commit_before>{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE TupleSections #-}

module Main where

import Data.Functor ((<$>))
import qualified Data.Map as M
import qualified Data.List as L
import Network.IPTables.Ruleset
import Network.IPTables.Parser
import Network.IPTables.IpassmtParser
import System.Environment (getArgs, getProgName)
import System.IO
import Common.Util (isParseErrorWindowsNewline)
import Network.IPTables.Analysis as Analysis
import qualified Network.IPTables.Generated as Isabelle

putErrStrLn = hPutStrLn stderr

readIpAssmt filename = do
    src <- readFile filename<commit_msg>cleaned imports<commit_after>{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE TupleSections #-}

module Main where

import Data.Functor ((<$>))
import qualified Data.List as L
import Network.IPTables.Ruleset
import Network.IPTables.Parser
import Network.IPTables.IpassmtParser
import System.Environment (getArgs, getProgName)
import System.IO
import Common.Util (isParseErrorWindowsNewline)
import Network.IPTables.Analysis as Analysis
import qualified Network.IPTables.Generated as Isabelle

putErrStrLn = hPutStrLn stderr

readIpAssmt filename = do
    src <- readFile filename
{'fraction_non_alphanumeric': 0.07941929974380871, 'fraction_numerical': 0.0, 'mean_word_length': 5.813953488372093, 'pattern_counts': {'":': 0, '<': 7, '<?xml version=': 0, '>': 5, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6166768', 'n_tokens_mistral': 357, 'n_tokens_neox': 354, 'n_words': 101}