logo       

RE: RTS in package: msg#00016

lang.haskell.glasgow.bugs

Subject: RE: RTS in package

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


<Prev in Thread] Current Thread [Next in Thread>
Google Custom Search

News | FAQ | advertise