У меня такое ощущение что в ubuntu проект собранный при помощи cabal new-install собрался без поддержки -threaded. Что нажать чтобы исправить? А то у меня сервант ставит опердень раком.
--ghc-options="-j +RTS -A128m -n4m -RTS"
и компиляция резкая аки диарея.
и компиляция резкая аки диарея.
кто-нибудь пробовал собирать self-hosted или cross-compiling х-ь для Raspberri Pi или других похожих машинок?
Хочу плагин к GHC, который вычисляет какие исключения может бросать функция. Причем, какой-нить тупой, ей даешь на вход текстовый файлик со списком:
Module.function : Module.Exception
он используя эту информацию собирает код и генерит на выходе файлик дополненый всеми собранными функциями, это же реально?
Module.function : Module.Exception
он используя эту информацию собирает код и генерит на выходе файлик дополненый всеми собранными функциями, это же реально?
ghc.haskell.org ghc.haskell.org — Мне кажется или что-то пошло не так?
А какие существуют рекомендации по дефолтному количеству ядер и вообще железу для хаскелльных приложений? Есть приложение, где не получается честно замерить пока что, а рекомендации по железу уже нужны. С ОЗУ там понятно — чем больше, тем лучше, а по количеству ядер ЦПУ капается производительность где?
А кто-то натыкался на случай, когда изменение кода в одной топ-левел функции вызывало ошибки в других топ-левел функциях, которые до изменения прекрасно компилировались? При чём, изменение касается тела функции (опечатка), а не типа. Т.е. сообщения становятся бесполезными и запутывающими, и указывают вообще не на те декларации, в которых ошибка.
While we are still trying to get 8.0.2 out the door, 8.2.1 is quickly
approaching.
вот всегда так
approaching.
вот всегда так
А уже же придумали как в стеке собрать ghc со своими патчами?
а можно каким-то образом отключать ghc-options: -event-log, если через cabal/stack включается --profile? Просто обычно с профилем не собираешь, а -event-log удобно выносить сразу в cabal файл, чтобы не забывать с ним собирать, т.к. с его поддержкой код пойдет в т.ч. в production.
1.hs:16:1: error:
• Invalid declaration for ‘FieldType’; you must explicitly
declare which variables are dependent on which others.
Inferred variable kinds:
p :: N
t :: Type
i :: Fin p
• In the type synonym declaration for ‘FieldType’
А вот как это явно указать?
• Invalid declaration for ‘FieldType’; you must explicitly
declare which variables are dependent on which others.
Inferred variable kinds:
p :: N
t :: Type
i :: Fin p
• In the type synonym declaration for ‘FieldType’
А вот как это явно указать?
‰ time cabal build
Package has never been configured. Configuring with default flags. If this
fails, please run configure manually.
Resolving dependencies...
Configuring muesli-0...
Building muesli-0...
Preprocessing executable 'Muesli' for muesli-0...
[1 of 2] Compiling Muesli ( Muesli.hs, dist/build/Muesli/Muesli-tmp/Muesli.o )
[2 of 2] Compiling Main ( Main.hs, dist/build/Muesli/Muesli-tmp/Main.o )
Linking dist/build/Muesli/Muesli ...
cabal build 567.09s user 79.04s system 116% cpu 9:16.86 total
‰ du -sh dist/build/Muesli/Muesli
10M dist/build/Muesli/Muesli
‰ strip dist/build/Muesli/Muesli
‰ du -sh dist/build/Muesli/Muesli
6.2M dist/build/Muesli/Muesli
Три гига рамы выжрал алсо.
Package has never been configured. Configuring with default flags. If this
fails, please run configure manually.
Resolving dependencies...
Configuring muesli-0...
Building muesli-0...
Preprocessing executable 'Muesli' for muesli-0...
[1 of 2] Compiling Muesli ( Muesli.hs, dist/build/Muesli/Muesli-tmp/Muesli.o )
[2 of 2] Compiling Main ( Main.hs, dist/build/Muesli/Muesli-tmp/Main.o )
Linking dist/build/Muesli/Muesli ...
cabal build 567.09s user 79.04s system 116% cpu 9:16.86 total
‰ du -sh dist/build/Muesli/Muesli
10M dist/build/Muesli/Muesli
‰ strip dist/build/Muesli/Muesli
‰ du -sh dist/build/Muesli/Muesli
6.2M dist/build/Muesli/Muesli
Три гига рамы выжрал алсо.
Вот с base-4.7 в дополнение к traceEvents появилось traceMarker, а в чем отличие и когда что использовать?
У меня одного ghc-7.10.3 компилит многократно медленнее чем ghc-7.10.2? // потерял тред на жуйке про это явление
Похоже Семён у Макскома украл машину времени
wiz 00:12
> hackage.haskell.org
> Since: 4.9.0.0
см. урл, потом синс и опять урл. wat
Кому занести соточку чтобы в ghci появился vi mode?
Make the crash happen as early as possible. -debug already turned on lots of assertions, one of which might trigger. Also, try +RTS -DS which turns on a bunch of extra "sanity checking", i.e. expensive assertions about the state of the runtime at regular points. One thing this enables is a full sweep of the heap after each garbage collection to make sure there are no dangling references. Also, it fills all free memory with the value 0xaaaaaaaa (the sound of GHC disappearing down a hole).
Запиливал проект на ghc-7.10.1.
Думаю, а попробую.
Собираю проект с stack.
stack init --solver # честно выкачивает 7.10.1
stack build
Два часа проходит, и не справляется.
Качаю 7.10.2.
rm -rf stack
Пересобираю stack.
Пересобираю проект cabal + ghc-7.10.2.
Думаю, а попробую.
Собираю проект с stack.
stack init --solver
stack build
Два часа проходит, и не справляется.
Думаю, а попробую.
Собираю проект с stack.
stack init --solver # честно выкачивает 7.10.1
stack build
Два часа проходит, и не справляется.
Качаю 7.10.2.
rm -rf stack
Пересобираю stack.
Пересобираю проект cabal + ghc-7.10.2.
Думаю, а попробую.
Собираю проект с stack.
stack init --solver
stack build
Два часа проходит, и не справляется.
Didn't you know? Once the core-to-core passes are complete, a binary appears on disk by sheer magic. And magic is never wrong.
#error No implementation for getProcessCPUTime() available.
Мне нужно наколдовать какую-то волшебную чародейскую магию чтобы ghc собрался с musl?
Мне нужно наколдовать какую-то волшебную чародейскую магию чтобы ghc собрался с musl?
У кого-нибудь получалось поставить пакет text-icu под Windows 7 x64?
downloads.haskell.org
А в 7.10 внезапно появились прагмы для overlapping instances
Ну и..
А в 7.10 внезапно появились прагмы для overlapping instances
Ну и..
If exactly one non-incoherent candidate remains, select it. If all remaining candidates are incoherent, select an arbitary one.Вся суть того, чем отличается INCOHERENT от OVERLAPPING.
Образовалась забавная проблема: один и тот же код собранный ghc 7.6.3 и ghc 7.8.4 после запуска занимает разный private bytes. 6 Мб и 104 Мб соответственно.
Всё бы ничего, но во втором случае довольно быстро кончается память. Подскажите куда копать.
ghc 32 битный, система 64 битная.
Всё бы ничего, но во втором случае довольно быстро кончается память. Подскажите куда копать.
ghc 32 битный, система 64 битная.
Я так понимаю вот эта херня github.com случилась из-за этой херни ghc.haskell.org ?
Однако забавно в 7.10.1 Стал на отсутствие инстанса Applicative... Это потому что Applicative и Monad как-то разделили?
блин на CI делается cabal configure , cabal build, при этом cabal test --show-always=true говорит, мол перекофигурируйте, т.к. сменился кабал и ghc, как такое может быть?
Осталось понять почему в 7,8 нету пакета с загадочным названием ghc-dynamic ...
Собрал ghc из experimental со странной версией ghc-7.8.20141223 ... После выхода 7.10 7.8 уже можно считать достаточно стабильным?
cat 1.hs
test = "mutli\
\line"
main = putStrLn test
$ ghc 1.hs
[1 of 1] Compiling Main ( 1.hs, 1.o )
Linking 1 ...
$ ghc -XCPP 1.hs
[1 of 1] Compiling Main ( 1.hs, 1.o ) [flags changed]
1.hs:1:18:
lexical error in string/character literal at character 'l'
новая мода — считать complitation time своим программ и ругаться если он увеличился с новой версией! Будь в тренде! Ведь компилятор должен быть быстрым, скорость работы компилятора это главная фича!!!
Интересно, а реально ли портировать GHC на UEFI окружение, чтобы можно было писать ФП-буткиты^W красивые загрузчики с блекджеком и шлюхами?
С чего следует начать? Наверно с запиливания возможности генерить бинарники диалекта PE+, используемого в UEFI? Разделяемых библиотек в UEFI нет, всё динамически через COM^W интерфейс «протоколов», так что хаскелистам не привыкать. Хотя, первым делом придётся портировать integer-gmp на UEFI...
Может быть кто-то из таких же извращенцев уже данным вопросом занимается?
С чего следует начать? Наверно с запиливания возможности генерить бинарники диалекта PE+, используемого в UEFI? Разделяемых библиотек в UEFI нет, всё динамически через COM^W интерфейс «протоколов», так что хаскелистам не привыкать. Хотя, первым делом придётся портировать integer-gmp на UEFI...
Может быть кто-то из таких же извращенцев уже данным вопросом занимается?
походу пришло время переходить на ghc 7.8
В продолжение предыдущему посту:
```
Prelude Control.Exception> error "a" `catch` (\e -> getMaskingState >>= print . flip const (e :: SomeException))
MaskedInterruptible
Prelude Control.Exception> getMaskingState
Unmasked
```
Вот такое вот "ха-ха". Надо теперь потестить мелкие паттерны и подумать как теперь жить с этим знанием и насколько часто можно было допустить ошибку. Т.е. не пускать действие из exception handler а делать верно, т.е.
не
go `catchSome` (const go)
а, например,
let fix f = maybe (fix f) return (Just <$> f `catchSome` (cont $ return Nothing))
in fix go
```
Prelude Control.Exception> error "a" `catch` (\e -> getMaskingState >>= print . flip const (e :: SomeException))
MaskedInterruptible
Prelude Control.Exception> getMaskingState
Unmasked
```
Вот такое вот "ха-ха". Надо теперь потестить мелкие паттерны и подумать как теперь жить с этим знанием и насколько часто можно было допустить ошибку. Т.е. не пускать действие из exception handler а делать верно, т.е.
не
go `catchSome` (const go)
а, например,
let fix f = maybe (fix f) return (Just <$> f `catchSome` (cont $ return Nothing))
in fix go
Кто-нибудь может пояснить по: (комментарий из rts/Exceptions.cmm)
Т.к. это выглядит очень странно и go `catch` (const go) явно ж не должен
пускать go второй раз с замаскированными исключениями. Ползать по всему коду base, чтобы проследить что там происходит мне лень :)
полный текст:
A thread can request that asynchronous exceptions not be delivered
("masked") for the duration of an I/O computation. The primitives
maskAsyncExceptions# :: IO a -> IO a
and
maskUninterruptible# :: IO a -> IO a
are used for this purpose. During a masked section, asynchronous
exceptions may be unmasked again temporarily:
unmaskAsyncExceptions# :: IO a -> IO a
Furthermore, asynchronous exceptions are masked automatically during
the execution of an exception handler. All three of these primitives
leave a continuation on the stack which reverts to the previous
state (masked interruptible, masked non-interruptible, or unmasked)
on exit.
Furthermore, asynchronous exceptions are masked automatically duringthe execution of an exception handler.
Т.к. это выглядит очень странно и go `catch` (const go) явно ж не должен
пускать go второй раз с замаскированными исключениями. Ползать по всему коду base, чтобы проследить что там происходит мне лень :)
полный текст:
A thread can request that asynchronous exceptions not be delivered
("masked") for the duration of an I/O computation. The primitives
maskAsyncExceptions# :: IO a -> IO a
and
maskUninterruptible# :: IO a -> IO a
are used for this purpose. During a masked section, asynchronous
exceptions may be unmasked again temporarily:
unmaskAsyncExceptions# :: IO a -> IO a
Furthermore, asynchronous exceptions are masked automatically during
the execution of an exception handler. All three of these primitives
leave a continuation on the stack which reverts to the previous
state (masked interruptible, masked non-interruptible, or unmasked)
on exit.
пишем unsafeCoerce с int-e:
ghc.haskell.org
ghc.haskell.org
И как отлючить Trustworthy если оно прописано в default-extensions,
т.к. Safe не перекрывает а NoTrustworthy нету :/
т.к. Safe не перекрывает а NoTrustworthy нету :/
без Functor m
compiler/utils/MonadUtils.hs:82:10:
Could not deduce (Functor m)
arising from the superclasses of an instance declaration
from the context (Monad m)
bound by the instance declaration
at compiler/utils/MonadUtils.hs:82:10-44
Possible fix:
add (Functor m) to the context of the instance declaration
In the instance declaration for ‘Applicative (StateT s m)’
с Functor m
compiler/utils/MonadUtils.hs:82:10: Warning:
Redundant constraint: Functor m
In the instance declaration for ‘Applicative (StateT s m)’
compiler/utils/MonadUtils.hs:82:10:
Could not deduce (Functor m)
arising from the superclasses of an instance declaration
from the context (Monad m)
bound by the instance declaration
at compiler/utils/MonadUtils.hs:82:10-44
Possible fix:
add (Functor m) to the context of the instance declaration
In the instance declaration for ‘Applicative (StateT s m)’
с Functor m
compiler/utils/MonadUtils.hs:82:10: Warning:
Redundant constraint: Functor m
In the instance declaration for ‘Applicative (StateT s m)’
GHCs source code is indented with a mixture of tabs and spaces, and is standardised on a tabstop of 8.
впрочем это уже устарено, и сейчас только spaces, но все равно весело