Tiny errors in output of GHCi commands :forward and :info
:forward x
gives wrong syntax.
Load a module into GHCi, eg:
qsort :: [Int] -> [Int]
qsort [] = []
qsort (a:as) = qsort left ++ [a] ++ qsort right
where (left,right) = (filter (<=a) as, filter (>a) as)
Break somewhere and issue an erroneous :forward command eg :forward x
:
GHCi, version 8.6.3: http://www.haskell.org/ghc/ :? for help
Loaded package environment from /home/roland/.ghc/x86_64-linux-8.6.3/environments/default
Prelude> :l Test.hs
[1 of 1] Compiling Main ( Test.hs, interpreted )
Ok, one module loaded.
*Main> :break 3
Breakpoint 0 activated at Test.hs:3:16-47
*Main> qsort [2,1,3]
Stopped in Main.qsort, Test.hs:3:16-47
_result :: [Int] = _
a :: Int = 2
left :: [Int] = _
right :: [Int] = _
[Test.hs:3:16-47] *Main> :forward x
Syntax: :back [num] <----- WRONG
[Test.hs:3:16-47] *Main>
It should say :forward not :back
:info Coercible
points to non existing users' guide chapter
Output of GHCi, version 8.6.3: http://www.haskell.org/ghc/ :? for help
Loaded package environment from /home/roland/.ghc/x86_64-linux-8.6.3/environments/default
Prelude> :m + Data.Coerce
Prelude Data.Coerce> :info Coercible
{-
Coercible is a special constraint with custom solving rules.
It is not a class.
Please see section 9.14.4 of the user's guide for details.
-}
type role Coercible representational representational
class Coercible a b => Coercible (a :: k0) (b :: k0)
-- Defined in ‘GHC.Types’
Prelude Data.Coerce>
Chapter 9.14.4 does not exist. It's now 10.14.4. Maybe we should mention the chapter title instead of the number.