1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
-----------------------------------------------------------------------------
-- |
-- Module : SBVHLint
-- Copyright : (c) Levent Erkok
-- License : BSD3
-- Maintainer: erkokl@gmail.com
-- Stability : experimental
--
-- HLint interface for SBV testsuite
-----------------------------------------------------------------------------
{-# OPTIONS_GHC -Wall -Werror #-}
module Main (main) where
import System.Exit (exitWith)
import System.Process
arguments :: [String]
arguments =
[ "Data"
, "SBVTestSuite"
, "Documentation"
, "-i", "Use otherwise"
, "-i", "Parse error"
, "--cpp-simple"
]
main :: IO ()
main = exitWith =<< rawSystem "hlint" arguments
|
