downloading groupoids...

[thedeemon]

До чего дошел прогресс:

Эдак скоро захочешь безобидную утилиту поставить, а она яндекс.бар ∞-группоиды качает!

Хозяйке на заметку: Идрис с каждой новой версией имеет все больше зависимостей, в версии 0.9.9 уже дошли до ручки LLVM (теперь там и такой есть бэкенд). Если не хочется возиться с его установкой, то волшебная фраза такая: "cabal install idris -f -LLVM".

Comments

[zerthurd.livejournal.com]

Чёт не собирается:
https://gist.github.com/Zert/8be9d1fbd490e5f44b0b

[thedeemon.livejournal.com]

Хм, он по-разному умеет не собираться, но такой способ я еще не встречал. :) Возможно, в данном случае может быть староват компилятор. Нужен тот, что в Haskell Platform 2010 или новее. Я собирал под виндой с Haskell Platform 2012 и MinGW. Там еще пара сишных библиотек нужна - libgmp и libffi, возможно что-то еще.

[zerthurd.livejournal.com]

The Glorious Glasgow Haskell Compilation System, version 7.6.3

Haskell Platform for Mac OS X 2013.2.0.0

[zerthurd.livejournal.com]

Лол: https://github.com/audreyt/cereal/commit/acc09a5d6fb0ee65af2b060cc12b14282c20725d
Интересно, почему не в пакете ещё?