<?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/ForSyDe/Backend/VHDL/Ppr.hs</title> <link type='text/css' rel='stylesheet' href='hscolour.css' /> </head> <body> <pre><a name="line-1"></a><span class='hs-comment'>{-# LANGUAGE FlexibleInstances #-}</span> <a name="line-2"></a><span class='hs-comment'>-----------------------------------------------------------------------------</span> <a name="line-3"></a><span class='hs-comment'>-- |</span> <a name="line-4"></a><span class='hs-comment'>-- Module : ForSyDe.Backend.VHDL.Ppr</span> <a name="line-5"></a><span class='hs-comment'>-- Copyright : (c) SAM Group, KTH/ICT/ECS 2007-2008</span> <a name="line-6"></a><span class='hs-comment'>-- License : BSD-style (see the file LICENSE)</span> <a name="line-7"></a><span class='hs-comment'>-- </span> <a name="line-8"></a><span class='hs-comment'>-- Maintainer : forsyde-dev@ict.kth.se</span> <a name="line-9"></a><span class='hs-comment'>-- Stability : experimental</span> <a name="line-10"></a><span class='hs-comment'>-- Portability : non-portable (Template Haskell)</span> <a name="line-11"></a><span class='hs-comment'>--</span> <a name="line-12"></a><span class='hs-comment'>-- VHDL pretty-printing instances.</span> <a name="line-13"></a><span class='hs-comment'>--</span> <a name="line-14"></a><span class='hs-comment'>-----------------------------------------------------------------------------</span> <a name="line-15"></a> <a name="line-16"></a> <a name="line-17"></a><span class='hs-comment'>-- FIXME: we could avoid the LANGUAGE extensions by adding ppr_list to the Ppr </span> <a name="line-18"></a><span class='hs-comment'>-- class (see Language.Haskell.TH.Ppr)</span> <a name="line-19"></a> <a name="line-20"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>ForSyDe</span><span class='hs-varop'>.</span><span class='hs-conid'>Backend</span><span class='hs-varop'>.</span><span class='hs-conid'>VHDL</span><span class='hs-varop'>.</span><span class='hs-conid'>Ppr</span> <span class='hs-conid'>()</span> <span class='hs-keyword'>where</span> <a name="line-21"></a> <a name="line-22"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>ForSyDe</span><span class='hs-varop'>.</span><span class='hs-conid'>Backend</span><span class='hs-varop'>.</span><span class='hs-conid'>Ppr</span> <a name="line-23"></a> <a name="line-24"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>ForSyDe</span><span class='hs-varop'>.</span><span class='hs-conid'>Backend</span><span class='hs-varop'>.</span><span class='hs-conid'>VHDL</span><span class='hs-varop'>.</span><span class='hs-conid'>AST</span> <a name="line-25"></a> <a name="line-26"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>PrettyPrint</span><span class='hs-varop'>.</span><span class='hs-conid'>HughesPJ</span> <span class='hs-varid'>hiding</span> <span class='hs-layout'>(</span><span class='hs-conid'>Mode</span><span class='hs-layout'>)</span> <a name="line-27"></a> <a name="line-28"></a> <a name="line-29"></a><a name="nestVal"></a><span class='hs-comment'>-- | Number of spaces used for indentation</span> <a name="line-30"></a><span class='hs-definition'>nestVal</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span> <a name="line-31"></a><span class='hs-definition'>nestVal</span> <span class='hs-keyglyph'>=</span> <span class='hs-num'>5</span> <a name="line-32"></a> <a name="line-33"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>Maybe</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span> <a name="line-34"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>a</span> <a name="line-35"></a> <span class='hs-varid'>ppr</span> <span class='hs-conid'>Nothing</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>empty</span> <a name="line-36"></a> <a name="line-37"></a><span class='hs-keyword'>instance</span> <span class='hs-layout'>(</span><span class='hs-conid'>Ppr</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Ppr</span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Ppr</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-keyword'>where</span> <a name="line-38"></a> <span class='hs-varid'>ppr</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'>ppr</span> <span class='hs-varid'>a</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>b</span> <a name="line-39"></a> <a name="line-40"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>VHDLId</span> <span class='hs-keyword'>where</span> <a name="line-41"></a> <span class='hs-varid'>ppr</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>text</span><span class='hs-varop'>.</span><span class='hs-varid'>fromVHDLId</span> <a name="line-42"></a> <a name="line-43"></a> <a name="line-44"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>DesignFile</span> <span class='hs-keyword'>where</span> <a name="line-45"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>DesignFile</span> <span class='hs-varid'>cx</span> <span class='hs-varid'>lx</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>vNSpaces</span> <span class='hs-varid'>spaces</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr_list</span> <span class='hs-layout'>(</span><span class='hs-varop'>$+$</span><span class='hs-layout'>)</span> <span class='hs-varid'>cx</span><span class='hs-layout'>)</span> <a name="line-46"></a> <span class='hs-layout'>(</span><span class='hs-varid'>ppr_list</span> <span class='hs-layout'>(</span><span class='hs-varid'>vNSpaces</span> <span class='hs-varid'>spaces</span><span class='hs-layout'>)</span> <span class='hs-varid'>lx</span><span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <a name="line-47"></a> <span class='hs-varid'>vSpace</span> <a name="line-48"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>spaces</span> <span class='hs-keyglyph'>=</span> <span class='hs-num'>2</span> <a name="line-49"></a> <a name="line-50"></a> <a name="line-51"></a> <a name="line-52"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>ContextItem</span> <span class='hs-keyword'>where</span> <a name="line-53"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>Library</span> <span class='hs-varid'>id</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>text</span> <span class='hs-str'>"library"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>id</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span> <a name="line-54"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>Use</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>text</span> <span class='hs-str'>"use"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>name</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span> <a name="line-55"></a> <a name="line-56"></a> <a name="line-57"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>LibraryUnit</span> <span class='hs-keyword'>where</span> <a name="line-58"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>LUEntity</span> <span class='hs-varid'>entityDec</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>entityDec</span> <a name="line-59"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>LUArch</span> <span class='hs-varid'>archBody</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>archBody</span> <a name="line-60"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>LUPackageDec</span> <span class='hs-varid'>packageDec</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>packageDec</span> <a name="line-61"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>LUPackageBody</span> <span class='hs-varid'>packageBody</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>packageBody</span> <a name="line-62"></a> <a name="line-63"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>EntityDec</span> <span class='hs-keyword'>where</span> <a name="line-64"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>EntityDec</span> <span class='hs-varid'>id</span> <span class='hs-varid'>ifaceSigDecs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-65"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"entity"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>idDoc</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-str'>"is"</span> <span class='hs-varop'>$+$</span> <a name="line-66"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr</span> <span class='hs-varid'>ifaceSigDecs</span><span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <a name="line-67"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"end entity"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>idDoc</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span> <a name="line-68"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>idDoc</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>id</span> <a name="line-69"></a> <a name="line-70"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>IfaceSigDec</span><span class='hs-keyglyph'>]</span> <span class='hs-keyword'>where</span> <a name="line-71"></a><span class='hs-comment'>-- FIXME: improve pretty printing of the</span> <a name="line-72"></a><span class='hs-comment'>-- declarations</span> <a name="line-73"></a><span class='hs-comment'>-- This:</span> <a name="line-74"></a><span class='hs-comment'>-- S1 : bit</span> <a name="line-75"></a><span class='hs-comment'>-- Ssdds : bit</span> <a name="line-76"></a><span class='hs-comment'>-- should really be printed as</span> <a name="line-77"></a><span class='hs-comment'>-- S1 : bit</span> <a name="line-78"></a><span class='hs-comment'>-- Ssdds : bit</span> <a name="line-79"></a> <span class='hs-varid'>ppr</span> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>empty</span> <a name="line-80"></a> <span class='hs-varid'>ppr</span> <span class='hs-varid'>decs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>text</span> <span class='hs-str'>"port"</span> <span class='hs-varop'><+></span> <span class='hs-layout'>(</span><span class='hs-varid'>parens</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr_list</span> <span class='hs-varid'>vSemi</span> <span class='hs-varid'>decs</span><span class='hs-layout'>)</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span><span class='hs-layout'>)</span> <a name="line-81"></a> <a name="line-82"></a> <a name="line-83"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>IfaceSigDec</span> <span class='hs-keyword'>where</span> <a name="line-84"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>IfaceSigDec</span> <span class='hs-varid'>id</span> <span class='hs-varid'>mode</span> <span class='hs-varid'>typemark</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-85"></a> <span class='hs-varid'>ppr</span> <span class='hs-varid'>id</span> <span class='hs-varop'><+></span> <span class='hs-varid'>colon</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>mode</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>typemark</span> <a name="line-86"></a> <a name="line-87"></a> <a name="line-88"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>Mode</span> <span class='hs-keyword'>where</span> <a name="line-89"></a> <span class='hs-varid'>ppr</span> <span class='hs-conid'>In</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>text</span> <span class='hs-str'>"in"</span> <a name="line-90"></a> <span class='hs-varid'>ppr</span> <span class='hs-conid'>Out</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>text</span> <span class='hs-str'>"out"</span> <a name="line-91"></a> <a name="line-92"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>ArchBody</span> <span class='hs-keyword'>where</span> <a name="line-93"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>ArchBody</span> <span class='hs-varid'>id</span> <span class='hs-varid'>enName</span> <span class='hs-varid'>decs</span> <span class='hs-varid'>conSms</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-94"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"architecture"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>idDoc</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-str'>"of"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>enName</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-str'>"is"</span> <span class='hs-varop'>$+$</span> <a name="line-95"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr</span> <span class='hs-varid'>decs</span><span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <a name="line-96"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"begin"</span> <span class='hs-varop'>$+$</span> <a name="line-97"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr_list</span> <span class='hs-layout'>(</span><span class='hs-varid'>vNSpaces</span> <span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-varid'>conSms</span><span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <a name="line-98"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"end architecture"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>idDoc</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span> <a name="line-99"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>idDoc</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>id</span> <a name="line-100"></a> <a name="line-101"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>PackageDec</span> <span class='hs-keyword'>where</span> <a name="line-102"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>PackageDec</span> <span class='hs-varid'>id</span> <span class='hs-varid'>decs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-103"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"package"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>idDoc</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-str'>"is"</span> <span class='hs-varop'>$+$</span> <a name="line-104"></a> <span class='hs-varid'>vSpace</span> <span class='hs-varop'>$++$</span> <a name="line-105"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr_list</span> <span class='hs-layout'>(</span><span class='hs-varid'>vNSpaces</span> <span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-varid'>decs</span><span class='hs-layout'>)</span> <span class='hs-varop'>$++$</span> <a name="line-106"></a> <span class='hs-varid'>vSpace</span> <span class='hs-varop'>$+$</span> <a name="line-107"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"end package"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>idDoc</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span> <a name="line-108"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>idDoc</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>id</span> <a name="line-109"></a> <a name="line-110"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>PackageDecItem</span> <span class='hs-keyword'>where</span> <a name="line-111"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>PDITD</span> <span class='hs-varid'>typeDec</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>typeDec</span> <a name="line-112"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>PDISD</span> <span class='hs-varid'>subtypeDec</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>subtypeDec</span> <a name="line-113"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>PDISS</span> <span class='hs-varid'>subProgSpec</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>subProgSpec</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span> <a name="line-114"></a> <a name="line-115"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>PackageBody</span> <span class='hs-keyword'>where</span> <a name="line-116"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>PackageBody</span> <span class='hs-varid'>id</span> <span class='hs-varid'>decs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-117"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"package body"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>idDoc</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-str'>"is"</span> <span class='hs-varop'>$+$</span> <a name="line-118"></a> <span class='hs-varid'>vSpace</span> <span class='hs-varop'>$++$</span> <a name="line-119"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr_list</span> <span class='hs-layout'>(</span><span class='hs-varid'>vNSpaces</span> <span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-varid'>decs</span><span class='hs-layout'>)</span> <span class='hs-varop'>$++$</span> <a name="line-120"></a> <span class='hs-varid'>vSpace</span> <span class='hs-varop'>$+$</span> <a name="line-121"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"end package body"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>idDoc</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span> <a name="line-122"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>idDoc</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>id</span> <a name="line-123"></a> <a name="line-124"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>SubtypeDec</span> <span class='hs-keyword'>where</span> <a name="line-125"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>SubtypeDec</span> <span class='hs-varid'>id</span> <span class='hs-varid'>si</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>text</span> <span class='hs-str'>"subtype"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>id</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-str'>"is"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>si</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span> <a name="line-126"></a> <a name="line-127"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>SubtypeIn</span> <span class='hs-keyword'>where</span> <a name="line-128"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>SubtypeIn</span> <span class='hs-varid'>tm</span> <span class='hs-varid'>mCons</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>tm</span> <span class='hs-varop'><+></span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr</span> <span class='hs-varid'>mCons</span><span class='hs-layout'>)</span> <a name="line-129"></a> <a name="line-130"></a> <a name="line-131"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>Range</span> <span class='hs-keyword'>where</span> <a name="line-132"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>AttribRange</span> <span class='hs-varid'>an</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>an</span> <a name="line-133"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>ToRange</span> <span class='hs-varid'>exp1</span> <span class='hs-varid'>exp2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>exp1</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-str'>"to"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>exp2</span> <a name="line-134"></a> <a name="line-135"></a> <a name="line-136"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>IndexConstraint</span> <span class='hs-keyword'>where</span> <a name="line-137"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>IndexConstraint</span> <span class='hs-varid'>dr</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>parens</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr_list</span> <span class='hs-varid'>hComma</span> <span class='hs-varid'>dr</span><span class='hs-layout'>)</span> <a name="line-138"></a> <a name="line-139"></a> <a name="line-140"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>TypeDec</span> <span class='hs-keyword'>where</span> <a name="line-141"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>TypeDec</span> <span class='hs-varid'>id</span> <span class='hs-varid'>typeDef</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-142"></a> <span class='hs-varid'>hang</span> <span class='hs-layout'>(</span><span class='hs-varid'>text</span> <span class='hs-str'>"type"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>id</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-str'>"is"</span><span class='hs-layout'>)</span> <span class='hs-varid'>nestVal</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr</span> <span class='hs-varid'>typeDef</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span><span class='hs-layout'>)</span> <a name="line-143"></a> <a name="line-144"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>TypeDef</span> <span class='hs-keyword'>where</span> <a name="line-145"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>TDA</span> <span class='hs-varid'>arrayTD</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>arrayTD</span> <a name="line-146"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>TDR</span> <span class='hs-varid'>recordTD</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>recordTD</span> <a name="line-147"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>TDE</span> <span class='hs-varid'>enumTD</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>enumTD</span> <a name="line-148"></a> <a name="line-149"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>ArrayTypeDef</span> <span class='hs-keyword'>where</span> <a name="line-150"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>UnconsArrayDef</span> <span class='hs-varid'>unconsIxs</span> <span class='hs-varid'>elemsTM</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-151"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"array"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>parens</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr_list</span> <span class='hs-varid'>hComma</span> <span class='hs-varop'>$</span> <span class='hs-varid'>map</span> <span class='hs-varid'>pprUnconsRange</span> <span class='hs-varid'>unconsIxs</span><span class='hs-layout'>)</span> <span class='hs-varop'><+></span> <a name="line-152"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"of"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>elemsTM</span> <a name="line-153"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>pprUnconsRange</span> <span class='hs-varid'>tm</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>tm</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-str'>"range <>"</span> <a name="line-154"></a> <a name="line-155"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>ConsArrayDef</span> <span class='hs-varid'>consIxs</span> <span class='hs-varid'>elemsTM</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-156"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"array"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>consIxs</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-str'>"of"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>elemsTM</span> <a name="line-157"></a> <a name="line-158"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>RecordTypeDef</span> <span class='hs-keyword'>where</span> <a name="line-159"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>RecordTypeDef</span> <span class='hs-varid'>elementDecs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-160"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"record"</span> <span class='hs-varop'><+></span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr_list</span> <span class='hs-layout'>(</span><span class='hs-varop'>$+$</span><span class='hs-layout'>)</span> <span class='hs-varid'>elementDecs</span><span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <a name="line-161"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"end record"</span> <a name="line-162"></a> <a name="line-163"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>ElementDec</span> <span class='hs-keyword'>where</span> <a name="line-164"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>ElementDec</span> <span class='hs-varid'>id</span> <span class='hs-varid'>tm</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>id</span> <span class='hs-varop'><+></span> <span class='hs-varid'>colon</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>tm</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span> <a name="line-165"></a> <a name="line-166"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>EnumTypeDef</span> <span class='hs-keyword'>where</span> <a name="line-167"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>EnumTypeDef</span> <span class='hs-varid'>ids</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>lparen</span> <span class='hs-varop'><></span> <span class='hs-varid'>ppr_list</span> <span class='hs-varid'>hComma</span> <span class='hs-varid'>ids</span> <span class='hs-varop'><></span> <span class='hs-varid'>rparen</span> <a name="line-168"></a> <a name="line-169"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>VHDLName</span> <span class='hs-keyword'>where</span> <a name="line-170"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>NSimple</span> <span class='hs-varid'>simple</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>simple</span> <a name="line-171"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>NSelected</span> <span class='hs-varid'>selected</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>selected</span> <a name="line-172"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>NIndexed</span> <span class='hs-varid'>indexed</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>indexed</span> <a name="line-173"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>NSlice</span> <span class='hs-varid'>slice</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>slice</span> <a name="line-174"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>NAttribute</span> <span class='hs-varid'>attrib</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>attrib</span> <a name="line-175"></a> <a name="line-176"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>SelectedName</span> <span class='hs-keyword'>where</span> <a name="line-177"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-varid'>prefix</span> <span class='hs-conop'>:.:</span> <span class='hs-varid'>suffix</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>prefix</span> <span class='hs-varop'><></span> <span class='hs-varid'>dot</span> <span class='hs-varop'><></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>suffix</span> <a name="line-178"></a> <a name="line-179"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>Suffix</span> <span class='hs-keyword'>where</span> <a name="line-180"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>SSimple</span> <span class='hs-varid'>simpleName</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>simpleName</span> <a name="line-181"></a> <span class='hs-varid'>ppr</span> <span class='hs-conid'>All</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>text</span> <span class='hs-str'>"all"</span> <a name="line-182"></a> <a name="line-183"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>IndexedName</span> <span class='hs-keyword'>where</span> <a name="line-184"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>IndexedName</span> <span class='hs-varid'>prefix</span> <span class='hs-varid'>indexList</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-185"></a> <span class='hs-varid'>ppr</span> <span class='hs-varid'>prefix</span> <span class='hs-varop'><></span> <span class='hs-varid'>parens</span> <span class='hs-layout'>(</span> <span class='hs-varid'>ppr_list</span> <span class='hs-varid'>hComma</span> <span class='hs-varid'>indexList</span> <span class='hs-layout'>)</span> <a name="line-186"></a> <a name="line-187"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>SliceName</span> <span class='hs-keyword'>where</span> <a name="line-188"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>SliceName</span> <span class='hs-varid'>prefix</span> <span class='hs-varid'>discreteRange</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>prefix</span> <span class='hs-varop'><></span> <span class='hs-varid'>parens</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr</span> <span class='hs-varid'>discreteRange</span><span class='hs-layout'>)</span> <a name="line-189"></a> <a name="line-190"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>AttribName</span> <span class='hs-keyword'>where</span> <a name="line-191"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>AttribName</span> <span class='hs-varid'>prefix</span> <span class='hs-varid'>simpleName</span> <span class='hs-varid'>mExpr</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-192"></a> <span class='hs-varid'>ppr</span> <span class='hs-varid'>prefix</span> <span class='hs-varop'><></span> <span class='hs-varid'>char</span> <span class='hs-chr'>'\''</span> <span class='hs-varop'><></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>simpleName</span> <span class='hs-varop'><></span> <span class='hs-varid'>parensNonEmpty</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr</span> <span class='hs-varid'>mExpr</span><span class='hs-layout'>)</span> <a name="line-193"></a> <a name="line-194"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>BlockDecItem</span><span class='hs-keyglyph'>]</span> <span class='hs-keyword'>where</span> <a name="line-195"></a> <span class='hs-varid'>ppr</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr_list</span> <span class='hs-layout'>(</span><span class='hs-varop'>$+$</span><span class='hs-layout'>)</span> <a name="line-196"></a> <a name="line-197"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>BlockDecItem</span> <span class='hs-keyword'>where</span> <a name="line-198"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>BDISPB</span> <span class='hs-varid'>subProgBody</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>subProgBody</span> <a name="line-199"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>BDISD</span> <span class='hs-varid'>sigDec</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>sigDec</span> <a name="line-200"></a> <a name="line-201"></a> <a name="line-202"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>SubProgBody</span> <span class='hs-keyword'>where</span> <a name="line-203"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>SubProgBody</span> <span class='hs-varid'>subProgSpec</span> <span class='hs-varid'>decItems</span> <span class='hs-varid'>statements</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-204"></a> <span class='hs-varid'>ppr</span> <span class='hs-varid'>subProgSpec</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-str'>"is"</span> <span class='hs-varop'>$+$</span> <a name="line-205"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr_list</span> <span class='hs-layout'>(</span><span class='hs-varop'>$+$</span><span class='hs-layout'>)</span> <span class='hs-varid'>decItems</span><span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <a name="line-206"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"begin"</span> <span class='hs-varop'>$+$</span> <a name="line-207"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr_list</span> <span class='hs-layout'>(</span><span class='hs-varop'>$+$</span><span class='hs-layout'>)</span> <span class='hs-varid'>statements</span><span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <a name="line-208"></a><span class='hs-comment'>-- TODO, show the id here</span> <a name="line-209"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"end"</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span> <a name="line-210"></a> <a name="line-211"></a> <a name="line-212"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>SubProgDecItem</span> <span class='hs-keyword'>where</span> <a name="line-213"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>SPVD</span> <span class='hs-varid'>vd</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>vd</span> <a name="line-214"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>SPSB</span> <span class='hs-varid'>sb</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>sb</span> <a name="line-215"></a> <a name="line-216"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>VarDec</span> <span class='hs-keyword'>where</span> <a name="line-217"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>VarDec</span> <span class='hs-varid'>id</span> <span class='hs-varid'>st</span> <span class='hs-varid'>mExpr</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-218"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"variable"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>id</span> <span class='hs-varop'><+></span> <span class='hs-varid'>colon</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>st</span> <span class='hs-varop'><+></span> <a name="line-219"></a> <span class='hs-layout'>(</span><span class='hs-varid'>text</span> <span class='hs-str'>":="</span> <span class='hs-varop'><++></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>mExpr</span><span class='hs-layout'>)</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span> <a name="line-220"></a> <a name="line-221"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>SubProgSpec</span> <span class='hs-keyword'>where</span> <a name="line-222"></a><span class='hs-comment'>-- FIXME: improve pretty printing of the</span> <a name="line-223"></a><span class='hs-comment'>-- declarations</span> <a name="line-224"></a><span class='hs-comment'>-- This:</span> <a name="line-225"></a><span class='hs-comment'>-- (S1 : bit;</span> <a name="line-226"></a><span class='hs-comment'>-- Ssdds : bit)</span> <a name="line-227"></a><span class='hs-comment'>-- should really be printed as</span> <a name="line-228"></a><span class='hs-comment'>-- (S1 : bit;</span> <a name="line-229"></a><span class='hs-comment'>-- Ssdds : bit)</span> <a name="line-230"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>Function</span> <span class='hs-varid'>name</span> <span class='hs-varid'>decList</span> <span class='hs-varid'>returnType</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-231"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"function"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>name</span> <span class='hs-varop'><+></span> <span class='hs-layout'>(</span><span class='hs-varid'>parensNonEmpty</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr_decs</span> <span class='hs-varid'>decList</span><span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <a name="line-232"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"return"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>returnType</span><span class='hs-layout'>)</span> <a name="line-233"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>ppr_decs</span> <span class='hs-varid'>ds</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr_list</span> <span class='hs-varid'>vSemi</span> <span class='hs-varid'>ds</span> <a name="line-234"></a> <a name="line-235"></a> <a name="line-236"></a> <a name="line-237"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>IfaceVarDec</span> <span class='hs-keyword'>where</span> <a name="line-238"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>IfaceVarDec</span> <span class='hs-varid'>id</span> <span class='hs-varid'>typemark</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>id</span> <span class='hs-varop'><+></span> <span class='hs-varid'>colon</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>typemark</span> <a name="line-239"></a> <a name="line-240"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>SeqSm</span> <span class='hs-keyword'>where</span> <a name="line-241"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>IfSm</span> <span class='hs-varid'>cond</span> <span class='hs-varid'>sms</span> <span class='hs-varid'>elseIfs</span> <span class='hs-varid'>maybeElse</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-242"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"if"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>cond</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-str'>"then"</span> <span class='hs-varop'>$+$</span> <a name="line-243"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr</span> <span class='hs-varid'>sms</span><span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <a name="line-244"></a> <span class='hs-varid'>ppr</span> <span class='hs-varid'>elseIfs</span> <span class='hs-varop'>$+$</span> <a name="line-245"></a> <span class='hs-varid'>ppr</span> <span class='hs-varid'>maybeElse</span> <span class='hs-varop'>$+$</span> <a name="line-246"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"end if"</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span> <a name="line-247"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>CaseSm</span> <span class='hs-varid'>patern</span> <span class='hs-varid'>alts</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>text</span> <span class='hs-str'>"case"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>patern</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-str'>"is"</span> <span class='hs-varop'>$+$</span> <a name="line-248"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr</span> <span class='hs-varid'>alts</span><span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <a name="line-249"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"end case"</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span> <a name="line-250"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>ReturnSm</span> <span class='hs-varid'>maybeExpr</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>text</span> <span class='hs-str'>"return"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>maybeExpr</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span> <a name="line-251"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>ForSM</span> <span class='hs-varid'>id</span> <span class='hs-varid'>dr</span> <span class='hs-varid'>sms</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-252"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"for"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>id</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-str'>"in"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>dr</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-str'>"loop"</span> <span class='hs-varop'>$+$</span> <a name="line-253"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr</span> <span class='hs-varid'>sms</span><span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <a name="line-254"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"end loop"</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span> <a name="line-255"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-varid'>target</span> <span class='hs-conop'>:=</span> <span class='hs-varid'>orig</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>target</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-str'>":="</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>orig</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span> <a name="line-256"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>WaitFor</span> <span class='hs-varid'>expr</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>text</span> <span class='hs-str'>"wait for"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>expr</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span> <a name="line-257"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-varid'>targ</span> <span class='hs-varop'>`SigAssign`</span> <span class='hs-varid'>orig</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>targ</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-str'>"<="</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>orig</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span> <a name="line-258"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>ProcCall</span> <span class='hs-varid'>name</span> <span class='hs-varid'>assocs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-259"></a> <span class='hs-varid'>ppr</span> <span class='hs-varid'>name</span> <span class='hs-varop'><></span> <span class='hs-varid'>parensNonEmpty</span> <span class='hs-layout'>(</span><span class='hs-varid'>commaSep</span> <span class='hs-varid'>assocs</span><span class='hs-layout'>)</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span> <a name="line-260"></a> <a name="line-261"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>SeqSm</span><span class='hs-keyglyph'>]</span> <span class='hs-keyword'>where</span> <a name="line-262"></a> <span class='hs-varid'>ppr</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr_list</span> <span class='hs-layout'>(</span><span class='hs-varop'>$+$</span><span class='hs-layout'>)</span> <a name="line-263"></a> <a name="line-264"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>ElseIf</span><span class='hs-keyglyph'>]</span> <span class='hs-keyword'>where</span> <a name="line-265"></a> <span class='hs-varid'>ppr</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr_list</span> <span class='hs-layout'>(</span><span class='hs-varop'>$+$</span><span class='hs-layout'>)</span> <a name="line-266"></a> <a name="line-267"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>ElseIf</span> <span class='hs-keyword'>where</span> <a name="line-268"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>ElseIf</span> <span class='hs-varid'>cond</span> <span class='hs-varid'>sms</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>text</span> <span class='hs-str'>"elseif"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>cond</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-str'>"then"</span> <span class='hs-varop'>$+$</span> <a name="line-269"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr</span> <span class='hs-varid'>sms</span><span class='hs-layout'>)</span> <a name="line-270"></a> <a name="line-271"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>Else</span> <span class='hs-keyword'>where</span> <a name="line-272"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>Else</span> <span class='hs-varid'>sms</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>text</span> <span class='hs-str'>"else"</span> <span class='hs-varop'>$+$</span> <a name="line-273"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr</span> <span class='hs-varid'>sms</span><span class='hs-layout'>)</span> <a name="line-274"></a> <a name="line-275"></a> <a name="line-276"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>CaseSmAlt</span><span class='hs-keyglyph'>]</span> <span class='hs-keyword'>where</span> <a name="line-277"></a> <span class='hs-varid'>ppr</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr_list</span> <span class='hs-layout'>(</span><span class='hs-varop'>$+$</span><span class='hs-layout'>)</span> <a name="line-278"></a> <a name="line-279"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>Choice</span> <span class='hs-keyword'>where</span> <a name="line-280"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>ChoiceE</span> <span class='hs-varid'>expr</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>expr</span> <a name="line-281"></a> <span class='hs-varid'>ppr</span> <span class='hs-conid'>Others</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>text</span> <span class='hs-str'>"others"</span> <a name="line-282"></a> <a name="line-283"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>CaseSmAlt</span> <span class='hs-keyword'>where</span> <a name="line-284"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>CaseSmAlt</span> <span class='hs-varid'>alts</span> <span class='hs-varid'>sms</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-285"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"when"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr_list</span> <span class='hs-varid'>joinAlts</span> <span class='hs-varid'>alts</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-str'>"=>"</span> <span class='hs-varop'>$+$</span> <a name="line-286"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr</span> <span class='hs-varid'>sms</span><span class='hs-layout'>)</span> <a name="line-287"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>joinAlts</span> <span class='hs-varid'>a1</span> <span class='hs-varid'>a2</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>a1</span> <span class='hs-varop'><+></span> <span class='hs-varid'>char</span> <span class='hs-chr'>'|'</span> <span class='hs-varop'><+></span> <span class='hs-varid'>a2</span> <a name="line-288"></a> <a name="line-289"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>SigDec</span> <span class='hs-keyword'>where</span> <a name="line-290"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>SigDec</span> <span class='hs-varid'>id</span> <span class='hs-varid'>typemark</span> <span class='hs-varid'>mInit</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-291"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"signal"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>id</span> <span class='hs-varop'><+></span> <span class='hs-varid'>colon</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>typemark</span> <span class='hs-varop'><+></span> <a name="line-292"></a> <span class='hs-layout'>(</span><span class='hs-varid'>text</span> <span class='hs-str'>":="</span> <span class='hs-varop'><++></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>mInit</span><span class='hs-layout'>)</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span> <a name="line-293"></a> <a name="line-294"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>ConcSm</span><span class='hs-keyglyph'>]</span> <span class='hs-keyword'>where</span> <a name="line-295"></a> <span class='hs-varid'>ppr</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr_list</span> <span class='hs-layout'>(</span><span class='hs-varop'>$$</span><span class='hs-layout'>)</span> <a name="line-296"></a> <a name="line-297"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>ConcSm</span> <span class='hs-keyword'>where</span> <a name="line-298"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>CSBSm</span> <span class='hs-varid'>blockSm</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>blockSm</span> <a name="line-299"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>CSSASm</span> <span class='hs-varid'>conSigAssignSm</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>conSigAssignSm</span> <a name="line-300"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>CSISm</span> <span class='hs-varid'>compInsSm</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>compInsSm</span> <a name="line-301"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>CSPSm</span> <span class='hs-varid'>procSm</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>procSm</span> <a name="line-302"></a> <a name="line-303"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>BlockSm</span> <span class='hs-keyword'>where</span> <a name="line-304"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>BlockSm</span> <span class='hs-varid'>label</span> <span class='hs-varid'>ifaceSigDecs</span> <span class='hs-varid'>pMapAspect</span> <span class='hs-varid'>blockDecItems</span> <span class='hs-varid'>concSms</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-305"></a> <span class='hs-varid'>labelDoc</span> <span class='hs-varop'><+></span> <span class='hs-varid'>colon</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-str'>"block"</span> <span class='hs-varop'>$+$</span> <a name="line-306"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr</span> <span class='hs-varid'>ifaceSigDecs</span><span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <a name="line-307"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr</span> <span class='hs-varid'>pMapAspect</span><span class='hs-layout'>)</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span> <span class='hs-varop'>$+$</span> <a name="line-308"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr</span> <span class='hs-varid'>blockDecItems</span><span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <a name="line-309"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"begin"</span> <span class='hs-varop'>$+$</span> <a name="line-310"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr</span> <span class='hs-varid'>concSms</span><span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <a name="line-311"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"end block"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>labelDoc</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span> <a name="line-312"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>labelDoc</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>label</span> <a name="line-313"></a> <a name="line-314"></a> <a name="line-315"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>PMapAspect</span> <span class='hs-keyword'>where</span> <a name="line-316"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>PMapAspect</span> <span class='hs-varid'>assocs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>text</span> <span class='hs-str'>"port map"</span> <span class='hs-varop'>$$</span> <a name="line-317"></a> <span class='hs-layout'>(</span><span class='hs-varid'>nest</span> <span class='hs-varid'>identL</span> <span class='hs-varop'>$</span> <span class='hs-varid'>parens</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr_list</span> <span class='hs-varid'>vComma</span> <span class='hs-varid'>assocs</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-318"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>identL</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>length</span> <span class='hs-str'>"port map "</span> <a name="line-319"></a> <a name="line-320"></a> <a name="line-321"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>AssocElem</span> <span class='hs-keyword'>where</span> <a name="line-322"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-varid'>formalPart</span> <span class='hs-conop'>:=>:</span> <span class='hs-varid'>actualPart</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>formalPartDoc</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>actualPart</span> <a name="line-323"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>formalPartDoc</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>maybe</span> <span class='hs-varid'>empty</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>fp</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>fp</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-str'>"=>"</span><span class='hs-layout'>)</span> <span class='hs-varid'>formalPart</span> <a name="line-324"></a> <a name="line-325"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>ActualDesig</span> <span class='hs-keyword'>where</span> <a name="line-326"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>ADName</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>name</span> <a name="line-327"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>ADExpr</span> <span class='hs-varid'>expr</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>expr</span> <a name="line-328"></a> <span class='hs-varid'>ppr</span> <span class='hs-conid'>Open</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>text</span> <span class='hs-str'>"open"</span> <a name="line-329"></a> <a name="line-330"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>ConSigAssignSm</span> <span class='hs-keyword'>where</span> <a name="line-331"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-varid'>target</span> <span class='hs-conop'>:<==:</span> <span class='hs-varid'>cWforms</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>target</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-str'>"<="</span> <span class='hs-varop'><+></span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr</span> <span class='hs-varid'>cWforms</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span><span class='hs-layout'>)</span> <a name="line-332"></a> <a name="line-333"></a> <a name="line-334"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>ConWforms</span> <span class='hs-keyword'>where</span> <a name="line-335"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>ConWforms</span> <span class='hs-varid'>whenElses</span> <span class='hs-varid'>wform</span> <span class='hs-varid'>lastElse</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr_list</span> <span class='hs-layout'>(</span><span class='hs-varop'>$+$</span><span class='hs-layout'>)</span> <span class='hs-varid'>whenElses</span> <span class='hs-varop'>$+$</span> <a name="line-336"></a> <span class='hs-varid'>ppr</span> <span class='hs-varid'>wform</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>lastElse</span> <a name="line-337"></a> <a name="line-338"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>WhenElse</span> <span class='hs-keyword'>where</span> <a name="line-339"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>WhenElse</span> <span class='hs-varid'>wform</span> <span class='hs-varid'>expr</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>wform</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-str'>"when"</span> <span class='hs-varop'><+></span> <a name="line-340"></a> <span class='hs-varid'>ppr</span> <span class='hs-varid'>expr</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-str'>"else"</span> <a name="line-341"></a> <a name="line-342"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>When</span> <span class='hs-keyword'>where</span> <a name="line-343"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>When</span> <span class='hs-varid'>cond</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>text</span> <span class='hs-str'>"when"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>cond</span> <a name="line-344"></a> <a name="line-345"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>Wform</span> <span class='hs-keyword'>where</span> <a name="line-346"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>Wform</span> <span class='hs-varid'>elems</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr_list</span> <span class='hs-varid'>vComma</span> <span class='hs-varid'>elems</span> <a name="line-347"></a> <span class='hs-varid'>ppr</span> <span class='hs-conid'>Unaffected</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>text</span> <span class='hs-str'>"unaffected"</span> <a name="line-348"></a> <a name="line-349"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>WformElem</span> <span class='hs-keyword'>where</span> <a name="line-350"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>WformElem</span> <span class='hs-varid'>exp</span> <span class='hs-varid'>mAfter</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>exp</span> <span class='hs-varop'><+></span> <span class='hs-layout'>(</span><span class='hs-varid'>text</span> <span class='hs-str'>"after"</span> <span class='hs-varop'><++></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>mAfter</span><span class='hs-layout'>)</span> <a name="line-351"></a> <a name="line-352"></a> <a name="line-353"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>CompInsSm</span> <span class='hs-keyword'>where</span> <a name="line-354"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>CompInsSm</span> <span class='hs-varid'>label</span> <span class='hs-varid'>insUnit</span> <span class='hs-varid'>assocElems</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-355"></a> <span class='hs-varid'>ppr</span> <span class='hs-varid'>label</span> <span class='hs-varop'><+></span> <span class='hs-varid'>colon</span> <span class='hs-varop'><+></span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr</span> <span class='hs-varid'>insUnit</span> <span class='hs-varop'>$+$</span> <a name="line-356"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr</span> <span class='hs-varid'>assocElems</span><span class='hs-layout'>)</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span><span class='hs-layout'>)</span> <a name="line-357"></a> <a name="line-358"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>ProcSm</span> <span class='hs-keyword'>where</span> <a name="line-359"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>ProcSm</span> <span class='hs-varid'>label</span> <span class='hs-varid'>sensl</span> <span class='hs-varid'>seqSms</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-360"></a> <span class='hs-varid'>ppr</span> <span class='hs-varid'>label</span> <span class='hs-varop'><+></span> <span class='hs-varid'>colon</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-str'>"process"</span> <span class='hs-varop'><+></span> <a name="line-361"></a> <span class='hs-varid'>parensNonEmpty</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr_list</span> <span class='hs-varid'>hComma</span> <span class='hs-varid'>sensl</span><span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <a name="line-362"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"begin"</span> <span class='hs-varop'>$+$</span> <a name="line-363"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr</span> <span class='hs-varid'>seqSms</span><span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <a name="line-364"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"end process"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>labelDoc</span> <span class='hs-varop'><></span> <span class='hs-varid'>semi</span> <a name="line-365"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>labelDoc</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>label</span> <a name="line-366"></a> <a name="line-367"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>InsUnit</span> <span class='hs-keyword'>where</span> <a name="line-368"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>IUEntity</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>text</span> <span class='hs-str'>"entity"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>name</span> <a name="line-369"></a> <a name="line-370"></a><span class='hs-comment'>-- FIXME, remove parenthesis according to precedence</span> <a name="line-371"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>Expr</span> <span class='hs-keyword'>where</span> <a name="line-372"></a> <span class='hs-varid'>ppr</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrec</span> <span class='hs-num'>0</span> <span class='hs-str'>""</span> <a name="line-373"></a> <a name="line-374"></a> <a name="line-375"></a><a name="pprExprPrecInfix"></a><span class='hs-comment'>-- | Prettyprint an binary infix operator </span> <a name="line-376"></a><span class='hs-definition'>pprExprPrecInfix</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span> <span class='hs-comment'>-- ^ Accumulated precedence value (initialized to 0)</span> <a name="line-377"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ Enclosing operator (initialized to \"\")</span> <a name="line-378"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span> <span class='hs-comment'>-- ^ Precedence of current infix operator </span> <a name="line-379"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Expr</span> <span class='hs-comment'>-- ^ lhs expression</span> <a name="line-380"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ operator name</span> <a name="line-381"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Expr</span> <span class='hs-comment'>-- ^ rhs expression</span> <a name="line-382"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Doc</span> <a name="line-383"></a><span class='hs-comment'>-- To avoid priting parenthesis based on the left</span> <a name="line-384"></a><span class='hs-comment'>-- associativity of all operators within the same precedence class, </span> <a name="line-385"></a><span class='hs-comment'>-- the precedence passed to the left branch is curr instead of</span> <a name="line-386"></a><span class='hs-comment'>-- curr+1.</span> <a name="line-387"></a><span class='hs-comment'>--</span> <a name="line-388"></a><span class='hs-comment'>-- However, the VHDL grammar sometimes doesn't allow it </span> <a name="line-389"></a><span class='hs-comment'>-- e.g. "and a or b and d" is illegal. In fact,</span> <a name="line-390"></a><span class='hs-comment'>-- you can only put two operators together without parenthesis</span> <a name="line-391"></a><span class='hs-comment'>-- in some cases:</span> <a name="line-392"></a><span class='hs-comment'>-- </span> <a name="line-393"></a><span class='hs-comment'>-- * logical operators: "and", "or", "xor", "xnor", but cannot be mixed up.</span> <a name="line-394"></a><span class='hs-comment'>-- * relational operators: none</span> <a name="line-395"></a><span class='hs-comment'>-- * shift operators: none</span> <a name="line-396"></a><span class='hs-comment'>-- * adding operators: all, can be mixed up</span> <a name="line-397"></a><span class='hs-comment'>-- * multiplying operator: all, can be mixed up</span> <a name="line-398"></a><span class='hs-comment'>-- * misc operator: none</span> <a name="line-399"></a><span class='hs-comment'>--</span> <a name="line-400"></a><span class='hs-comment'>-- Thus, we keep track of the enclosing</span> <a name="line-401"></a><span class='hs-comment'>-- operator, and skip parenthesis according to left parsing associativity</span> <a name="line-402"></a><span class='hs-comment'>-- in the cases stated above.</span> <a name="line-403"></a><span class='hs-comment'>--</span> <a name="line-404"></a><span class='hs-comment'>-- Note that we are only making use of syntactic associativity. e.g.</span> <a name="line-405"></a><span class='hs-comment'>-- even if "+" is semantially associative: a+(b+c)=(a+b)+c,</span> <a name="line-406"></a><span class='hs-comment'>-- we will only skip parenthesis in (a+b)+c</span> <a name="line-407"></a> <a name="line-408"></a><span class='hs-definition'>pprExprPrecInfix</span> <span class='hs-varid'>ac</span> <span class='hs-varid'>encop</span> <span class='hs-varid'>curr</span> <span class='hs-varid'>lhs</span> <span class='hs-varid'>op</span> <span class='hs-varid'>rhs</span> <span class='hs-keyglyph'>=</span> <a name="line-409"></a> <span class='hs-varid'>parensIf</span> <span class='hs-layout'>(</span><span class='hs-varid'>ac</span><span class='hs-varop'>></span><span class='hs-varid'>curr</span> <span class='hs-varop'>||</span> <span class='hs-layout'>(</span><span class='hs-varid'>ac</span> <span class='hs-varop'>==</span> <span class='hs-varid'>curr</span> <span class='hs-varop'>&&</span> <span class='hs-varid'>not</span> <span class='hs-varid'>skipParenSameLevel</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <a name="line-410"></a> <span class='hs-varid'>sep</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>pprExprPrec</span> <span class='hs-varid'>curr</span> <span class='hs-varid'>op</span> <span class='hs-varid'>lhs</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-varid'>op</span><span class='hs-layout'>,</span> <span class='hs-varid'>pprExprPrec</span> <span class='hs-layout'>(</span><span class='hs-varid'>curr</span><span class='hs-varop'>+</span><span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-varid'>op</span> <span class='hs-varid'>rhs</span><span class='hs-keyglyph'>]</span> <a name="line-411"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>skipParenSameLevel</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>curr</span> <span class='hs-varop'>==</span> <span class='hs-varid'>plusPrec</span> <span class='hs-varop'>||</span> <span class='hs-varid'>curr</span> <span class='hs-varop'>==</span> <span class='hs-varid'>multPrec</span> <span class='hs-varop'>||</span> <a name="line-412"></a> <span class='hs-layout'>(</span><span class='hs-varid'>encop</span> <span class='hs-varop'>==</span> <span class='hs-varid'>op</span> <span class='hs-varop'>&&</span> <span class='hs-varid'>op</span> <span class='hs-varop'>`elem`</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"and"</span><span class='hs-layout'>,</span><span class='hs-str'>"or"</span><span class='hs-layout'>,</span><span class='hs-str'>"xor"</span><span class='hs-layout'>,</span><span class='hs-str'>"xnor"</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <a name="line-413"></a> <a name="line-414"></a><a name="pprExprPrecPrefix"></a><span class='hs-comment'>-- | Prettyprint unary prefix operators</span> <a name="line-415"></a><span class='hs-definition'>pprExprPrecPrefix</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span> <span class='hs-comment'>-- ^ Accumulated precedence value (initialized to 0)</span> <a name="line-416"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span> <span class='hs-comment'>-- ^ Precedence of current infix operator</span> <a name="line-417"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ operator name</span> <a name="line-418"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Expr</span> <span class='hs-comment'>-- ^ operator argument</span> <a name="line-419"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Doc</span> <a name="line-420"></a><span class='hs-definition'>pprExprPrecPrefix</span> <span class='hs-varid'>ac</span> <span class='hs-varid'>curr</span> <span class='hs-varid'>op</span> <span class='hs-varid'>arg</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>parensIf</span> <span class='hs-layout'>(</span><span class='hs-varid'>ac</span><span class='hs-varop'>></span><span class='hs-varid'>curr</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <a name="line-421"></a> <span class='hs-varid'>text</span> <span class='hs-varid'>op</span> <span class='hs-varop'><+></span> <span class='hs-varid'>pprExprPrec</span> <span class='hs-layout'>(</span><span class='hs-varid'>curr</span><span class='hs-varop'>+</span><span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-varid'>op</span> <span class='hs-varid'>arg</span> <a name="line-422"></a> <a name="line-423"></a> <a name="line-424"></a><a name="pprExprPrec"></a><span class='hs-comment'>-- | Prints an expression taking precedence and left associativity</span> <a name="line-425"></a><span class='hs-comment'>-- in account</span> <a name="line-426"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span> <span class='hs-comment'>-- ^ Accumulated precedence value (initialized to 0)</span> <a name="line-427"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ Enclosing operator</span> <a name="line-428"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Expr</span> <span class='hs-comment'>-- ^ Expression curently prettyprinted </span> <a name="line-429"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Doc</span> <a name="line-430"></a><span class='hs-comment'>-- Logical operations</span> <a name="line-431"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-conid'>And</span> <span class='hs-varid'>e1</span> <span class='hs-varid'>e2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecInfix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-varid'>logicalPrec</span> <span class='hs-varid'>e1</span> <span class='hs-str'>"and"</span> <span class='hs-varid'>e2</span> <a name="line-432"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-conid'>Or</span> <span class='hs-varid'>e1</span> <span class='hs-varid'>e2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecInfix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-varid'>logicalPrec</span> <span class='hs-varid'>e1</span> <span class='hs-str'>"or"</span> <span class='hs-varid'>e2</span> <a name="line-433"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-conid'>Xor</span> <span class='hs-varid'>e1</span> <span class='hs-varid'>e2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecInfix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-varid'>logicalPrec</span> <span class='hs-varid'>e1</span> <span class='hs-str'>"xor"</span> <span class='hs-varid'>e2</span> <a name="line-434"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-conid'>Nand</span> <span class='hs-varid'>e1</span> <span class='hs-varid'>e2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecInfix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-varid'>logicalPrec</span> <span class='hs-varid'>e1</span> <span class='hs-str'>"nand"</span> <span class='hs-varid'>e2</span> <a name="line-435"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-conid'>Nor</span> <span class='hs-varid'>e1</span> <span class='hs-varid'>e2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecInfix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-varid'>logicalPrec</span> <span class='hs-varid'>e1</span> <span class='hs-str'>"nor"</span> <span class='hs-varid'>e2</span> <a name="line-436"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-conid'>Xnor</span> <span class='hs-varid'>e1</span> <span class='hs-varid'>e2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecInfix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-varid'>logicalPrec</span> <span class='hs-varid'>e1</span> <span class='hs-str'>"xnor"</span> <span class='hs-varid'>e2</span> <a name="line-437"></a><span class='hs-comment'>-- Relational Operators</span> <a name="line-438"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-varid'>e1</span> <span class='hs-conop'>:=:</span> <span class='hs-varid'>e2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecInfix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-varid'>relationalPrec</span> <span class='hs-varid'>e1</span> <span class='hs-str'>"="</span> <span class='hs-varid'>e2</span> <a name="line-439"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-varid'>e1</span> <span class='hs-conop'>:/=:</span> <span class='hs-varid'>e2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecInfix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-varid'>relationalPrec</span> <span class='hs-varid'>e1</span> <span class='hs-str'>"/="</span> <span class='hs-varid'>e2</span> <a name="line-440"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-varid'>e1</span> <span class='hs-conop'>:<:</span> <span class='hs-varid'>e2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecInfix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-varid'>relationalPrec</span> <span class='hs-varid'>e1</span> <span class='hs-str'>"<"</span> <span class='hs-varid'>e2</span> <a name="line-441"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-varid'>e1</span> <span class='hs-conop'>:<=:</span> <span class='hs-varid'>e2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecInfix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-varid'>relationalPrec</span> <span class='hs-varid'>e1</span> <span class='hs-str'>"<="</span> <span class='hs-varid'>e2</span> <a name="line-442"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-varid'>e1</span> <span class='hs-conop'>:>:</span> <span class='hs-varid'>e2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecInfix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-varid'>relationalPrec</span> <span class='hs-varid'>e1</span> <span class='hs-str'>">"</span> <span class='hs-varid'>e2</span> <a name="line-443"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-varid'>e1</span> <span class='hs-conop'>:>=:</span> <span class='hs-varid'>e2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecInfix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-varid'>relationalPrec</span> <span class='hs-varid'>e1</span> <span class='hs-str'>">="</span> <span class='hs-varid'>e2</span> <a name="line-444"></a><span class='hs-comment'>-- Shift Operators</span> <a name="line-445"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-conid'>Sll</span> <span class='hs-varid'>e1</span> <span class='hs-varid'>e2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecInfix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-varid'>shiftPrec</span> <span class='hs-varid'>e1</span> <span class='hs-str'>"sll"</span> <span class='hs-varid'>e2</span> <a name="line-446"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-conid'>Srl</span> <span class='hs-varid'>e1</span> <span class='hs-varid'>e2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecInfix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-varid'>shiftPrec</span> <span class='hs-varid'>e1</span> <span class='hs-str'>"srl"</span> <span class='hs-varid'>e2</span> <a name="line-447"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-conid'>Sla</span> <span class='hs-varid'>e1</span> <span class='hs-varid'>e2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecInfix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-varid'>shiftPrec</span> <span class='hs-varid'>e1</span> <span class='hs-str'>"sla"</span> <span class='hs-varid'>e2</span> <a name="line-448"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-conid'>Sra</span> <span class='hs-varid'>e1</span> <span class='hs-varid'>e2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecInfix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-varid'>shiftPrec</span> <span class='hs-varid'>e1</span> <span class='hs-str'>"sra"</span> <span class='hs-varid'>e2</span> <a name="line-449"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-conid'>Rol</span> <span class='hs-varid'>e1</span> <span class='hs-varid'>e2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecInfix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-varid'>shiftPrec</span> <span class='hs-varid'>e1</span> <span class='hs-str'>"rol"</span> <span class='hs-varid'>e2</span> <a name="line-450"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-conid'>Ror</span> <span class='hs-varid'>e1</span> <span class='hs-varid'>e2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecInfix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-varid'>shiftPrec</span> <span class='hs-varid'>e1</span> <span class='hs-str'>"ror"</span> <span class='hs-varid'>e2</span> <a name="line-451"></a><span class='hs-comment'>-- Adding Operators</span> <a name="line-452"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-varid'>e1</span> <span class='hs-conop'>:+:</span> <span class='hs-varid'>e2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecInfix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-varid'>plusPrec</span> <span class='hs-varid'>e1</span> <span class='hs-str'>"+"</span> <span class='hs-varid'>e2</span> <a name="line-453"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-varid'>e1</span> <span class='hs-conop'>:-:</span> <span class='hs-varid'>e2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecInfix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-varid'>plusPrec</span> <span class='hs-varid'>e1</span> <span class='hs-str'>"-"</span> <span class='hs-varid'>e2</span> <a name="line-454"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-varid'>e1</span> <span class='hs-conop'>:&:</span> <span class='hs-varid'>e2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecInfix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-varid'>plusPrec</span> <span class='hs-varid'>e1</span> <span class='hs-str'>"&"</span> <span class='hs-varid'>e2</span> <a name="line-455"></a><span class='hs-comment'>-- Sign Operators</span> <a name="line-456"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>Neg</span> <span class='hs-varid'>e</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecPrefix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>signPrec</span> <span class='hs-str'>"-"</span> <span class='hs-varid'>e</span> <a name="line-457"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>Pos</span> <span class='hs-varid'>e</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecPrefix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>signPrec</span> <span class='hs-str'>"+"</span> <span class='hs-varid'>e</span> <a name="line-458"></a><span class='hs-comment'>-- Multiplying Operators</span> <a name="line-459"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-varid'>e1</span> <span class='hs-conop'>:*:</span> <span class='hs-varid'>e2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecInfix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-varid'>multPrec</span> <span class='hs-varid'>e1</span> <span class='hs-str'>"*"</span> <span class='hs-varid'>e2</span> <a name="line-460"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-varid'>e1</span> <span class='hs-conop'>:/:</span> <span class='hs-varid'>e2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecInfix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-varid'>multPrec</span> <span class='hs-varid'>e1</span> <span class='hs-str'>"/"</span> <span class='hs-varid'>e2</span> <a name="line-461"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-conid'>Mod</span> <span class='hs-varid'>e1</span> <span class='hs-varid'>e2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecInfix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-varid'>multPrec</span> <span class='hs-varid'>e1</span> <span class='hs-str'>"mod"</span> <span class='hs-varid'>e2</span> <a name="line-462"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-conid'>Rem</span> <span class='hs-varid'>e1</span> <span class='hs-varid'>e2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecInfix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-varid'>multPrec</span> <span class='hs-varid'>e1</span> <span class='hs-str'>"rem"</span> <span class='hs-varid'>e2</span> <a name="line-463"></a><span class='hs-comment'>-- Miscellaneous Operators</span> <a name="line-464"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-varid'>e1</span> <span class='hs-conop'>:**:</span> <span class='hs-varid'>e2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecInfix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-varid'>miscPrec</span> <span class='hs-varid'>e1</span> <span class='hs-str'>"**"</span> <span class='hs-varid'>e2</span> <a name="line-465"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>Abs</span> <span class='hs-varid'>e</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecPrefix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>signPrec</span> <span class='hs-str'>"abs"</span> <span class='hs-varid'>e</span> <a name="line-466"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-varid'>p</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>Not</span> <span class='hs-varid'>e</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprExprPrecPrefix</span> <span class='hs-varid'>p</span> <span class='hs-varid'>signPrec</span> <span class='hs-str'>"not"</span> <span class='hs-varid'>e</span> <a name="line-467"></a><span class='hs-comment'>-- Primary expressions</span> <a name="line-468"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>PrimName</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>name</span> <a name="line-469"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>PrimLit</span> <span class='hs-varid'>lit</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>text</span> <span class='hs-varid'>lit</span> <a name="line-470"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>PrimFCall</span> <span class='hs-varid'>fCall</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>fCall</span> <a name="line-471"></a><span class='hs-comment'>-- Composite-type expressions</span> <a name="line-472"></a><span class='hs-definition'>pprExprPrec</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>Aggregate</span> <span class='hs-varid'>assocs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>parens</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr_list</span> <span class='hs-varid'>hComma</span> <span class='hs-varid'>assocs</span><span class='hs-layout'>)</span> <a name="line-473"></a> <a name="line-474"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>ElemAssoc</span> <span class='hs-keyword'>where</span> <a name="line-475"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>ElemAssoc</span> <span class='hs-varid'>mChoice</span> <span class='hs-varid'>expr</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr</span> <span class='hs-varid'>mChoice</span> <span class='hs-varop'><++></span> <span class='hs-varid'>text</span> <span class='hs-str'>"=>"</span><span class='hs-layout'>)</span> <span class='hs-varop'><+></span> <span class='hs-varid'>ppr</span> <span class='hs-varid'>expr</span> <a name="line-476"></a> <a name="line-477"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ppr</span> <span class='hs-conid'>FCall</span> <span class='hs-keyword'>where</span> <a name="line-478"></a> <span class='hs-varid'>ppr</span> <span class='hs-layout'>(</span><span class='hs-conid'>FCall</span> <span class='hs-varid'>name</span> <span class='hs-varid'>assocs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-479"></a> <span class='hs-varid'>ppr</span> <span class='hs-varid'>name</span> <span class='hs-varop'><></span> <span class='hs-varid'>parensNonEmpty</span> <span class='hs-layout'>(</span><span class='hs-varid'>commaSep</span> <span class='hs-varid'>assocs</span><span class='hs-layout'>)</span> <a name="line-480"></a> </pre></body> </html>