diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/runtime-api.html | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/doc/runtime-api.html b/doc/runtime-api.html index 966f5f15c..792dbed39 100644 --- a/doc/runtime-api.html +++ b/doc/runtime-api.html @@ -154,12 +154,12 @@ or by calling __next__ if you are using Python 3: </pre> </span> <span class="haskell"> -This gives you a result of type <tt>Either String [(Expr, Float)]</tt>. -If the result is <tt>Left</tt> then the parser has failed and you will -get the token where the parser got stuck. If the parsing was successful -then you get a potentially infinite list of parse results: +This gives you a result of type <tt>ParseOutput</tt>. +If the result is <tt>ParseFailed</tt> then the parser has failed and you will +get the offset and the token where the parser got stuck. If the parsing was successful +then you get <tt>ParseOk</tt> with a potentially infinite list of parse results: <pre class="haskell"> -Prelude PGF2> let Right ((e,p):rest) = res +Prelude PGF2> let ParseOk ((e,p):rest) = res </pre> </span> <span class="java"> |