-
Notifications
You must be signed in to change notification settings - Fork 8
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
64 changed files
with
1,560 additions
and
0 deletions.
There are no files selected for viewing
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1 @@ | ||
| 86e21c998035681019d8fd4952210ceb5a81e610 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1 @@ | ||
| 1681409030 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,9 @@ | ||
| <!DOCTYPE html> | ||
| <html> | ||
| <head> | ||
| <meta http-equiv="refresh" content="0; url='../..'" /> | ||
| </head> | ||
| <body> | ||
| <p>Please follow <a href="../..">this link</a>.</p> | ||
| </body> | ||
| </html> |
Empty file.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,6 @@ | ||
| <!DOCTYPE html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Aliases (morbig.Morbig.Aliases)</title><link rel="stylesheet" href="../../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">morbig</a> » <a href="../index.html">Morbig</a> » Aliases</nav><header class="odoc-preamble"><h1>Module <code><span>Morbig.Aliases</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div><div class="spec-doc"><p>Type for a table of active aliases.</p></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-aliases"><a href="#type-aliases" class="anchor"></a><code><span><span class="keyword">type</span> aliases</span><span> = <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-empty"><a href="#val-empty" class="anchor"></a><code><span><span class="keyword">val</span> empty : <a href="#type-t">t</a></span></code></div><div class="spec-doc"><p><code>empty</code> is an empty alias table.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-interpret"><a href="#val-interpret" class="anchor"></a><code><span><span class="keyword">val</span> interpret : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="../CST/index.html#type-complete_command">CST.complete_command</a> <span class="arrow">-></span></span> <a href="#type-t">t</a></span></code></div><div class="spec-doc"><p><code>interpret aliases cst</code> traverses <code>cst</code> to check that there are no alias or unalias invocations in a nested command (that is, a compound command, or a function definition). These are allowed in POSIX, but we have to refuse them as they cannot be expanded statically.</p><ul><li>if this is the case then it returns an alias table which is obtained from <code>aliases</code> by executing all alias and unalias invocations in <code>cst</code>;</li><li>if this is not the case then it raises <code>Errors.DuringAliasing</code>.</li></ul></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-alias_substitution"><a href="#val-alias_substitution" class="anchor"></a><code><span><span class="keyword">val</span> alias_substitution : | ||
| <span><a href="#type-t">t</a> <span class="arrow">-></span></span> | ||
| <span><span><span class="type-var">'a</span> <a href="../Parser/MenhirInterpreter/index.html#type-checkpoint">Parser.MenhirInterpreter.checkpoint</a></span> <span class="arrow">-></span></span> | ||
| <span>string <span class="arrow">-></span></span> | ||
| <a href="#type-t">t</a> * string</span></code></div><div class="spec-doc"><p><code>alias_substitution aliases checkpoint word</code> substitutes an alias by its definition if <code>word</code> is not a reserved word and if the parsing context is about to reduce a <code>cmd_name</code>.</p></div></div></div></body></html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,8 @@ | ||
| <!DOCTYPE html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Assignment (morbig.Morbig.Assignment)</title><link rel="stylesheet" href="../../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">morbig</a> » <a href="../index.html">Morbig</a> » Assignment</nav><header class="odoc-preamble"><h1>Module <code><span>Morbig.Assignment</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-recognize_assignment"><a href="#val-recognize_assignment" class="anchor"></a><code><span><span class="keyword">val</span> recognize_assignment : | ||
| <span><span><span class="type-var">'a</span> <a href="../Parser/MenhirInterpreter/index.html#type-checkpoint">Parser.MenhirInterpreter.checkpoint</a></span> <span class="arrow">-></span></span> | ||
| <span><span>(<span class="type-var">'b</span> | ||
| * <span class="xref-unresolved">MenhirLib</span>.IncrementalEngine.position | ||
| * <span class="xref-unresolved">MenhirLib</span>.IncrementalEngine.position)</span> <span class="arrow">-></span></span> | ||
| <span><span><a href="../CST/index.html#type-word_component">CST.word_component</a> list</span> <span class="arrow">-></span></span> | ||
| <span><a href="../Parser/index.html#type-token">Parser.token</a> <span class="xref-unresolved">Morbig__.ExtPervasives.FirstSuccessMonad.t</span></span></span></code></div></div></div></body></html> |
Large diffs are not rendered by default.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,13 @@ | ||
| <!DOCTYPE html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>CSTHelpers (morbig.Morbig.CSTHelpers)</title><link rel="stylesheet" href="../../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">morbig</a> » <a href="../index.html">Morbig</a> » CSTHelpers</nav><header class="odoc-preamble"><h1>Module <code><span>Morbig.CSTHelpers</span></code></h1></header><nav class="odoc-toc"><ul><li><a href="#helpers-about-programs-and-complete-commands">Helpers about programs and complete commands</a></li><li><a href="#helpers-about-words-and-names">Helpers about words and names</a></li><li><a href="#helpers-about-positions">Helpers about positions</a></li><li><a href="#cst-destructors">CST destructors</a></li></ul></nav><div class="odoc-content"><h3 id="helpers-about-programs-and-complete-commands"><a href="#helpers-about-programs-and-complete-commands" class="anchor"></a>Helpers about programs and complete commands</h3><div class="odoc-spec"><div class="spec value anchored" id="val-empty_program"><a href="#val-empty_program" class="anchor"></a><code><span><span class="keyword">val</span> empty_program : <span><a href="../CST/index.html#type-program">CST.program</a> <a href="../CST/index.html#type-located">CST.located</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-nonempty_program"><a href="#val-nonempty_program" class="anchor"></a><code><span><span class="keyword">val</span> nonempty_program : <span><a href="../CST/index.html#type-program">CST.program</a> <span class="arrow">-></span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-concat_programs"><a href="#val-concat_programs" class="anchor"></a><code><span><span class="keyword">val</span> concat_programs : | ||
| <span><span><a href="../CST/index.html#type-program">CST.program</a> <a href="../CST/index.html#type-located">CST.located</a></span> <span class="arrow">-></span></span> | ||
| <span><span><a href="../CST/index.html#type-program">CST.program</a> <a href="../CST/index.html#type-located">CST.located</a></span> <span class="arrow">-></span></span> | ||
| <span><a href="../CST/index.html#type-program">CST.program</a> <a href="../CST/index.html#type-located">CST.located</a></span></span></code></div></div><h3 id="helpers-about-words-and-names"><a href="#helpers-about-words-and-names" class="anchor"></a>Helpers about words and names</h3><div class="odoc-spec"><div class="spec value anchored" id="val-unWord"><a href="#val-unWord" class="anchor"></a><code><span><span class="keyword">val</span> unWord : <span><a href="../CST/index.html#type-word">CST.word</a> <span class="arrow">-></span></span> string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-unName"><a href="#val-unName" class="anchor"></a><code><span><span class="keyword">val</span> unName : <span><a href="../CST/index.html#type-name">CST.name</a> <span class="arrow">-></span></span> string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-word_of_name"><a href="#val-word_of_name" class="anchor"></a><code><span><span class="keyword">val</span> word_of_name : <span><a href="../CST/index.html#type-name">CST.name</a> <span class="arrow">-></span></span> <a href="../CST/index.html#type-word">CST.word</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-word_of_assignment_word"><a href="#val-word_of_assignment_word" class="anchor"></a><code><span><span class="keyword">val</span> word_of_assignment_word : <span><a href="../CST/index.html#type-assignment_word">CST.assignment_word</a> <span class="arrow">-></span></span> <a href="../CST/index.html#type-word">CST.word</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-string_of_word"><a href="#val-string_of_word" class="anchor"></a><code><span><span class="keyword">val</span> string_of_word : <span><a href="../CST/index.html#type-word">CST.word</a> <span class="arrow">-></span></span> string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-word_placeholder"><a href="#val-word_placeholder" class="anchor"></a><code><span><span class="keyword">val</span> word_placeholder : <span>unit <span class="arrow">-></span></span> <span><a href="../CST/index.html#type-word'">CST.word'</a> <span class="xref-unresolved">Stdlib</span>.ref</span></span></code></div></div><div class="odoc-spec"><div class="spec exception anchored" id="exception-InvalidFunctionName"><a href="#exception-InvalidFunctionName" class="anchor"></a><code><span><span class="keyword">exception</span> </span><span><span class="exception">InvalidFunctionName</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-make_function_name"><a href="#val-make_function_name" class="anchor"></a><code><span><span class="keyword">val</span> make_function_name : <span><a href="../CST/index.html#type-name">CST.name</a> <span class="arrow">-></span></span> <a href="../CST/index.html#type-fname">CST.fname</a></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-NameSet"><a href="#module-NameSet" class="anchor"></a><code><span><span class="keyword">module</span> NameSet</span><span> : <span class="xref-unresolved">Stdlib</span>.Set.S</span></code></div></div><h3 id="helpers-about-positions"><a href="#helpers-about-positions" class="anchor"></a>Helpers about positions</h3><div class="odoc-spec"><div class="spec value anchored" id="val-on_located"><a href="#val-on_located" class="anchor"></a><code><span><span class="keyword">val</span> on_located : <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> <span class="type-var">'b</span>)</span> <span class="arrow">-></span></span> <span><span><span class="type-var">'a</span> <a href="../CST/index.html#type-located">CST.located</a></span> <span class="arrow">-></span></span> <span class="type-var">'b</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-with_pos"><a href="#val-with_pos" class="anchor"></a><code><span><span class="keyword">val</span> with_pos : <span><a href="../CST/index.html#type-position">CST.position</a> <span class="arrow">-></span></span> <span><span class="type-var">'a</span> <span class="arrow">-></span></span> <span><span class="type-var">'a</span> <a href="../CST/index.html#type-located">CST.located</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-with_poss"><a href="#val-with_poss" class="anchor"></a><code><span><span class="keyword">val</span> with_poss : | ||
| <span><span class="xref-unresolved">Stdlib</span>.Lexing.position <span class="arrow">-></span></span> | ||
| <span><span class="xref-unresolved">Stdlib</span>.Lexing.position <span class="arrow">-></span></span> | ||
| <span><span class="type-var">'a</span> <span class="arrow">-></span></span> | ||
| <span><span class="type-var">'a</span> <a href="../CST/index.html#type-located">CST.located</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-dummy_lexing_position"><a href="#val-dummy_lexing_position" class="anchor"></a><code><span><span class="keyword">val</span> dummy_lexing_position : <span class="xref-unresolved">Stdlib</span>.Lexing.position</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-dummy_position"><a href="#val-dummy_position" class="anchor"></a><code><span><span class="keyword">val</span> dummy_position : <a href="../CST/index.html#type-position">CST.position</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-start_of_position"><a href="#val-start_of_position" class="anchor"></a><code><span><span class="keyword">val</span> start_of_position : <span><a href="../CST/index.html#type-position">CST.position</a> <span class="arrow">-></span></span> <span class="xref-unresolved">Stdlib</span>.Lexing.position</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-end_of_position"><a href="#val-end_of_position" class="anchor"></a><code><span><span class="keyword">val</span> end_of_position : <span><a href="../CST/index.html#type-position">CST.position</a> <span class="arrow">-></span></span> <span class="xref-unresolved">Stdlib</span>.Lexing.position</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-filename_of_position"><a href="#val-filename_of_position" class="anchor"></a><code><span><span class="keyword">val</span> filename_of_position : <span><a href="../CST/index.html#type-position">CST.position</a> <span class="arrow">-></span></span> string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-line"><a href="#val-line" class="anchor"></a><code><span><span class="keyword">val</span> line : <span><span class="xref-unresolved">Stdlib</span>.Lexing.position <span class="arrow">-></span></span> int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-column"><a href="#val-column" class="anchor"></a><code><span><span class="keyword">val</span> column : <span><span class="xref-unresolved">Stdlib</span>.Lexing.position <span class="arrow">-></span></span> int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-characters"><a href="#val-characters" class="anchor"></a><code><span><span class="keyword">val</span> characters : <span><span class="xref-unresolved">Stdlib</span>.Lexing.position <span class="arrow">-></span></span> <span><span class="xref-unresolved">Stdlib</span>.Lexing.position <span class="arrow">-></span></span> int * int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-emacs_position"><a href="#val-emacs_position" class="anchor"></a><code><span><span class="keyword">val</span> emacs_position : <span>string <span class="arrow">-></span></span> <span>int <span class="arrow">-></span></span> <span><span>int list</span> <span class="arrow">-></span></span> string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-string_of_lexing_position"><a href="#val-string_of_lexing_position" class="anchor"></a><code><span><span class="keyword">val</span> string_of_lexing_position : <span><span class="xref-unresolved">Stdlib</span>.Lexing.position <span class="arrow">-></span></span> string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-string_of_position"><a href="#val-string_of_position" class="anchor"></a><code><span><span class="keyword">val</span> string_of_position : <span><a href="../CST/index.html#type-position">CST.position</a> <span class="arrow">-></span></span> string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare_positions"><a href="#val-compare_positions" class="anchor"></a><code><span><span class="keyword">val</span> compare_positions : <span><a href="../CST/index.html#type-position">CST.position</a> <span class="arrow">-></span></span> <span><a href="../CST/index.html#type-position">CST.position</a> <span class="arrow">-></span></span> int</span></code></div></div><h3 id="cst-destructors"><a href="#cst-destructors" class="anchor"></a>CST destructors</h3><div class="odoc-spec"><div class="spec value anchored" id="val-wordlist_of_cmd_suffix"><a href="#val-wordlist_of_cmd_suffix" class="anchor"></a><code><span><span class="keyword">val</span> wordlist_of_cmd_suffix : <span><a href="../CST/index.html#type-cmd_suffix">CST.cmd_suffix</a> <span class="arrow">-></span></span> <span><a href="../CST/index.html#type-word'">CST.word'</a> list</span></span></code></div><div class="spec-doc"><p><code>wordlist_of_cmd_suffix</code> extracts the list of all words from a cmd_sufix</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-io_redirect_list_of_cmd_prefix"><a href="#val-io_redirect_list_of_cmd_prefix" class="anchor"></a><code><span><span class="keyword">val</span> io_redirect_list_of_cmd_prefix : <span><a href="../CST/index.html#type-cmd_prefix">CST.cmd_prefix</a> <span class="arrow">-></span></span> <span><a href="../CST/index.html#type-io_redirect'">CST.io_redirect'</a> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-io_redirect_list_of_cmd_suffix"><a href="#val-io_redirect_list_of_cmd_suffix" class="anchor"></a><code><span><span class="keyword">val</span> io_redirect_list_of_cmd_suffix : <span><a href="../CST/index.html#type-cmd_suffix">CST.cmd_suffix</a> <span class="arrow">-></span></span> <span><a href="../CST/index.html#type-io_redirect'">CST.io_redirect'</a> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-io_redirect_list_of_simple_command"><a href="#val-io_redirect_list_of_simple_command" class="anchor"></a><code><span><span class="keyword">val</span> io_redirect_list_of_simple_command : | ||
| <span><a href="../CST/index.html#type-simple_command">CST.simple_command</a> <span class="arrow">-></span></span> | ||
| <span><a href="../CST/index.html#type-io_redirect'">CST.io_redirect'</a> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-io_redirect_list_of_redirect_list"><a href="#val-io_redirect_list_of_redirect_list" class="anchor"></a><code><span><span class="keyword">val</span> io_redirect_list_of_redirect_list : | ||
| <span><a href="../CST/index.html#type-redirect_list">CST.redirect_list</a> <span class="arrow">-></span></span> | ||
| <span><a href="../CST/index.html#type-io_redirect'">CST.io_redirect'</a> list</span></span></code></div></div></div></body></html> |
Oops, something went wrong.