/usr/share/doc/libghc-curry-frontend-doc/html/Checks-SyntaxCheck.html

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Checks.SyntaxCheck</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="file:///usr/share/javascript/mathjax/MathJax.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Checks-SyntaxCheck.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Checks-SyntaxCheck.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">curry-frontend-1.0.1: Compile the functional logic language Curry to several
intermediate formats</p></div><div id="content"><div id="module-header"><table class="info"><tr><th valign="top">Copyright</th><td>(c) 1999 - 2004 Wolfgang Lux<br />Martin Engelke<br />Bj&#246;rn Peem&#246;ller<br />2015        Jan Tikovsky<br />2016        Finn Teegen</td></tr><tr><th>License</th><td>BSD-3-clause</td></tr><tr><th>Maintainer</th><td>bjp@informatik.uni-kiel.de</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Portability</th><td>portable</td></tr><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Checks.SyntaxCheck</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>After the type declarations have been checked, the compiler performs
   a syntax check on the remaining declarations. This check disambiguates
   nullary data constructors and variables which -- in contrast to Haskell --
   is not possible on purely syntactic criteria. In addition, this pass checks
   for undefined as well as ambiguous variables and constructors. In order to
   allow lifting of local definitions in later phases, all local variables are
   renamed by adding a key identifying their scope. Therefore, all variables
   defined in the same scope share the same key so that multiple definitions
   can be recognized. Finally, all (adjacent) equations of a function are
   merged into a single definition.</p></div></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a id="v:syntaxCheck" class="def">syntaxCheck</a> :: [<a href="CompilerOpts.html#t:KnownExtension">KnownExtension</a>] -&gt; <a href="Env-TypeConstructor.html#t:TCEnv">TCEnv</a> -&gt; <a href="Env-Value.html#t:ValueEnv">ValueEnv</a> -&gt; <a href="file:///usr/share/doc/libghc-curry-base-doc/html/Curry-Syntax-Type.html#t:Module">Module</a> () -&gt; ((<a href="file:///usr/share/doc/libghc-curry-base-doc/html/Curry-Syntax-Type.html#t:Module">Module</a> (), [<a href="CompilerOpts.html#t:KnownExtension">KnownExtension</a>]), [<a href="Base-Messages.html#t:Message">Message</a>]) <a href="src/Checks-SyntaxCheck.html#syntaxCheck" class="link">Source</a> <a href="#v:syntaxCheck" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.3</p></div></body></html>
libghc-curry-frontend-doc 1.0.1-1 / usr / share / doc / libghc-curry-frontend-doc / html / Checks-SyntaxCheck.html
