169 похожих чатов

День добрый. Пытаюсь зарефачить jhc, чтоб собирался на свежем 8.8.*

снепшоте.

Есть вот такой кусочек:

readHFile :: FilePath -> IO (FilePath,HoHeader, forall a . Data.Binary.Binary a => ChunkType -> a)
readHFile fn = do
bs <- BS.readFile fn
fn' <- shortenPath fn
(ct,mp) <- bsCFF bs
True <- return $ ct == cff_magic
let fc :: forall a . Data.Binary.Binary a => ChunkType -> a
fc ct = case lookup ct mp of
Nothing -> error $ "No chunk '" ++ show ct ++ "' found in file " ++ fn
Just x -> decode $ decompress $ LBS.fromStrict x
let hoh = fc cff_jhdr
when (hohVersion hoh /= ho_version) $ fail "invalid version in hofile"
return (fn',hoh,fc)

Вот это чудо не компиляется с ошибкой
hc-core> • Couldn't match type ‘ChunkType -> a0’
jhc-core> with ‘forall a. Binary a => ChunkType -> a’
jhc-core> Expected type: IO
jhc-core> (FilePath, HoHeader, forall a. Binary a => ChunkType -> a)
jhc-core> Actual type: IO (String, HoHeader, ChunkType -> a0)
jhc-core> • In a stmt of a 'do' block: return (fn', hoh, fc)
jhc-core> In the expression:
jhc-core> do bs <- BS.readFile fn
jhc-core> fn' <- shortenPath fn
jhc-core> (ct, mp) <- bsCFF bs
jhc-core> True <- return $ ct == cff_magic
jhc-core> ....
jhc-core> In an equation for ‘readHFile’:
jhc-core> readHFile fn
jhc-core> = do bs <- BS.readFile fn
jhc-core> fn' <- shortenPath fn
jhc-core> (ct, mp) <- bsCFF bs
jhc-core> ....
jhc-core> |
jhc-core> 35 | return (fn',hoh,fc)

Не могу понять, как же так. Есть идеи? Вроде как у fc правильный тип, полиморфная функция.

1 ответов

11 просмотров

заверни в нютайп

Похожие вопросы

Обсуждают сегодня

Мужики и девушки, привет) в Вelphi xe7 в настройках во вкладке "Editor Options" далее " Color" есть список: "Elements", открыв который мы можем настраивать отображение разных...
Kraszx
14
Добрый вечер. Есть вопрос, а может и предложение. Был у меня диалог в другой группе о делфи и я задался вопросом: "А нельзя ли в делфи цвет //коментария и {комментария} сде...
Kraszx
24
Я вот подумал. SSE выполняет операции максимум с 64-битной точностью. А FPU - всегда с 80-битной. Разве не должно быть FPU точнее тогда?
The Bird of Hermes
13
как быть с принтером? такой подход прокатит?
zamtmn
12
Мдя, прикол, боевая сборка запускается (именно под отладчиком) после F9 примерно полторы минуты (97 секунд если быть точным). Начал копать - проблема детектится сразу - зависа...
Александр (Rouse_) Багель
38
Всем привет! Подскажи, пожалуйста, как передать в TComboBox сразу значение и id записи. На Delphi я делал так: ComboBox1.Items.AddObject('Какое-то значение', Pointer(id запис...
Евгений
13
Здравствуйте, вопрос по структурам данных. Были у вас случаи, когда пришлось писать деревья или двунаправленные списки?
/ /
50
Я не понимаю, это троллинг или что? Швабрика поддерживают, который буквально пишет на ассемблере взаимодействия с винапи. Я это ещё написал загрузчик и хоть что-то изучаю в о...
Shadow Akira
6
А вот это что за конструкция? Вернее, она тут нафига?
Serjone
10
Привет. Подскажите, как правильно сматчить лист фиксированного размера, чтобы компилятор не говорил мне о неполном паттерне? Допустим что-то такое [x', y'] = sort [x, y]?
Arseny
8
Карта сайта