Deploying to gh-pages from @ a52e053 🚀

Arthi-chaud · Jul 22, 2023 · 08e0f98 · 08e0f98
1 parent b39ac4c
commit 08e0f98
Show file tree

Hide file tree

Showing 19 changed files with 2,371 additions and 2,311 deletions.
diff --git a/src/Paths_seminal_haskell.html b/src/Paths_seminal_haskell.html
diff --git a/src/Seminal.Change.html b/src/Seminal.Change.html
diff --git a/src/Seminal.Compiler.API.html b/src/Seminal.Compiler.API.html
diff --git a/src/Seminal.Compiler.Runner.html b/src/Seminal.Compiler.Runner.html
diff --git a/src/Seminal.Compiler.TypeChecker.html b/src/Seminal.Compiler.TypeChecker.html
diff --git a/src/Seminal.Enumerator.Bindings.html b/src/Seminal.Enumerator.Bindings.html
diff --git a/src/Seminal.Enumerator.Declarations.html b/src/Seminal.Enumerator.Declarations.html
diff --git a/src/Seminal.Enumerator.Enumerator.html b/src/Seminal.Enumerator.Enumerator.html
@@ -4,10 +4,10 @@
 </span><span id="line-4"></span><span>    </span><span>
 </span><span id="line-5"></span><span class="hs-comment">-- | Inspired from Seminal (2006, p. 5)</span><span>
 </span><span id="line-6"></span><span class="hs-comment">-- The list of changes if sorted by relevancy: the right-most is the most relevant/specific change</span><span>
-</span><span id="line-7"></span><span class="hs-keyword">type</span><span> </span><span id="Enumerator"><span class="annot"><a href="Seminal.Enumerator.Enumerator.html#Enumerator"><span class="hs-identifier hs-var">Enumerator</span></a></span></span><span> </span><span id="local-6989586621679131460"><span class="annot"><a href="#local-6989586621679131460"><span class="hs-identifier hs-type">a</span></a></span></span><span> </span><span class="hs-glyph">=</span><span>
+</span><span id="line-7"></span><span class="hs-keyword">type</span><span> </span><span id="Enumerator"><span class="annot"><a href="Seminal.Enumerator.Enumerator.html#Enumerator"><span class="hs-identifier hs-var">Enumerator</span></a></span></span><span> </span><span id="local-6989586621679131454"><span class="annot"><a href="#local-6989586621679131454"><span class="hs-identifier hs-type">a</span></a></span></span><span> </span><span class="hs-glyph">=</span><span>
 </span><span id="line-8"></span><span>    </span><span class="annot"><span class="hs-comment">-- | The node of the AST where changes are enumerated</span></span><span>
-</span><span id="line-9"></span><span>    </span><span class="annot"><a href="#local-6989586621679131460"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span>
+</span><span id="line-9"></span><span>    </span><span class="annot"><a href="#local-6989586621679131454"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span>
 </span><span id="line-10"></span><span>    </span><span class="annot"><span class="hs-comment">-- | The location of the node (source code-wise).</span></span><span>
 </span><span id="line-11"></span><span>    </span><span class="annot"><span class="hs-identifier hs-type">SrcSpan</span></span><span> </span><span class="hs-glyph">-&gt;</span><span>
 </span><span id="line-12"></span><span>    </span><span class="annot"><span class="hs-comment">-- | Output: A list of changes for the node </span></span><span>
-</span><span id="line-13"></span><span>    </span><span class="hs-special">[</span><span class="annot"><a href="Seminal.Change.html#Change"><span class="hs-identifier hs-type">Change</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679131460"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">]</span></pre></body></html>
+</span><span id="line-13"></span><span>    </span><span class="hs-special">[</span><span class="annot"><a href="Seminal.Change.html#Change"><span class="hs-identifier hs-type">Change</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679131454"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">]</span></pre></body></html>
diff --git a/src/Seminal.Enumerator.Expressions.html b/src/Seminal.Enumerator.Expressions.html
diff --git a/src/Seminal.Enumerator.Literals.html b/src/Seminal.Enumerator.Literals.html
diff --git a/src/Seminal.Enumerator.LocalBindings.html b/src/Seminal.Enumerator.LocalBindings.html
diff --git a/src/Seminal.Enumerator.Matches.html b/src/Seminal.Enumerator.Matches.html
diff --git a/src/Seminal.Enumerator.Modules.html b/src/Seminal.Enumerator.Modules.html
diff --git a/src/Seminal.Enumerator.Patterns.html b/src/Seminal.Enumerator.Patterns.html
diff --git a/src/Seminal.Enumerator.Signatures.html b/src/Seminal.Enumerator.Signatures.html
@@ -7,24 +7,24 @@
 </span><span id="line-7"></span><span>
 </span><span id="line-8"></span><span class="annot"><a href="Seminal.Enumerator.Signatures.html#enumerateChangeInSignature"><span class="hs-identifier hs-type">enumerateChangeInSignature</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="Seminal.Enumerator.Enumerator.html#Enumerator"><span class="hs-identifier hs-type">Enumerator</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="hs-identifier hs-type">Sig</span></span><span> </span><span class="annot"><span class="hs-identifier hs-type">GhcPs</span></span><span class="hs-special">)</span><span>
 </span><span id="line-9"></span><span id="enumerateChangeInSignature"><span class="annot"><span class="annottext">enumerateChangeInSignature :: Enumerator (Sig GhcPs)
-</span><a href="Seminal.Enumerator.Signatures.html#enumerateChangeInSignature"><span class="hs-identifier hs-var hs-var">enumerateChangeInSignature</span></a></span></span><span> </span><span id="local-6989586621679132418"><span class="annot"><span class="annottext">Sig GhcPs
-</span><a href="#local-6989586621679132418"><span class="hs-identifier hs-var">sig</span></a></span></span><span> </span><span class="annot"><span class="annottext">SrcSpan
+</span><a href="Seminal.Enumerator.Signatures.html#enumerateChangeInSignature"><span class="hs-identifier hs-var hs-var">enumerateChangeInSignature</span></a></span></span><span> </span><span id="local-6989586621679132410"><span class="annot"><span class="annottext">Sig GhcPs
+</span><a href="#local-6989586621679132410"><span class="hs-identifier hs-var">sig</span></a></span></span><span> </span><span class="annot"><span class="annottext">SrcSpan
 </span><span class="hs-identifier">_</span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="hs-keyword">case</span><span> </span><span class="annot"><span class="annottext">Sig GhcPs
-</span><a href="#local-6989586621679132418"><span class="hs-identifier hs-var">sig</span></a></span><span> </span><span class="hs-keyword">of</span><span>
-</span><span id="line-10"></span><span>    </span><span class="hs-special">(</span><span class="annot"><span class="hs-identifier hs-type">TypeSig</span></span><span> </span><span id="local-6989586621679132420"><span class="annot"><span class="annottext">XTypeSig GhcPs
-</span><a href="#local-6989586621679132420"><span class="hs-identifier hs-var">xtypesig</span></a></span></span><span> </span><span id="local-6989586621679132421"><span class="annot"><span class="annottext">[LIdP GhcPs]
-</span><a href="#local-6989586621679132421"><span class="hs-identifier hs-var">ids</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="hs-identifier hs-type">HsWC</span></span><span> </span><span id="local-6989586621679132423"><span class="annot"><span class="annottext">XHsWC GhcPs (LHsSigType GhcPs)
-</span><a href="#local-6989586621679132423"><span class="hs-identifier hs-var">xwc</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="hs-identifier hs-type">L</span></span><span> </span><span id="local-6989586621679132425"><span class="annot"><span class="annottext">SrcSpanAnnA
-</span><a href="#local-6989586621679132425"><span class="hs-identifier hs-var">lbody</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="hs-identifier hs-type">HsSig</span></span><span> </span><span id="local-6989586621679132427"><span class="annot"><span class="annottext">XHsSig GhcPs
-</span><a href="#local-6989586621679132427"><span class="hs-identifier hs-var">xsig</span></a></span></span><span> </span><span id="local-6989586621679132428"><span class="annot"><span class="annottext">HsOuterSigTyVarBndrs GhcPs
-</span><a href="#local-6989586621679132428"><span class="hs-identifier hs-var">bndrs</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="hs-identifier hs-type">L</span></span><span> </span><span id="local-6989586621679132429"><span class="annot"><span class="annottext">SrcSpanAnnA
-</span><a href="#local-6989586621679132429"><span class="hs-identifier hs-var">ltype</span></a></span></span><span> </span><span id="local-6989586621679132430"><span class="annot"><span class="annottext">HsType GhcPs
-</span><a href="#local-6989586621679132430"><span class="hs-identifier hs-var">typ</span></a></span></span><span class="hs-special">)</span><span class="hs-special">)</span><span class="hs-special">)</span><span class="hs-special">)</span><span class="hs-special">)</span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="annottext">Enumerator (HsType GhcPs)
+</span><a href="#local-6989586621679132410"><span class="hs-identifier hs-var">sig</span></a></span><span> </span><span class="hs-keyword">of</span><span>
+</span><span id="line-10"></span><span>    </span><span class="hs-special">(</span><span class="annot"><span class="hs-identifier hs-type">TypeSig</span></span><span> </span><span id="local-6989586621679132412"><span class="annot"><span class="annottext">XTypeSig GhcPs
+</span><a href="#local-6989586621679132412"><span class="hs-identifier hs-var">xtypesig</span></a></span></span><span> </span><span id="local-6989586621679132413"><span class="annot"><span class="annottext">[LIdP GhcPs]
+</span><a href="#local-6989586621679132413"><span class="hs-identifier hs-var">ids</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="hs-identifier hs-type">HsWC</span></span><span> </span><span id="local-6989586621679132415"><span class="annot"><span class="annottext">XHsWC GhcPs (LHsSigType GhcPs)
+</span><a href="#local-6989586621679132415"><span class="hs-identifier hs-var">xwc</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="hs-identifier hs-type">L</span></span><span> </span><span id="local-6989586621679132417"><span class="annot"><span class="annottext">SrcSpanAnnA
+</span><a href="#local-6989586621679132417"><span class="hs-identifier hs-var">lbody</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="hs-identifier hs-type">HsSig</span></span><span> </span><span id="local-6989586621679132419"><span class="annot"><span class="annottext">XHsSig GhcPs
+</span><a href="#local-6989586621679132419"><span class="hs-identifier hs-var">xsig</span></a></span></span><span> </span><span id="local-6989586621679132420"><span class="annot"><span class="annottext">HsOuterSigTyVarBndrs GhcPs
+</span><a href="#local-6989586621679132420"><span class="hs-identifier hs-var">bndrs</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="hs-identifier hs-type">L</span></span><span> </span><span id="local-6989586621679132421"><span class="annot"><span class="annottext">SrcSpanAnnA
+</span><a href="#local-6989586621679132421"><span class="hs-identifier hs-var">ltype</span></a></span></span><span> </span><span id="local-6989586621679132422"><span class="annot"><span class="annottext">HsType GhcPs
+</span><a href="#local-6989586621679132422"><span class="hs-identifier hs-var">typ</span></a></span></span><span class="hs-special">)</span><span class="hs-special">)</span><span class="hs-special">)</span><span class="hs-special">)</span><span class="hs-special">)</span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="annottext">Enumerator (HsType GhcPs)
 </span><a href="Seminal.Enumerator.Types.html#enumerateChangeInType"><span class="hs-identifier hs-var">enumerateChangeInType</span></a></span><span> </span><span class="annot"><span class="annottext">HsType GhcPs
-</span><a href="#local-6989586621679132430"><span class="hs-identifier hs-var">typ</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">SrcSpanAnnA -&gt; SrcSpan
+</span><a href="#local-6989586621679132422"><span class="hs-identifier hs-var">typ</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">SrcSpanAnnA -&gt; SrcSpan
 forall a. SrcSpanAnn' a -&gt; SrcSpan
 </span><span class="hs-identifier hs-var">locA</span></span><span> </span><span class="annot"><span class="annottext">SrcSpanAnnA
-</span><a href="#local-6989586621679132429"><span class="hs-identifier hs-var">ltype</span></a></span><span class="hs-special">)</span><span>
+</span><a href="#local-6989586621679132421"><span class="hs-identifier hs-var">ltype</span></a></span><span class="hs-special">)</span><span>
 </span><span id="line-11"></span><span>        </span><span class="annot"><span class="annottext">[Change (HsType GhcPs)]
 -&gt; (HsType GhcPs -&gt; Sig GhcPs) -&gt; [Change (Sig GhcPs)]
 forall a b. [Change a] -&gt; (a -&gt; b) -&gt; [Change b]
@@ -35,8 +35,8 @@
 forall pass.
 XTypeSig pass -&gt; [LIdP pass] -&gt; LHsSigWcType pass -&gt; Sig pass
 </span><span class="hs-identifier hs-var">TypeSig</span></span><span> </span><span class="annot"><span class="annottext">XTypeSig GhcPs
-</span><a href="#local-6989586621679132420"><span class="hs-identifier hs-var">xtypesig</span></a></span><span> </span><span class="annot"><span class="annottext">[LIdP GhcPs]
-</span><a href="#local-6989586621679132421"><span class="hs-identifier hs-var">ids</span></a></span><span class="annot"><span class="annottext">(HsWildCardBndrs GhcPs (GenLocated SrcSpanAnnA (HsSigType GhcPs))
+</span><a href="#local-6989586621679132412"><span class="hs-identifier hs-var">xtypesig</span></a></span><span> </span><span class="annot"><span class="annottext">[LIdP GhcPs]
+</span><a href="#local-6989586621679132413"><span class="hs-identifier hs-var">ids</span></a></span><span class="annot"><span class="annottext">(HsWildCardBndrs GhcPs (GenLocated SrcSpanAnnA (HsSigType GhcPs))
  -&gt; Sig GhcPs)
 -&gt; (HsType GhcPs
     -&gt; HsWildCardBndrs
@@ -51,7 +51,7 @@
 XHsWC pass thing -&gt; thing -&gt; HsWildCardBndrs pass thing
 </span><span class="hs-identifier hs-var">HsWC</span></span><span> </span><span class="annot"><span class="annottext">XHsWC GhcPs (LHsSigType GhcPs)
 XHsWC GhcPs (GenLocated SrcSpanAnnA (HsSigType GhcPs))
-</span><a href="#local-6989586621679132423"><span class="hs-identifier hs-var">xwc</span></a></span><span> </span><span class="annot"><span class="annottext">(GenLocated SrcSpanAnnA (HsSigType GhcPs)
+</span><a href="#local-6989586621679132415"><span class="hs-identifier hs-var">xwc</span></a></span><span> </span><span class="annot"><span class="annottext">(GenLocated SrcSpanAnnA (HsSigType GhcPs)
  -&gt; HsWildCardBndrs
       GhcPs (GenLocated SrcSpanAnnA (HsSigType GhcPs)))
 -&gt; (HsType GhcPs -&gt; GenLocated SrcSpanAnnA (HsSigType GhcPs))
@@ -62,7 +62,7 @@
 -&gt; HsSigType GhcPs -&gt; GenLocated SrcSpanAnnA (HsSigType GhcPs)
 forall l e. l -&gt; e -&gt; GenLocated l e
 </span><span class="hs-identifier hs-var">L</span></span><span> </span><span class="annot"><span class="annottext">SrcSpanAnnA
-</span><a href="#local-6989586621679132425"><span class="hs-identifier hs-var">lbody</span></a></span><span> </span><span class="annot"><span class="annottext">(HsSigType GhcPs -&gt; GenLocated SrcSpanAnnA (HsSigType GhcPs))
+</span><a href="#local-6989586621679132417"><span class="hs-identifier hs-var">lbody</span></a></span><span> </span><span class="annot"><span class="annottext">(HsSigType GhcPs -&gt; GenLocated SrcSpanAnnA (HsSigType GhcPs))
 -&gt; (HsType GhcPs -&gt; HsSigType GhcPs)
 -&gt; HsType GhcPs
 -&gt; GenLocated SrcSpanAnnA (HsSigType GhcPs)
@@ -73,8 +73,8 @@
 XHsSig pass
 -&gt; HsOuterSigTyVarBndrs pass -&gt; LHsType pass -&gt; HsSigType pass
 </span><span class="hs-identifier hs-var">HsSig</span></span><span> </span><span class="annot"><span class="annottext">XHsSig GhcPs
-</span><a href="#local-6989586621679132427"><span class="hs-identifier hs-var">xsig</span></a></span><span> </span><span class="annot"><span class="annottext">HsOuterSigTyVarBndrs GhcPs
-</span><a href="#local-6989586621679132428"><span class="hs-identifier hs-var">bndrs</span></a></span><span> </span><span class="annot"><span class="annottext">(GenLocated SrcSpanAnnA (HsType GhcPs) -&gt; HsSigType GhcPs)
+</span><a href="#local-6989586621679132419"><span class="hs-identifier hs-var">xsig</span></a></span><span> </span><span class="annot"><span class="annottext">HsOuterSigTyVarBndrs GhcPs
+</span><a href="#local-6989586621679132420"><span class="hs-identifier hs-var">bndrs</span></a></span><span> </span><span class="annot"><span class="annottext">(GenLocated SrcSpanAnnA (HsType GhcPs) -&gt; HsSigType GhcPs)
 -&gt; (HsType GhcPs -&gt; GenLocated SrcSpanAnnA (HsType GhcPs))
 -&gt; HsType GhcPs
 -&gt; HsSigType GhcPs
@@ -83,7 +83,7 @@
 -&gt; HsType GhcPs -&gt; GenLocated SrcSpanAnnA (HsType GhcPs)
 forall l e. l -&gt; e -&gt; GenLocated l e
 </span><span class="hs-identifier hs-var">L</span></span><span> </span><span class="annot"><span class="annottext">SrcSpanAnnA
-</span><a href="#local-6989586621679132429"><span class="hs-identifier hs-var">ltype</span></a></span><span class="hs-special">)</span><span>
+</span><a href="#local-6989586621679132421"><span class="hs-identifier hs-var">ltype</span></a></span><span class="hs-special">)</span><span>
 </span><span id="line-12"></span><span>        </span><span class="annot"><span class="annottext">[Change (Sig GhcPs)]
 -&gt; (Change (Sig GhcPs) -&gt; Change (Sig GhcPs))
 -&gt; [Change (Sig GhcPs)]