/usr/share/doc/libghc-curry-frontend-doc/html/src/Env-OpPrec.html is in libghc-curry-frontend-doc 1.0.1-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 | <?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://code.haskell.org/~malcolm/hscolour/ -->
<title>src/Env/OpPrec.hs</title>
<link type='text/css' rel='stylesheet' href='hscolour.css' />
</head>
<body>
<pre><a name="line-1"></a><span class='hs-comment'>{- |
<a name="line-2"></a> Module : $Header$
<a name="line-3"></a> Description : Environment of operator precedences
<a name="line-4"></a> Copyright : (c) 2002 - 2004, Wolfgang Lux
<a name="line-5"></a> 2011 - 2013, Björn Peemöller
<a name="line-6"></a> License : BSD-3-clause
<a name="line-7"></a>
<a name="line-8"></a> Maintainer : bjp@informatik.uni-kiel.de
<a name="line-9"></a> Stability : experimental
<a name="line-10"></a> Portability : portable
<a name="line-11"></a>
<a name="line-12"></a> In order to parse infix expressions correctly, the compiler must know
<a name="line-13"></a> the precedence and fixity of each operator. Operator precedences are
<a name="line-14"></a> associated with entities and will be checked after renaming was
<a name="line-15"></a> applied. Nevertheless, we need to save precedences for ambiguous names
<a name="line-16"></a> in order to handle them correctly while computing the exported
<a name="line-17"></a> interface of a module.
<a name="line-18"></a>
<a name="line-19"></a> If no fixity is assigned to an operator, it will be given the default
<a name="line-20"></a> precedence 9 and assumed to be a left-associative operator.
<a name="line-21"></a>
<a name="line-22"></a> /Note:/ this modified version uses Haskell type 'Integer'
<a name="line-23"></a> for representing the precedence. This change had to be done due to the
<a name="line-24"></a> introduction of unlimited integer constants in the parser / lexer.
<a name="line-25"></a>-}</span>
<a name="line-26"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>Env</span><span class='hs-varop'>.</span><span class='hs-conid'>OpPrec</span>
<a name="line-27"></a> <span class='hs-layout'>(</span> <span class='hs-conid'>OpPrec</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-varid'>defaultP</span><span class='hs-layout'>,</span> <span class='hs-varid'>defaultAssoc</span><span class='hs-layout'>,</span> <span class='hs-varid'>defaultPrecedence</span><span class='hs-layout'>,</span> <span class='hs-varid'>mkPrec</span>
<a name="line-28"></a> <span class='hs-layout'>,</span> <span class='hs-conid'>OpPrecEnv</span><span class='hs-layout'>,</span> <span class='hs-conid'>PrecInfo</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-varid'>bindP</span><span class='hs-layout'>,</span> <span class='hs-varid'>lookupP</span><span class='hs-layout'>,</span> <span class='hs-varid'>qualLookupP</span><span class='hs-layout'>,</span> <span class='hs-varid'>initOpPrecEnv</span>
<a name="line-29"></a> <span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-30"></a>
<a name="line-31"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Curry</span><span class='hs-varop'>.</span><span class='hs-conid'>Base</span><span class='hs-varop'>.</span><span class='hs-conid'>Ident</span>
<a name="line-32"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Curry</span><span class='hs-varop'>.</span><span class='hs-conid'>Base</span><span class='hs-varop'>.</span><span class='hs-conid'>Pretty</span> <span class='hs-layout'>(</span><span class='hs-conid'>Pretty</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-33"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Curry</span><span class='hs-varop'>.</span><span class='hs-conid'>Syntax</span> <span class='hs-layout'>(</span><span class='hs-conid'>Infix</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-34"></a>
<a name="line-35"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Base</span><span class='hs-varop'>.</span><span class='hs-conid'>TopEnv</span>
<a name="line-36"></a>
<a name="line-37"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Maybe</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromMaybe</span><span class='hs-layout'>)</span>
<a name="line-38"></a>
<a name="line-39"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>PrettyPrint</span>
<a name="line-40"></a>
<a name="line-41"></a><a name="OpPrec"></a><span class='hs-comment'>-- |Operator precedence.</span>
<a name="line-42"></a><a name="OpPrec"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>OpPrec</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>OpPrec</span> <span class='hs-conid'>Infix</span> <span class='hs-conid'>Precedence</span> <span class='hs-keyword'>deriving</span> <span class='hs-conid'>Eq</span>
<a name="line-43"></a>
<a name="line-44"></a><a name="Precedence"></a><span class='hs-keyword'>type</span> <span class='hs-conid'>Precedence</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Integer</span>
<a name="line-45"></a>
<a name="line-46"></a><a name="instance%20Show%20OpPrec"></a><span class='hs-comment'>-- TODO: Change to real show instance and provide Pretty instance</span>
<a name="line-47"></a><a name="instance%20Show%20OpPrec"></a><span class='hs-comment'>-- if used anywhere.</span>
<a name="line-48"></a><a name="instance%20Show%20OpPrec"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Show</span> <span class='hs-conid'>OpPrec</span> <span class='hs-keyword'>where</span>
<a name="line-49"></a> <span class='hs-varid'>showsPrec</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>OpPrec</span> <span class='hs-varid'>fix</span> <span class='hs-varid'>p</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>showString</span> <span class='hs-layout'>(</span><span class='hs-varid'>assoc</span> <span class='hs-varid'>fix</span><span class='hs-layout'>)</span> <span class='hs-varop'>.</span> <span class='hs-varid'>shows</span> <span class='hs-varid'>p</span>
<a name="line-50"></a> <span class='hs-keyword'>where</span>
<a name="line-51"></a> <span class='hs-varid'>assoc</span> <span class='hs-conid'>InfixL</span> <span class='hs-keyglyph'>=</span> <span class='hs-str'>"left "</span>
<a name="line-52"></a> <span class='hs-varid'>assoc</span> <span class='hs-conid'>InfixR</span> <span class='hs-keyglyph'>=</span> <span class='hs-str'>"right "</span>
<a name="line-53"></a> <span class='hs-varid'>assoc</span> <span class='hs-conid'>Infix</span> <span class='hs-keyglyph'>=</span> <span class='hs-str'>"non-assoc "</span>
<a name="line-54"></a>
<a name="line-55"></a><a name="instance%20Pretty%20OpPrec"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Pretty</span> <span class='hs-conid'>OpPrec</span> <span class='hs-keyword'>where</span>
<a name="line-56"></a> <span class='hs-varid'>pPrint</span> <span class='hs-layout'>(</span><span class='hs-conid'>OpPrec</span> <span class='hs-varid'>fix</span> <span class='hs-varid'>p</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pPrint</span> <span class='hs-varid'>fix</span> <span class='hs-varop'><+></span> <span class='hs-varid'>integer</span> <span class='hs-varid'>p</span>
<a name="line-57"></a>
<a name="line-58"></a><a name="defaultP"></a><span class='hs-comment'>-- |Default operator declaration (associativity and precedence).</span>
<a name="line-59"></a><span class='hs-definition'>defaultP</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>OpPrec</span>
<a name="line-60"></a><span class='hs-definition'>defaultP</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>OpPrec</span> <span class='hs-varid'>defaultAssoc</span> <span class='hs-varid'>defaultPrecedence</span>
<a name="line-61"></a>
<a name="line-62"></a><a name="defaultAssoc"></a><span class='hs-comment'>-- |Default operator associativity.</span>
<a name="line-63"></a><span class='hs-definition'>defaultAssoc</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Infix</span>
<a name="line-64"></a><span class='hs-definition'>defaultAssoc</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>InfixL</span>
<a name="line-65"></a>
<a name="line-66"></a><a name="defaultPrecedence"></a><span class='hs-comment'>-- |Default operator precedence.</span>
<a name="line-67"></a><span class='hs-definition'>defaultPrecedence</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Precedence</span>
<a name="line-68"></a><span class='hs-definition'>defaultPrecedence</span> <span class='hs-keyglyph'>=</span> <span class='hs-num'>9</span>
<a name="line-69"></a>
<a name="line-70"></a><a name="mkPrec"></a><span class='hs-definition'>mkPrec</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>Precedence</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Precedence</span>
<a name="line-71"></a><span class='hs-definition'>mkPrec</span> <span class='hs-varid'>mprec</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromMaybe</span> <span class='hs-varid'>defaultPrecedence</span> <span class='hs-varid'>mprec</span>
<a name="line-72"></a>
<a name="line-73"></a><a name="PrecInfo"></a><span class='hs-comment'>-- |Precedence information for an identifier.</span>
<a name="line-74"></a><a name="PrecInfo"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>PrecInfo</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>PrecInfo</span> <span class='hs-conid'>QualIdent</span> <span class='hs-conid'>OpPrec</span> <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span><span class='hs-conid'>Eq</span><span class='hs-layout'>,</span> <span class='hs-conid'>Show</span><span class='hs-layout'>)</span>
<a name="line-75"></a>
<a name="line-76"></a><a name="instance%20Entity%20PrecInfo"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Entity</span> <span class='hs-conid'>PrecInfo</span> <span class='hs-keyword'>where</span>
<a name="line-77"></a> <span class='hs-varid'>origName</span> <span class='hs-layout'>(</span><span class='hs-conid'>PrecInfo</span> <span class='hs-varid'>op</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>op</span>
<a name="line-78"></a>
<a name="line-79"></a><a name="instance%20Pretty%20PrecInfo"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Pretty</span> <span class='hs-conid'>PrecInfo</span> <span class='hs-keyword'>where</span>
<a name="line-80"></a> <span class='hs-varid'>pPrint</span> <span class='hs-layout'>(</span><span class='hs-conid'>PrecInfo</span> <span class='hs-varid'>qid</span> <span class='hs-varid'>prec</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pPrint</span> <span class='hs-varid'>qid</span> <span class='hs-varop'><+></span> <span class='hs-varid'>pPrint</span> <span class='hs-varid'>prec</span>
<a name="line-81"></a>
<a name="line-82"></a><a name="OpPrecEnv"></a><span class='hs-comment'>-- |Environment mapping identifiers to their operator precedence.</span>
<a name="line-83"></a><a name="OpPrecEnv"></a><span class='hs-keyword'>type</span> <span class='hs-conid'>OpPrecEnv</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>TopEnv</span> <span class='hs-conid'>PrecInfo</span>
<a name="line-84"></a>
<a name="line-85"></a><a name="initOpPrecEnv"></a><span class='hs-comment'>-- |Initial 'OpPrecEnv'.</span>
<a name="line-86"></a><span class='hs-definition'>initOpPrecEnv</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>OpPrecEnv</span>
<a name="line-87"></a><span class='hs-definition'>initOpPrecEnv</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>predefTopEnv</span> <span class='hs-varid'>qConsId</span> <span class='hs-varid'>consPrec</span> <span class='hs-varid'>emptyTopEnv</span>
<a name="line-88"></a>
<a name="line-89"></a><a name="consPrec"></a><span class='hs-comment'>-- |Precedence of list constructor.</span>
<a name="line-90"></a><span class='hs-definition'>consPrec</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>PrecInfo</span>
<a name="line-91"></a><span class='hs-definition'>consPrec</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>PrecInfo</span> <span class='hs-varid'>qConsId</span> <span class='hs-layout'>(</span><span class='hs-conid'>OpPrec</span> <span class='hs-conid'>InfixR</span> <span class='hs-num'>5</span><span class='hs-layout'>)</span>
<a name="line-92"></a>
<a name="line-93"></a><a name="bindP"></a><span class='hs-comment'>-- |Bind an operator precedence.</span>
<a name="line-94"></a><span class='hs-definition'>bindP</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>ModuleIdent</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Ident</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>OpPrec</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>OpPrecEnv</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>OpPrecEnv</span>
<a name="line-95"></a><span class='hs-definition'>bindP</span> <span class='hs-varid'>m</span> <span class='hs-varid'>op</span> <span class='hs-varid'>p</span>
<a name="line-96"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>hasGlobalScope</span> <span class='hs-varid'>op</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>bindTopEnv</span> <span class='hs-varid'>op</span> <span class='hs-varid'>info</span> <span class='hs-varop'>.</span> <span class='hs-varid'>qualBindTopEnv</span> <span class='hs-varid'>qop</span> <span class='hs-varid'>info</span>
<a name="line-97"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>bindTopEnv</span> <span class='hs-varid'>op</span> <span class='hs-varid'>info</span>
<a name="line-98"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>qop</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>qualifyWith</span> <span class='hs-varid'>m</span> <span class='hs-varid'>op</span>
<a name="line-99"></a> <span class='hs-varid'>info</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>PrecInfo</span> <span class='hs-varid'>qop</span> <span class='hs-varid'>p</span>
<a name="line-100"></a>
<a name="line-101"></a><span class='hs-comment'>-- The lookup functions for the environment which maintains the operator</span>
<a name="line-102"></a><span class='hs-comment'>-- precedences are simpler than for the type and value environments</span>
<a name="line-103"></a><span class='hs-comment'>-- because they do not need to handle tuple constructors.</span>
<a name="line-104"></a>
<a name="line-105"></a><a name="lookupP"></a><span class='hs-comment'>-- |Lookup the operator precedence for an 'Ident'.</span>
<a name="line-106"></a><span class='hs-definition'>lookupP</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Ident</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>OpPrecEnv</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>PrecInfo</span><span class='hs-keyglyph'>]</span>
<a name="line-107"></a><span class='hs-definition'>lookupP</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>lookupTopEnv</span>
<a name="line-108"></a>
<a name="line-109"></a><a name="qualLookupP"></a><span class='hs-comment'>-- |Lookup the operator precedence for an 'QualIdent'.</span>
<a name="line-110"></a><span class='hs-definition'>qualLookupP</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>QualIdent</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>OpPrecEnv</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>PrecInfo</span><span class='hs-keyglyph'>]</span>
<a name="line-111"></a><span class='hs-definition'>qualLookupP</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>qualLookupTopEnv</span>
</pre></body>
</html>
|