RTS in package

Simon Marlow simonmar at microsoft.com
Wed Jun 8 08:58:58 EDT 2005


On 08 June 2005 13:09, Serge D. Mechveliani wrote:

> ghc-6.4  seems to fail in processing the RTS options set in a package:
> 
> ----------------------------------------
> name:            dumatel
> version:         1.0.2.6.4
> synopsis:        term rewriting system and prover
> description:     term rewriting system and prover
> build-depends:   data
> exposed-modules: DExport DPrelude Prelude5 TermComp Reduce
>                  CritPair KBC Bool BTerm ReduceBT UKBB Prover
> other-modules:
>   Prelude0 Prelude0_0 Prelude1 Prelude2 Prelude2_0 Prelude3
>   Prelude3_0 Prelude4 Bool0 BTerm0 BTerm1 Prover0 Parse1 Parse2
>   Parse3 Prover1 Prover2 Prover3
> ghc-options:
>   -fglasgow-exts -fallow-undecidable-instances
>   -fallow-overlapping-instances -fno-warn-overlapping-patterns
>   -fwarn-unused-binds -fwarn-unused-matches -fwarn-unused-imports
>   -O -v
>   -RTS -M30m -RTS
    ^^^^^

Looks like that should be +RTS.

Cheers,
	Simon




More information about the Glasgow-haskell-bugs mailing list