Обнаружил, что у нас есть исходник размером почти в мегабайт, в нём более тридцати двух тысяч строк.

Пришлось его изучать на предмет, не туда ли надо вносить исправления ошибки. ;)

Тут у меня код получился, который должен работать, но не работает.

( Код )

Обнаружил проблему в ghc 7.0.2.
{-# LANGUAGE NoImplicitPrelude #-}

import Prelude (Integer)
import Language.Haskell.TH

class FromInteger a where
fromInteger :: Integer -> a

data A = A Integer
instance FromInteger A where
fromInteger = A

testA :: A
testA = 1Даёт ошибку, что нет реализации GHC.Num.Num для A для функции testA. В 6.12. ( Read more... )

Я положил исходничек с ошибкой, которая проявляется у меня на ghc 6.12.1. Вот она:
a.hs:43:12:
Ambiguous type variable `t' in the constraints:
`ToWires t' arising from a use of `add2' at a.hs:43:12-30
`Num t' arising from the literal `0' at a.hs:44:24
Probable fix: add a type signature that fixes these type variable(s)Поскольку ( Read more... )

В C# недавно отрыл, в Хаскеле тоже.

Как дёшево помечать места с ошибками?

Например, так:
{-# LANGUAGE TemplateHaskell #-}

import ErrorPlace

myHead def xs
| null xs = def
| otherwise = head xs

test list = (myHead $errorPlace list) || (myHead $errorPlace $ tail list)
Результат проверки:
Ok, modules loaded: ErrorPlace, Main ( Read more... )

Я и в 6.8.2 тоже обнаружил места с проблемами.

Бяда. :(

( С места в карьер с исходным текстом. )

One of the developers had a bug that he couldn't solve after a week - we tried everything - every debugger known - they all pointed to threading problems in the Roguewave libraries but the manufacturer was responding slowly. One day, the programmer put the string "eeek" as a printf debug. Miraculously, the bug disappeared. We tested other strings ( Read more... )

Сегодня мы исправили ошибку в блоке масштабирования изображения за время порядка трех минут. С помощью алгоритмической модели, написанной еще в начале проекта ( Read more... )