SAW: И как оно не работает - 2:

[kouzdra]

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

Comments

[igor_abramov]

А что там ещё Bool в типе результата делает ?

[kouzdra]

А там все конечные числа - битовые векторы фиксированной длинны. Ну а бит - это Bool.

Соответственно

Prelude.Vec 0x20 Prelude.Bool
это просто 32-битный Int