|
7 | 7 | {-# LANGUAGE ViewPatterns #-} |
8 | 8 | {-# OPTIONS_GHC -Wno-type-defaults #-} |
9 | 9 |
|
10 | | -{- | |
11 | | -A plugin inspired by the REPLoid feature of <https://github.com/jyp/dante Dante>, <https://www.haskell.org/haddock/doc/html/ch03s08.html#idm140354810775744 Haddock>'s Examples and Properties and <https://hackage.haskell.org/package/doctest Doctest>. |
12 | | - |
13 | | -For a full example see the "Ide.Plugin.Eval.Tutorial" module. |
14 | | --} |
| 10 | +-- | -- A plugin inspired by the REPLoid feature of |
| 11 | +-- [Dante](https://github.com/jyp/dante), |
| 12 | +-- [Haddock examples and properties](https://haskell-haddock.readthedocs.io/latest/markup.html#examples), |
| 13 | +-- and [Doctest](https://hackage.haskell.org/package/doctest). |
15 | 14 | module Ide.Plugin.Eval.Handlers ( |
16 | 15 | codeAction, |
17 | 16 | codeLens, |
@@ -397,7 +396,7 @@ The result of evaluating a test line can be: |
397 | 396 | A value is returned for a correct expression. |
398 | 397 | |
399 | 398 | Either a pure value: |
400 | | ->>> 'h' :"askell" |
| 399 | +>>> 'h' :"askell" |
401 | 400 | "haskell" |
402 | 401 | |
403 | 402 | Or an 'IO a' (output on stdout/stderr is ignored): |
|
0 commit comments