<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
<head>
<!-- Generated by HsColour, http://www.cs.york.ac.uk/fp/darcs/hscolour/ -->
<title>src/Settings.hs</title>
<link type='text/css' rel='stylesheet' href='hscolour.css' />
</head>
<body>
<pre><a name="line-1"></a><span class='hs-comment'>{-# LANGUAGE PatternGuards, ViewPatterns #-}</span>
<a name="line-2"></a>
<a name="line-3"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>Settings</span><span class='hs-layout'>(</span>
<a name="line-4"></a> <span class='hs-conid'>Severity</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-conid'>FuncName</span><span class='hs-layout'>,</span> <span class='hs-conid'>Setting</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-varid'>isClassify</span><span class='hs-layout'>,</span> <span class='hs-varid'>isMatchExp</span><span class='hs-layout'>,</span>
<a name="line-5"></a> <span class='hs-varid'>defaultHintName</span><span class='hs-layout'>,</span> <span class='hs-varid'>isUnifyVar</span><span class='hs-layout'>,</span>
<a name="line-6"></a> <span class='hs-varid'>readSettings</span><span class='hs-layout'>,</span> <span class='hs-varid'>readPragma</span><span class='hs-layout'>,</span> <span class='hs-varid'>findSettings</span>
<a name="line-7"></a> <span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-8"></a>
<a name="line-9"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>HSE</span><span class='hs-varop'>.</span><span class='hs-conid'>All</span>
<a name="line-10"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Char</span>
<a name="line-11"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>List</span>
<a name="line-12"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>System</span><span class='hs-varop'>.</span><span class='hs-conid'>FilePath</span>
<a name="line-13"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Util</span>
<a name="line-14"></a>
<a name="line-15"></a>
<a name="line-16"></a><a name="defaultHintName"></a><span class='hs-definition'>defaultHintName</span> <span class='hs-keyglyph'>=</span> <span class='hs-str'>"Use alternative"</span>
<a name="line-17"></a>
<a name="line-18"></a>
<a name="line-19"></a><a name="Severity"></a><span class='hs-comment'>-- | How severe an error is.</span>
<a name="line-20"></a><a name="Severity"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>Severity</span>
<a name="line-21"></a> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Ignore</span> <span class='hs-comment'>-- ^ Ignored errors are only returned when @--show@ is passed.</span>
<a name="line-22"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Warning</span> <span class='hs-comment'>-- ^ Warnings are things that some people may consider improvements, but some may not.</span>
<a name="line-23"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Error</span> <span class='hs-comment'>-- ^ Errors are suggestions that should nearly always be a good idea to apply.</span>
<a name="line-24"></a> <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span><span class='hs-conid'>Eq</span><span class='hs-layout'>,</span><span class='hs-conid'>Ord</span><span class='hs-layout'>,</span><span class='hs-conid'>Show</span><span class='hs-layout'>,</span><span class='hs-conid'>Read</span><span class='hs-layout'>,</span><span class='hs-conid'>Bounded</span><span class='hs-layout'>,</span><span class='hs-conid'>Enum</span><span class='hs-layout'>)</span>
<a name="line-25"></a>
<a name="line-26"></a><a name="getSeverity"></a><span class='hs-definition'>getSeverity</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>Severity</span>
<a name="line-27"></a><span class='hs-definition'>getSeverity</span> <span class='hs-str'>"ignore"</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>Ignore</span>
<a name="line-28"></a><span class='hs-definition'>getSeverity</span> <span class='hs-str'>"warn"</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>Warning</span>
<a name="line-29"></a><span class='hs-definition'>getSeverity</span> <span class='hs-str'>"warning"</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>Warning</span>
<a name="line-30"></a><span class='hs-definition'>getSeverity</span> <span class='hs-str'>"error"</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>Error</span>
<a name="line-31"></a><span class='hs-definition'>getSeverity</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Nothing</span>
<a name="line-32"></a>
<a name="line-33"></a>
<a name="line-34"></a><a name="FuncName"></a><span class='hs-comment'>-- (modulename,functionname)</span>
<a name="line-35"></a><a name="FuncName"></a><span class='hs-comment'>-- either being blank implies universal matching</span>
<a name="line-36"></a><a name="FuncName"></a><span class='hs-keyword'>type</span> <span class='hs-conid'>FuncName</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-conid'>String</span><span class='hs-layout'>,</span><span class='hs-conid'>String</span><span class='hs-layout'>)</span>
<a name="line-37"></a>
<a name="line-38"></a>
<a name="line-39"></a><a name="isUnifyVar"></a><span class='hs-comment'>-- Any 1-letter variable names are assumed to be unification variables</span>
<a name="line-40"></a><span class='hs-definition'>isUnifyVar</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span>
<a name="line-41"></a><span class='hs-definition'>isUnifyVar</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>x</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span> <span class='hs-varop'>==</span> <span class='hs-chr'>'?'</span> <span class='hs-varop'>||</span> <span class='hs-varid'>isAlpha</span> <span class='hs-varid'>x</span>
<a name="line-42"></a><span class='hs-definition'>isUnifyVar</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span>
<a name="line-43"></a>
<a name="line-44"></a>
<a name="line-45"></a><a name="addInfix"></a><span class='hs-definition'>addInfix</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span><span class='hs-layout'>{</span><span class='hs-varid'>infixes</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>infix_</span> <span class='hs-layout'>(</span><span class='hs-comment'>-</span><span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"==>"</span><span class='hs-keyglyph'>]</span> <span class='hs-varop'>++</span> <span class='hs-varid'>infixes</span> <span class='hs-varid'>x</span><span class='hs-layout'>}</span>
<a name="line-46"></a>
<a name="line-47"></a>
<a name="line-48"></a><span class='hs-comment'>---------------------------------------------------------------------</span>
<a name="line-49"></a><span class='hs-comment'>-- TYPE</span>
<a name="line-50"></a>
<a name="line-51"></a><a name="Setting"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>Setting</span>
<a name="line-52"></a> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Classify</span> <span class='hs-layout'>{</span><span class='hs-varid'>severityS</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Severity</span><span class='hs-layout'>,</span> <span class='hs-varid'>hintS</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span><span class='hs-layout'>,</span> <span class='hs-varid'>funcS</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FuncName</span><span class='hs-layout'>}</span>
<a name="line-53"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>MatchExp</span> <span class='hs-layout'>{</span><span class='hs-varid'>severityS</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Severity</span><span class='hs-layout'>,</span> <span class='hs-varid'>hintS</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span><span class='hs-layout'>,</span> <span class='hs-varid'>scope</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Scope</span><span class='hs-layout'>,</span> <span class='hs-varid'>lhs</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Exp_</span><span class='hs-layout'>,</span> <span class='hs-varid'>rhs</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Exp_</span><span class='hs-layout'>,</span> <span class='hs-varid'>side</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>Exp_</span><span class='hs-layout'>}</span>
<a name="line-54"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Builtin</span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- use a builtin hint set</span>
<a name="line-55"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Infix</span> <span class='hs-conid'>Fixity</span>
<a name="line-56"></a> <span class='hs-keyword'>deriving</span> <span class='hs-conid'>Show</span>
<a name="line-57"></a>
<a name="line-58"></a><a name="isClassify"></a><span class='hs-definition'>isClassify</span> <span class='hs-conid'>Classify</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span><span class='hs-layout'>;</span> <span class='hs-varid'>isClassify</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span>
<a name="line-59"></a><a name="isMatchExp"></a><span class='hs-definition'>isMatchExp</span> <span class='hs-conid'>MatchExp</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span><span class='hs-layout'>;</span> <span class='hs-varid'>isMatchExp</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span>
<a name="line-60"></a>
<a name="line-61"></a>
<a name="line-62"></a><span class='hs-comment'>---------------------------------------------------------------------</span>
<a name="line-63"></a><span class='hs-comment'>-- READ A SETTINGS FILE</span>
<a name="line-64"></a>
<a name="line-65"></a><a name="readSettings"></a><span class='hs-comment'>-- Given a list of hint files to start from</span>
<a name="line-66"></a><span class='hs-comment'>-- Return the list of settings commands</span>
<a name="line-67"></a><span class='hs-definition'>readSettings</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>FilePath</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IO</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Setting</span><span class='hs-keyglyph'>]</span>
<a name="line-68"></a><span class='hs-definition'>readSettings</span> <span class='hs-varid'>dataDir</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-69"></a> <span class='hs-layout'>(</span><span class='hs-varid'>builtin</span><span class='hs-layout'>,</span><span class='hs-varid'>mods</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>fmap</span> <span class='hs-varid'>unzipEither</span> <span class='hs-varop'>$</span> <span class='hs-varid'>concatMapM</span> <span class='hs-layout'>(</span><span class='hs-varid'>readHints</span> <span class='hs-varid'>dataDir</span><span class='hs-layout'>)</span> <span class='hs-varid'>xs</span>
<a name="line-70"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>f</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>concatMap</span> <span class='hs-layout'>(</span><span class='hs-varid'>readSetting</span> <span class='hs-varop'>$</span> <span class='hs-varid'>moduleScope</span> <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>concatMap</span> <span class='hs-varid'>getEquations</span> <span class='hs-varop'>$</span> <span class='hs-varid'>moduleDecls</span> <span class='hs-varid'>m</span>
<a name="line-71"></a> <span class='hs-varid'>return</span> <span class='hs-varop'>$</span> <span class='hs-varid'>map</span> <span class='hs-conid'>Builtin</span> <span class='hs-varid'>builtin</span> <span class='hs-varop'>++</span> <span class='hs-varid'>concatMap</span> <span class='hs-varid'>f</span> <span class='hs-varid'>mods</span>
<a name="line-72"></a>
<a name="line-73"></a>
<a name="line-74"></a><a name="readHints"></a><span class='hs-comment'>-- Read a hint file, and all hint files it imports</span>
<a name="line-75"></a><span class='hs-definition'>readHints</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IO</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Either</span> <span class='hs-conid'>String</span> <span class='hs-conid'>Module_</span><span class='hs-keyglyph'>]</span>
<a name="line-76"></a><span class='hs-definition'>readHints</span> <span class='hs-varid'>dataDir</span> <span class='hs-varid'>file</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-77"></a> <span class='hs-varid'>y</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>parseResult</span> <span class='hs-varop'>$</span> <span class='hs-varid'>parseFile</span> <span class='hs-layout'>(</span><span class='hs-varid'>addInfix</span> <span class='hs-varid'>parseFlags</span><span class='hs-layout'>)</span> <span class='hs-varid'>file</span>
<a name="line-78"></a> <span class='hs-varid'>ys</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>concatM</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>f</span> <span class='hs-varop'>$</span> <span class='hs-varid'>fromNamed</span> <span class='hs-varop'>$</span> <span class='hs-varid'>importModule</span> <span class='hs-varid'>i</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>i</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>moduleImports</span> <span class='hs-varid'>y</span><span class='hs-layout'>,</span> <span class='hs-varid'>importPkg</span> <span class='hs-varid'>i</span> <span class='hs-varop'>`elem`</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Just</span> <span class='hs-str'>"hint"</span><span class='hs-layout'>,</span> <span class='hs-conid'>Just</span> <span class='hs-str'>"hlint"</span><span class='hs-keyglyph'>]</span><span class='hs-keyglyph'>]</span>
<a name="line-79"></a> <span class='hs-varid'>return</span> <span class='hs-varop'>$</span> <span class='hs-conid'>Right</span> <span class='hs-varid'>y</span><span class='hs-conop'>:</span><span class='hs-varid'>ys</span>
<a name="line-80"></a> <span class='hs-keyword'>where</span>
<a name="line-81"></a> <span class='hs-varid'>f</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-str'>"HLint.Builtin."</span> <span class='hs-varop'>`isPrefixOf`</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>return</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Left</span> <span class='hs-varop'>$</span> <span class='hs-varid'>drop</span> <span class='hs-num'>14</span> <span class='hs-varid'>x</span><span class='hs-keyglyph'>]</span>
<a name="line-82"></a> <span class='hs-keyglyph'>|</span> <span class='hs-str'>"HLint."</span> <span class='hs-varop'>`isPrefixOf`</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>readHints</span> <span class='hs-varid'>dataDir</span> <span class='hs-varop'>$</span> <span class='hs-varid'>dataDir</span> <span class='hs-varop'></></span> <span class='hs-varid'>drop</span> <span class='hs-num'>6</span> <span class='hs-varid'>x</span> <span class='hs-varop'><.></span> <span class='hs-str'>"hs"</span>
<a name="line-83"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>readHints</span> <span class='hs-varid'>dataDir</span> <span class='hs-varop'>$</span> <span class='hs-varid'>x</span> <span class='hs-varop'><.></span> <span class='hs-str'>"hs"</span>
<a name="line-84"></a>
<a name="line-85"></a>
<a name="line-86"></a><a name="readSetting"></a><span class='hs-definition'>readSetting</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Scope</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Decl_</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Setting</span><span class='hs-keyglyph'>]</span>
<a name="line-87"></a><span class='hs-definition'>readSetting</span> <span class='hs-varid'>s</span> <span class='hs-layout'>(</span><span class='hs-conid'>FunBind</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Match</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>Ident</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-varid'>getSeverity</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Just</span> <span class='hs-varid'>severity</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varid'>pats</span> <span class='hs-layout'>(</span><span class='hs-conid'>UnGuardedRhs</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>bod</span><span class='hs-layout'>)</span> <span class='hs-varid'>bind</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span>
<a name="line-88"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>InfixApp</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>lhs</span> <span class='hs-varid'>op</span> <span class='hs-varid'>rhs</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>bod</span><span class='hs-layout'>,</span> <span class='hs-varid'>opExp</span> <span class='hs-varid'>op</span> <span class='hs-varop'>~=</span> <span class='hs-str'>"==>"</span> <span class='hs-keyglyph'>=</span>
<a name="line-89"></a> <span class='hs-keyglyph'>[</span><span class='hs-conid'>MatchExp</span> <span class='hs-varid'>severity</span> <span class='hs-layout'>(</span><span class='hs-keyword'>if</span> <span class='hs-varid'>null</span> <span class='hs-varid'>names</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>defaultHintName</span> <span class='hs-keyword'>else</span> <span class='hs-varid'>head</span> <span class='hs-varid'>names</span><span class='hs-layout'>)</span> <span class='hs-varid'>s</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromParen</span> <span class='hs-varid'>lhs</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromParen</span> <span class='hs-varid'>rhs</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>readSide</span> <span class='hs-varop'>$</span> <span class='hs-varid'>childrenBi</span> <span class='hs-varid'>bind</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span>
<a name="line-90"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Classify</span> <span class='hs-varid'>severity</span> <span class='hs-varid'>n</span> <span class='hs-varid'>func</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>n</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>names2</span><span class='hs-layout'>,</span> <span class='hs-varid'>func</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>readFuncs</span> <span class='hs-varid'>bod</span><span class='hs-keyglyph'>]</span>
<a name="line-91"></a> <span class='hs-keyword'>where</span>
<a name="line-92"></a> <span class='hs-varid'>names</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>filter</span> <span class='hs-varid'>notNull</span> <span class='hs-varop'>$</span> <span class='hs-varid'>getNames</span> <span class='hs-varid'>pats</span> <span class='hs-varid'>bod</span>
<a name="line-93"></a> <span class='hs-varid'>names2</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>""</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>null</span> <span class='hs-varid'>names</span><span class='hs-keyglyph'>]</span> <span class='hs-varop'>++</span> <span class='hs-varid'>names</span>
<a name="line-94"></a>
<a name="line-95"></a><span class='hs-definition'>readSetting</span> <span class='hs-varid'>s</span> <span class='hs-varid'>x</span><span class='hs-keyglyph'>@</span><span class='hs-conid'>AnnPragma</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>readPragma</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>y</span><span class='hs-keyglyph'>]</span>
<a name="line-96"></a><span class='hs-definition'>readSetting</span> <span class='hs-varid'>s</span> <span class='hs-layout'>(</span><span class='hs-conid'>PatBind</span> <span class='hs-varid'>an</span> <span class='hs-layout'>(</span><span class='hs-conid'>PVar</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>bod</span> <span class='hs-varid'>bind</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>readSetting</span> <span class='hs-varid'>s</span> <span class='hs-varop'>$</span> <span class='hs-conid'>FunBind</span> <span class='hs-varid'>an</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Match</span> <span class='hs-varid'>an</span> <span class='hs-varid'>name</span> <span class='hs-conid'>[]</span> <span class='hs-varid'>bod</span> <span class='hs-varid'>bind</span><span class='hs-keyglyph'>]</span>
<a name="line-97"></a><span class='hs-definition'>readSetting</span> <span class='hs-varid'>s</span> <span class='hs-layout'>(</span><span class='hs-conid'>FunBind</span> <span class='hs-varid'>an</span> <span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>length</span> <span class='hs-varid'>xs</span> <span class='hs-varop'>/=</span> <span class='hs-num'>1</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>concatMap</span> <span class='hs-layout'>(</span><span class='hs-varid'>readSetting</span> <span class='hs-varid'>s</span> <span class='hs-varop'>.</span> <span class='hs-conid'>FunBind</span> <span class='hs-varid'>an</span> <span class='hs-varop'>.</span> <span class='hs-varid'>return</span><span class='hs-layout'>)</span> <span class='hs-varid'>xs</span>
<a name="line-98"></a><span class='hs-definition'>readSetting</span> <span class='hs-varid'>s</span> <span class='hs-layout'>(</span><span class='hs-conid'>SpliceDecl</span> <span class='hs-varid'>an</span> <span class='hs-layout'>(</span><span class='hs-conid'>App</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>Var</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Lit</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>readSetting</span> <span class='hs-varid'>s</span> <span class='hs-varop'>$</span> <span class='hs-conid'>FunBind</span> <span class='hs-varid'>an</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Match</span> <span class='hs-varid'>an</span> <span class='hs-layout'>(</span><span class='hs-varid'>toNamed</span> <span class='hs-varop'>$</span> <span class='hs-varid'>fromNamed</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>PLit</span> <span class='hs-varid'>an</span> <span class='hs-varid'>y</span><span class='hs-keyglyph'>]</span> <span class='hs-layout'>(</span><span class='hs-conid'>UnGuardedRhs</span> <span class='hs-varid'>an</span> <span class='hs-varop'>$</span> <span class='hs-conid'>Lit</span> <span class='hs-varid'>an</span> <span class='hs-varop'>$</span> <span class='hs-conid'>String</span> <span class='hs-varid'>an</span> <span class='hs-str'>""</span> <span class='hs-str'>""</span><span class='hs-layout'>)</span> <span class='hs-conid'>Nothing</span><span class='hs-keyglyph'>]</span>
<a name="line-99"></a><span class='hs-definition'>readSetting</span> <span class='hs-varid'>s</span> <span class='hs-varid'>x</span><span class='hs-keyglyph'>@</span><span class='hs-conid'>InfixDecl</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-conid'>Infix</span> <span class='hs-varop'>$</span> <span class='hs-varid'>getFixity</span> <span class='hs-varid'>x</span>
<a name="line-100"></a><span class='hs-definition'>readSetting</span> <span class='hs-varid'>s</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>errorOn</span> <span class='hs-varid'>x</span> <span class='hs-str'>"bad hint"</span>
<a name="line-101"></a>
<a name="line-102"></a>
<a name="line-103"></a><a name="readPragma"></a><span class='hs-comment'>-- return Nothing if it is not an HLint pragma, otherwise all the settings</span>
<a name="line-104"></a><span class='hs-definition'>readPragma</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Decl_</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>Setting</span>
<a name="line-105"></a><span class='hs-definition'>readPragma</span> <span class='hs-varid'>o</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>AnnPragma</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>p</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>f</span> <span class='hs-varid'>p</span>
<a name="line-106"></a> <span class='hs-keyword'>where</span>
<a name="line-107"></a> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-conid'>Ann</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>name</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>g</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromNamed</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span> <span class='hs-varid'>x</span>
<a name="line-108"></a> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-conid'>TypeAnn</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>name</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>g</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromNamed</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span> <span class='hs-varid'>x</span>
<a name="line-109"></a> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-conid'>ModuleAnn</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>g</span> <span class='hs-str'>""</span> <span class='hs-varid'>x</span>
<a name="line-110"></a>
<a name="line-111"></a> <span class='hs-varid'>g</span> <span class='hs-varid'>name</span> <span class='hs-layout'>(</span><span class='hs-conid'>Lit</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>String</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>s</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>|</span> <span class='hs-str'>"hlint:"</span> <span class='hs-varop'>`isPrefixOf`</span> <span class='hs-varid'>map</span> <span class='hs-varid'>toLower</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span>
<a name="line-112"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>getSeverity</span> <span class='hs-varid'>a</span> <span class='hs-keyword'>of</span>
<a name="line-113"></a> <span class='hs-conid'>Nothing</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>errorOn</span> <span class='hs-varid'>o</span> <span class='hs-str'>"bad classify pragma"</span>
<a name="line-114"></a> <span class='hs-conid'>Just</span> <span class='hs-varid'>severity</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Just</span> <span class='hs-varop'>$</span> <span class='hs-conid'>Classify</span> <span class='hs-varid'>severity</span> <span class='hs-layout'>(</span><span class='hs-varid'>ltrim</span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-str'>""</span><span class='hs-layout'>,</span><span class='hs-varid'>name</span><span class='hs-layout'>)</span>
<a name="line-115"></a> <span class='hs-keyword'>where</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>break</span> <span class='hs-varid'>isSpace</span> <span class='hs-varop'>$</span> <span class='hs-varid'>ltrim</span> <span class='hs-varop'>$</span> <span class='hs-varid'>drop</span> <span class='hs-num'>6</span> <span class='hs-varid'>s</span>
<a name="line-116"></a><span class='hs-definition'>readPragma</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Nothing</span>
<a name="line-117"></a>
<a name="line-118"></a>
<a name="line-119"></a><a name="readSide"></a><span class='hs-definition'>readSide</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Decl_</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>Exp_</span>
<a name="line-120"></a><span class='hs-definition'>readSide</span> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Nothing</span>
<a name="line-121"></a><span class='hs-definition'>readSide</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>PatBind</span> <span class='hs-keyword'>_</span> <span class='hs-conid'>PWildCard</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span> <span class='hs-conid'>Nothing</span> <span class='hs-layout'>(</span><span class='hs-conid'>UnGuardedRhs</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>bod</span><span class='hs-layout'>)</span> <span class='hs-conid'>Nothing</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>bod</span>
<a name="line-122"></a><span class='hs-definition'>readSide</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>errorOn</span> <span class='hs-varid'>x</span> <span class='hs-str'>"bad side condition"</span>
<a name="line-123"></a>
<a name="line-124"></a>
<a name="line-125"></a><a name="readFuncs"></a><span class='hs-comment'>-- Note: Foo may be ("","Foo") or ("Foo",""), return both</span>
<a name="line-126"></a><span class='hs-definition'>readFuncs</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Exp_</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>FuncName</span><span class='hs-keyglyph'>]</span>
<a name="line-127"></a><span class='hs-definition'>readFuncs</span> <span class='hs-layout'>(</span><span class='hs-conid'>App</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>x</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>readFuncs</span> <span class='hs-varid'>x</span> <span class='hs-varop'>++</span> <span class='hs-varid'>readFuncs</span> <span class='hs-varid'>y</span>
<a name="line-128"></a><span class='hs-definition'>readFuncs</span> <span class='hs-layout'>(</span><span class='hs-conid'>Lit</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>String</span> <span class='hs-keyword'>_</span> <span class='hs-str'>""</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-str'>""</span><span class='hs-layout'>,</span><span class='hs-str'>""</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span>
<a name="line-129"></a><span class='hs-definition'>readFuncs</span> <span class='hs-layout'>(</span><span class='hs-conid'>Var</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>UnQual</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-str'>""</span><span class='hs-layout'>,</span><span class='hs-varid'>fromNamed</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span>
<a name="line-130"></a><span class='hs-definition'>readFuncs</span> <span class='hs-layout'>(</span><span class='hs-conid'>Var</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>Qual</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>ModuleName</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>mod</span><span class='hs-layout'>)</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-varid'>mod</span><span class='hs-layout'>,</span> <span class='hs-varid'>fromNamed</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span>
<a name="line-131"></a><span class='hs-definition'>readFuncs</span> <span class='hs-layout'>(</span><span class='hs-conid'>Con</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>UnQual</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-varid'>fromNamed</span> <span class='hs-varid'>name</span><span class='hs-layout'>,</span><span class='hs-str'>""</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-layout'>(</span><span class='hs-str'>""</span><span class='hs-layout'>,</span><span class='hs-varid'>fromNamed</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span>
<a name="line-132"></a><span class='hs-definition'>readFuncs</span> <span class='hs-layout'>(</span><span class='hs-conid'>Con</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>Qual</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>ModuleName</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>mod</span><span class='hs-layout'>)</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-varid'>mod</span> <span class='hs-varop'>++</span> <span class='hs-str'>"."</span> <span class='hs-varop'>++</span> <span class='hs-varid'>fromNamed</span> <span class='hs-varid'>name</span><span class='hs-layout'>,</span><span class='hs-str'>""</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-layout'>(</span><span class='hs-varid'>mod</span><span class='hs-layout'>,</span><span class='hs-varid'>fromNamed</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span>
<a name="line-133"></a><span class='hs-definition'>readFuncs</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>errorOn</span> <span class='hs-varid'>x</span> <span class='hs-str'>"bad classification rule"</span>
<a name="line-134"></a>
<a name="line-135"></a>
<a name="line-136"></a><a name="getNames"></a><span class='hs-definition'>getNames</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Pat_</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Exp_</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>String</span><span class='hs-keyglyph'>]</span>
<a name="line-137"></a><span class='hs-definition'>getNames</span> <span class='hs-varid'>ps</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>ps</span> <span class='hs-varop'>/=</span> <span class='hs-conid'>[]</span> <span class='hs-varop'>&&</span> <span class='hs-varid'>all</span> <span class='hs-varid'>isPString</span> <span class='hs-varid'>ps</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-varid'>fromPString</span> <span class='hs-varid'>ps</span>
<a name="line-138"></a><span class='hs-definition'>getNames</span> <span class='hs-conid'>[]</span> <span class='hs-layout'>(</span><span class='hs-conid'>InfixApp</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>lhs</span> <span class='hs-varid'>op</span> <span class='hs-varid'>rhs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>opExp</span> <span class='hs-varid'>op</span> <span class='hs-varop'>~=</span> <span class='hs-str'>"==>"</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-layout'>(</span><span class='hs-str'>"Use "</span><span class='hs-varop'>++</span><span class='hs-layout'>)</span> <span class='hs-varid'>names</span>
<a name="line-139"></a> <span class='hs-keyword'>where</span>
<a name="line-140"></a> <span class='hs-varid'>lnames</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-varid'>f</span> <span class='hs-varop'>$</span> <span class='hs-varid'>childrenS</span> <span class='hs-varid'>lhs</span>
<a name="line-141"></a> <span class='hs-varid'>rnames</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-varid'>f</span> <span class='hs-varop'>$</span> <span class='hs-varid'>childrenS</span> <span class='hs-varid'>rhs</span>
<a name="line-142"></a> <span class='hs-varid'>names</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>filter</span> <span class='hs-layout'>(</span><span class='hs-varid'>not</span> <span class='hs-varop'>.</span> <span class='hs-varid'>isUnifyVar</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-layout'>(</span><span class='hs-varid'>rnames</span> <span class='hs-varop'>\\</span> <span class='hs-varid'>lnames</span><span class='hs-layout'>)</span> <span class='hs-varop'>++</span> <span class='hs-varid'>rnames</span>
<a name="line-143"></a> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-conid'>Ident</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span>
<a name="line-144"></a> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-conid'>Symbol</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span>
<a name="line-145"></a><span class='hs-definition'>getNames</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>[]</span>
<a name="line-146"></a>
<a name="line-147"></a>
<a name="line-148"></a><a name="errorOn"></a><span class='hs-definition'>errorOn</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Annotated</span> <span class='hs-varid'>ast</span><span class='hs-layout'>,</span> <span class='hs-conid'>Pretty</span> <span class='hs-layout'>(</span><span class='hs-varid'>ast</span> <span class='hs-conid'>S</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-varid'>ast</span> <span class='hs-conid'>S</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>b</span>
<a name="line-149"></a><span class='hs-definition'>errorOn</span> <span class='hs-varid'>val</span> <span class='hs-varid'>msg</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>exitMessage</span> <span class='hs-varop'>$</span>
<a name="line-150"></a> <span class='hs-varid'>showSrcLoc</span> <span class='hs-layout'>(</span><span class='hs-varid'>getPointLoc</span> <span class='hs-varop'>$</span> <span class='hs-varid'>ann</span> <span class='hs-varid'>val</span><span class='hs-layout'>)</span> <span class='hs-varop'>++</span>
<a name="line-151"></a> <span class='hs-str'>" Error while reading hint file, "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>msg</span> <span class='hs-varop'>++</span> <span class='hs-str'>"\n"</span> <span class='hs-varop'>++</span>
<a name="line-152"></a> <span class='hs-varid'>prettyPrint</span> <span class='hs-varid'>val</span>
<a name="line-153"></a>
<a name="line-154"></a>
<a name="line-155"></a><span class='hs-comment'>---------------------------------------------------------------------</span>
<a name="line-156"></a><span class='hs-comment'>-- FIND SETTINGS IN A SOURCE FILE</span>
<a name="line-157"></a>
<a name="line-158"></a><a name="findSettings"></a><span class='hs-comment'>-- find definitions in a source file</span>
<a name="line-159"></a><span class='hs-definition'>findSettings</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>ParseFlags</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IO</span> <span class='hs-layout'>(</span><span class='hs-conid'>String</span><span class='hs-layout'>,</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Setting</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span>
<a name="line-160"></a><span class='hs-definition'>findSettings</span> <span class='hs-varid'>flags</span> <span class='hs-varid'>file</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-161"></a> <span class='hs-varid'>x</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>parseResult</span> <span class='hs-varop'>$</span> <span class='hs-varid'>parseFile</span> <span class='hs-varid'>flags</span> <span class='hs-varid'>file</span>
<a name="line-162"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>concatMap</span> <span class='hs-layout'>(</span><span class='hs-varid'>findSetting</span> <span class='hs-varop'>$</span> <span class='hs-conid'>UnQual</span> <span class='hs-varid'>an</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>moduleDecls</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span>
<a name="line-163"></a> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>unlines</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"-- hints found in "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>file</span><span class='hs-keyglyph'>]</span> <span class='hs-varop'>++</span> <span class='hs-varid'>map</span> <span class='hs-varid'>prettyPrint</span> <span class='hs-varid'>xs</span> <span class='hs-varop'>++</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"-- no hints found"</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>null</span> <span class='hs-varid'>xs</span><span class='hs-keyglyph'>]</span>
<a name="line-164"></a> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>concatMap</span> <span class='hs-layout'>(</span><span class='hs-varid'>readSetting</span> <span class='hs-varid'>emptyScope</span><span class='hs-layout'>)</span> <span class='hs-varid'>xs</span>
<a name="line-165"></a> <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-varid'>s</span><span class='hs-layout'>,</span><span class='hs-varid'>r</span><span class='hs-layout'>)</span>
<a name="line-166"></a>
<a name="line-167"></a>
<a name="line-168"></a><a name="findSetting"></a><span class='hs-definition'>findSetting</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Name</span> <span class='hs-conid'>S</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>QName</span> <span class='hs-conid'>S</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Decl_</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Decl_</span><span class='hs-keyglyph'>]</span>
<a name="line-169"></a><span class='hs-definition'>findSetting</span> <span class='hs-varid'>qual</span> <span class='hs-layout'>(</span><span class='hs-conid'>InstDecl</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>xs</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>concatMap</span> <span class='hs-layout'>(</span><span class='hs-varid'>findSetting</span> <span class='hs-varid'>qual</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>InsDecl</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>xs</span><span class='hs-keyglyph'>]</span>
<a name="line-170"></a><span class='hs-definition'>findSetting</span> <span class='hs-varid'>qual</span> <span class='hs-layout'>(</span><span class='hs-conid'>PatBind</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>PVar</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span> <span class='hs-conid'>Nothing</span> <span class='hs-layout'>(</span><span class='hs-conid'>UnGuardedRhs</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>bod</span><span class='hs-layout'>)</span> <span class='hs-conid'>Nothing</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>findExp</span> <span class='hs-layout'>(</span><span class='hs-varid'>qual</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span> <span class='hs-conid'>[]</span> <span class='hs-varid'>bod</span>
<a name="line-171"></a><span class='hs-definition'>findSetting</span> <span class='hs-varid'>qual</span> <span class='hs-layout'>(</span><span class='hs-conid'>FunBind</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>InfixMatch</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>p1</span> <span class='hs-varid'>name</span> <span class='hs-varid'>ps</span> <span class='hs-varid'>rhs</span> <span class='hs-varid'>bind</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>findSetting</span> <span class='hs-varid'>qual</span> <span class='hs-varop'>$</span> <span class='hs-conid'>FunBind</span> <span class='hs-varid'>an</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Match</span> <span class='hs-varid'>an</span> <span class='hs-varid'>name</span> <span class='hs-layout'>(</span><span class='hs-varid'>p1</span><span class='hs-conop'>:</span><span class='hs-varid'>ps</span><span class='hs-layout'>)</span> <span class='hs-varid'>rhs</span> <span class='hs-varid'>bind</span><span class='hs-keyglyph'>]</span>
<a name="line-172"></a><span class='hs-definition'>findSetting</span> <span class='hs-varid'>qual</span> <span class='hs-layout'>(</span><span class='hs-conid'>FunBind</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Match</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>name</span> <span class='hs-varid'>ps</span> <span class='hs-layout'>(</span><span class='hs-conid'>UnGuardedRhs</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>bod</span><span class='hs-layout'>)</span> <span class='hs-conid'>Nothing</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>findExp</span> <span class='hs-layout'>(</span><span class='hs-varid'>qual</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span> <span class='hs-conid'>[]</span> <span class='hs-varop'>$</span> <span class='hs-conid'>Lambda</span> <span class='hs-varid'>an</span> <span class='hs-varid'>ps</span> <span class='hs-varid'>bod</span>
<a name="line-173"></a><span class='hs-definition'>findSetting</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>x</span><span class='hs-keyglyph'>@</span><span class='hs-conid'>InfixDecl</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>x</span><span class='hs-keyglyph'>]</span>
<a name="line-174"></a><span class='hs-definition'>findSetting</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>[]</span>
<a name="line-175"></a>
<a name="line-176"></a>
<a name="line-177"></a><a name="findExp"></a><span class='hs-comment'>-- given a result function name, a list of variables, a body expression, give some hints</span>
<a name="line-178"></a><span class='hs-definition'>findExp</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>QName</span> <span class='hs-conid'>S</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>String</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Exp_</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Decl_</span><span class='hs-keyglyph'>]</span>
<a name="line-179"></a><span class='hs-definition'>findExp</span> <span class='hs-varid'>name</span> <span class='hs-varid'>vs</span> <span class='hs-layout'>(</span><span class='hs-conid'>Lambda</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>ps</span> <span class='hs-varid'>bod</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>length</span> <span class='hs-varid'>ps2</span> <span class='hs-varop'>==</span> <span class='hs-varid'>length</span> <span class='hs-varid'>ps</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>findExp</span> <span class='hs-varid'>name</span> <span class='hs-layout'>(</span><span class='hs-varid'>vs</span><span class='hs-varop'>++</span><span class='hs-varid'>ps2</span><span class='hs-layout'>)</span> <span class='hs-varid'>bod</span>
<a name="line-180"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>[]</span>
<a name="line-181"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>ps2</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>PVar_</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>map</span> <span class='hs-varid'>view</span> <span class='hs-varid'>ps</span><span class='hs-keyglyph'>]</span>
<a name="line-182"></a><span class='hs-definition'>findExp</span> <span class='hs-varid'>name</span> <span class='hs-varid'>vs</span> <span class='hs-conid'>Var</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>[]</span>
<a name="line-183"></a><span class='hs-definition'>findExp</span> <span class='hs-varid'>name</span> <span class='hs-varid'>vs</span> <span class='hs-layout'>(</span><span class='hs-conid'>InfixApp</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>x</span> <span class='hs-varid'>dot</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>isDot</span> <span class='hs-varid'>dot</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>findExp</span> <span class='hs-varid'>name</span> <span class='hs-layout'>(</span><span class='hs-varid'>vs</span><span class='hs-varop'>++</span><span class='hs-keyglyph'>[</span><span class='hs-str'>"_hlint"</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-conid'>App</span> <span class='hs-varid'>an</span> <span class='hs-varid'>x</span> <span class='hs-varop'>$</span> <span class='hs-conid'>Paren</span> <span class='hs-varid'>an</span> <span class='hs-varop'>$</span> <span class='hs-conid'>App</span> <span class='hs-varid'>an</span> <span class='hs-varid'>y</span> <span class='hs-layout'>(</span><span class='hs-varid'>toNamed</span> <span class='hs-str'>"_hlint"</span><span class='hs-layout'>)</span>
<a name="line-184"></a>
<a name="line-185"></a><span class='hs-definition'>findExp</span> <span class='hs-varid'>name</span> <span class='hs-varid'>vs</span> <span class='hs-varid'>bod</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>PatBind</span> <span class='hs-varid'>an</span> <span class='hs-layout'>(</span><span class='hs-varid'>toNamed</span> <span class='hs-str'>"warn"</span><span class='hs-layout'>)</span> <span class='hs-conid'>Nothing</span> <span class='hs-layout'>(</span><span class='hs-conid'>UnGuardedRhs</span> <span class='hs-varid'>an</span> <span class='hs-varop'>$</span> <span class='hs-conid'>InfixApp</span> <span class='hs-varid'>an</span> <span class='hs-varid'>lhs</span> <span class='hs-layout'>(</span><span class='hs-varid'>toNamed</span> <span class='hs-str'>"==>"</span><span class='hs-layout'>)</span> <span class='hs-varid'>rhs</span><span class='hs-layout'>)</span> <span class='hs-conid'>Nothing</span><span class='hs-keyglyph'>]</span>
<a name="line-186"></a> <span class='hs-keyword'>where</span>
<a name="line-187"></a> <span class='hs-varid'>lhs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>g</span> <span class='hs-varop'>$</span> <span class='hs-varid'>transform</span> <span class='hs-varid'>f</span> <span class='hs-varid'>bod</span>
<a name="line-188"></a> <span class='hs-varid'>rhs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>apps</span> <span class='hs-varop'>$</span> <span class='hs-conid'>Var</span> <span class='hs-varid'>an</span> <span class='hs-varid'>name</span> <span class='hs-conop'>:</span> <span class='hs-varid'>map</span> <span class='hs-varid'>snd</span> <span class='hs-varid'>rep</span>
<a name="line-189"></a>
<a name="line-190"></a> <span class='hs-varid'>rep</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>zip</span> <span class='hs-varid'>vs</span> <span class='hs-varop'>$</span> <span class='hs-varid'>map</span> <span class='hs-layout'>(</span><span class='hs-varid'>toNamed</span> <span class='hs-varop'>.</span> <span class='hs-varid'>return</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>[</span><span class='hs-chr'>'a'</span><span class='hs-keyglyph'>..</span><span class='hs-keyglyph'>]</span>
<a name="line-191"></a> <span class='hs-varid'>f</span> <span class='hs-varid'>xx</span> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Var_</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>view</span> <span class='hs-varid'>xx</span><span class='hs-layout'>,</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>lookup</span> <span class='hs-varid'>x</span> <span class='hs-varid'>rep</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>y</span>
<a name="line-192"></a> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-conid'>InfixApp</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>x</span> <span class='hs-varid'>dol</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>isDol</span> <span class='hs-varid'>dol</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>App</span> <span class='hs-varid'>an</span> <span class='hs-varid'>x</span> <span class='hs-layout'>(</span><span class='hs-varid'>paren</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span>
<a name="line-193"></a> <span class='hs-varid'>f</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span>
<a name="line-194"></a>
<a name="line-195"></a> <span class='hs-varid'>g</span> <span class='hs-varid'>o</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>InfixApp</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>isAnyApp</span> <span class='hs-varid'>x</span> <span class='hs-varop'>||</span> <span class='hs-varid'>isAtom</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>o</span>
<a name="line-196"></a> <span class='hs-varid'>g</span> <span class='hs-varid'>o</span><span class='hs-keyglyph'>@</span><span class='hs-conid'>App</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>o</span>
<a name="line-197"></a> <span class='hs-varid'>g</span> <span class='hs-varid'>o</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>paren</span> <span class='hs-varid'>o</span>
</pre></body>
</html>
