Parsec3 траблы

[lomeo]

3-й parsec, как известно, построен для работы с Data.ByteString, что должно неимоверно поднять скорость парсинга, по сравнению с обычным строковым.

Comments

[thesz]

По идее, должны срабатывать.

При задании правил, по идее, можно указать этапы компиляции, на которых они будут срабатывать.

The "[2]" means that the rule is active in Phase 2 and subsequent phases. The inverse notation "[~2]" is also accepted, meaning that the rule is active up to, but not including, Phase 2.

http://www.haskell.org/ghc/docs/6.8.2/html/users_guide/rewrite-rules.html

[lomeo]

Указывал 1,2. На самом деле, указание это только ограничение, как я понял - мне бы наоборот.

[deni_ok]

Спросил бы в ru_declarative, может кто ещё откликнется...

[lomeo]

ок

[virkony]

может {-# NOINLINE [~1] satisfy #-} (что б не заинлайнилось раньше чем твои правила заметят его)?

[lomeo]

Там проблема в том, что digit не инлайнится. Вчера увидел по -ddump-simpl-iterations.

Написал свой

{-# INLINE myDigit #-}
myDigit :: Parsec BS.ByteString () Char
myDigit = satisfy isDigit -- "digit"

так инлайнится, а заменю () на u - нет. Имеется в виду тип

myDigit :: Parsec BS.ByteString u Char