Skip to content

Tiny errors in output of GHCi commands :forward and :info

:forward xgives 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

Output of :info Coercible points to non existing users' guide chapter

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.

Edited by Simon Jakobi
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information