Подтвердить что ты не робот

Могу ли я использовать OverlappingInstances для получения более приятных сообщений об ошибках?

В настоящее время я имею дело с некоторым кодом Haskell, который я не писал, но что я внес изменения. После моих изменений я запустил программу и получил следующее сообщение об ошибке:

Prelude.!!: index too large

Вызов !! не входит в мой код, поэтому рефакторинг его больше, чем я хочу, если я могу его избежать.

Я бы хотел сделать что-то вроде этого:

class PrintList a where
  (!!) :: [a] -> Int -> a

instance (Show a) => PrintList a where
  l (!!) n = if n < (length l) 
             then (l Prelude.!! n)
             else error ("Index " ++ show n ++ " out of bounds in " ++ show l )

instance PrintList a where
  (!!) = Prelude.!!

то есть. функция !! определяется для каждого возможного типа списка, но она ведет себя по-разному, если для типа элемента определен определенный экземпляр Show.

Альтернативно, метод tryShow :: a -> Maybe String также выполнит трюк.

Есть ли способ сделать это? Могу ли я заставить OverlappingInstances использовать реализацию по умолчанию только тогда, когда реализация Show не применяется? Это гарантированное поведение?

EDIT: бонусные баллы для всех, кто может получить сообщение об ошибке, также распечатать сообщение, подобное трассировке.

4b9b3361

ОТВЕТЫ

Ответ 1

Вам не нужны перекрывающиеся экземпляры, просто используйте отладчик GHC самостоятельно (!!):

{-# OPTIONS -Wall -O0 #-}
module Debugger3 where

import qualified Prelude as P
import Prelude hiding ((!!))

(!!) :: [a] -> Int -> a
xs !! n =
   xs P.!! n    -- line 9

foo :: Int -> Int
foo n = [0..n] !! 3

bar :: Int -> Int
bar n = foo (n-3)

main :: IO ()
main = print (bar 4)

Сеанс GHCi:

> :l Debugger3
[1 of 1] Compiling Debugger3        ( Debugger3.hs, interpreted )
Ok, modules loaded: Debugger3.
*Debugger3> :break 9
Breakpoint 1 activated at Debugger3.hs:9:4-18
*Debugger3> :trace main
Stopped at Debugger3.hs:9:4-18
_result :: a = _
n :: Int = 3
xs :: [a] = _
[Debugger3.hs:9:4-18] *Debugger3> :force xs
xs = [0,1]
[Debugger3.hs:9:4-18] *Debugger3> :history
-1  : !! (Debugger3.hs:(8,1)-(9,18))
-2  : foo (Debugger3.hs:12:9-19)
-3  : foo (Debugger3.hs:12:1-19)
-4  : bar (Debugger3.hs:15:9-17)
-5  : bar (Debugger3.hs:15:1-17)
-6  : main (Debugger3.hs:18:15-19)
-7  : main (Debugger3.hs:18:8-20)
<end of history>
[Debugger3.hs:9:4-18] *Debugger3> :back
Logged breakpoint at Debugger3.hs:(8,1)-(9,18)
_result :: a
[-1: Debugger3.hs:(8,1)-(9,18)] *Debugger3> :back
Logged breakpoint at Debugger3.hs:12:9-19
_result :: Int
n :: Int
[-2: Debugger3.hs:12:9-19] *Debugger3> n
1