April 2014 - Glasgow-haskell-users

Help with cast error
by Conal Elliott 25 Apr '14

25 Apr '14

I'd appreciate help with a cast-related Core Lint error I'm getting with a GHC plugin I'm working on: Argument value doesn't match argument type: Fun type: Enc (Vec ('S 'Z) Bool) ~ (Bool, ()) => EP (Enc (Vec ('S 'Z) Bool)) -> EP (Bool, ()) Arg type: ~R# (Enc (Vec ('S 'Z) Bool)) (Bool, ()) Arg: CO Sub (TFCo:R:EncVec[0] <'Z>_N <Bool>_N) ; (Sub TFCo:R:EncBool[0], Sub (TFCo:R:EncVec0[0] <Bool>_N))_R (I omitted the module prefixes for brevity.) Do I have a role wrong here, or maybe something more fundamental? I can easily supply more info if it'd help. Thanks, -- Conal

2 2

RE: [core libraries] Re: Tightening up on inferred type signatures
by Simon Peyton Jones 24 Apr '14

24 Apr '14

| Independent of language extensions, what about types and classes whose | names are not in scope. Is there an implicit "... if you import all | the relevant symbols" and the end of the rule? Good point. I'm honestly unsure how far to push this one! (It'd be relatively easy to check whether they were in scope and complain if not, but ...) Simon | -----Original Message----- | From: haskell-core-libraries(a)googlegroups.com [mailto:haskell-core- | libraries(a)googlegroups.com] On Behalf Of David Mazieres | Sent: 22 April 2014 00:41 | To: Simon Peyton Jones; Haskell Libraries (libraries(a)haskell.org) | core-libraries-committee(a)haskell.org; GHC users | Subject: [core libraries] Re: Tightening up on inferred type signatures | | Simon Peyton Jones <simonpj(a)microsoft.com> writes: | | > GHC generally obeys this rule | > | > * If GHC infers a type f::type, then it's OK for you to add a type | > signature saying exactly that. | | Independent of language extensions, what about types and classes whose | names are not in scope. Is there an implicit "... if you import all | the relevant symbols" and the end of the rule? | | David | | -- | You received this message because you are subscribed to the Google | Groups "haskell-core-libraries" group. | To unsubscribe from this group and stop receiving emails from it, send | an email to haskell-core-libraries+unsubscribe(a)googlegroups.com. | For more options, visit https://groups.google.com/d/optout.

2 1

testing 7.8.2
by Sergei Meshveliani 23 Apr '14

23 Apr '14

Dear GHC developers, I have tested ghc-7.8.2-src by making it by ghc-7.6.3 under Debian Linux. Then I have `made' my DoCon-2.12 application by ghc-7.8.2. It looks all right. For any occasion, here are some test results. Comparing it to ghc-7.4.1 shows the following. 1) The default context reduction stack (21) is not sufficient, so, I add -fcontext-stack=30 to the options. 2) The resulting libHSdocon-2.12.a is 1/10 larger (but the DoCon source is not the same, and it is, may be 1/100 larger). 3) The Main executable test size is almost the same. 4) The test running speed is the same. 5) The minimal -M memory setting for running the test is 4300 Kb against 2400 Kb of ghc-6.4.1. Regards, ------ Sergei

1 0

installing random-1.0.1.1
by Sergei Meshveliani 23 Apr '14

23 Apr '14

People, can you, please, explain me how to make the `random' package visible for GHC ? I have * installed haskell-platform-2013.2.0.0, * `made' ghc-7.8.2 from source by ghc-7.6.3, and run make configure under ghc-7.8.2 for my DoCon program. docon.cabal has ---------------------------------------- ... tested-with: GHC build-type: Simple build-depends: base >= 4 && < 5, containers >= 0.3 && <= 0.5.5.1, random >= 1.0 && < 1.2 . exposed-modules: ... extensions: TypeSynonymInstances UndecidableInstances FlexibleContexts FlexibleInstances MultiParamTypeClasses OverlappingInstances RecordWildCards NamedFieldPuns DoAndIfThenElse ... ----------------------------------------- make configure reports runghc Setup.hs configure --ghc --prefix=/home/mechvel/docon/2.12/docon/source/inst -v Configuring docon-2.12... Setup.hs: At least the following dependencies are missing: random >=1.0 && <1.2 I do cabal install random, and now ghc-pkg list shows ------------------------------------- /home/mechvel/ghc/7.8.2/inst0/lib/ghc-7.8.2/package.conf.d Cabal-1.18.1.3 ... containers-0.5.5.1 ... ghc-7.8.2 ... unix-2.7.0.1 /home/mechvel/.ghc/x86_64-linux-7.8.2/package.conf.d random-1.0.1.1 -------------------------------------- But make configure still does not find random. The Haskell Platform is installed in the system area, ghc-7.8.2 and random-1.0.1.1 are installed in my home. Maybe, I need to run `register random' with some appropriate arguments? Can you, please, advise? Thanks, ------ Sergei

2 1

Tightening up on inferred type signatures
by Simon Peyton Jones 22 Apr '14

22 Apr '14

Friends GHC generally obeys this rule * If GHC infers a type f::type, then it's OK for you to add a type signature saying exactly that. For example, it rejects inferred types that are ambiguous. I think this is a good property; it was certainly the source of many bug reports before inferred ambiguous types were rejected. However, up to now (including in 7.8) GHC hasn't followed this rule consistently. In particular, it will infer types like fold :: (Functor (PF a), Regular a) => (PF a b -> b) -> a -> b (where PF is a type family). If you write this as a type signature, GHC will insist on FlexibleContexts and TypeFamilies. So in https://ghc.haskell.org/trac/ghc/ticket/8883, Jan has made GHC check inferred types in the same way that it checks declared types, thus rejecting the above inferred type unless you give the language extensions. This makes the compiler more consistent. But it does mean that some code may be rejected that 7.8 accepts. This email is just a heads-up that you might want to compile your library with 7.10 (i.e. a snapshot of HEAD) well in advance. There will be other breaking changes of course; e.g Applicative will finally be a superclass of Monad, for example. Simon

3 2

Concrete syntax for open type kind?
by Conal Elliott 22 Apr '14

22 Apr '14

I see ‘#’ for unlifted and ‘?’ for open kinds in compiler/parser/Parser.y: akind :: { IfaceKind } : '*' { ifaceLiftedTypeKind } | '#' { ifaceUnliftedTypeKind } | '?' { ifaceOpenTypeKind } | '(' kind ')' { $2 } kind :: { IfaceKind } : akind { $1 } | akind '->' kind { ifaceArrow $1 $3 } However, I don’t know how to get GHC to accept ‘#’ or ‘?’ in a kind annotation. Are these kinds really available to source programs. I see that undefined has an open-kinded type: *Main> :i undefined undefined :: forall (a :: OpenKind). a -- Defined in ‘GHC.Err’ Looking in the GHC.Err source, I just see the following: undefined :: a undefined = error "Prelude.undefined" However, if I try similarly, q :: a q = error "q" I don’t see a similar type: *X> :i q q :: forall a. a -- Defined at ../test/X.hs:12:1 I don't know what kind 'a' has here, nor how to find out. -- Conal

3 6

Re: HSghc-prim-0.3.1.0.o: unknown symbol 'memcpy'
by Roman Cheplyaka 20 Apr '14

20 Apr '14

* M Farkas-Dyck <strake888(a)gmail.com> [2014-04-19 12:55:23-0500] > On 19/04/2014, Roman Cheplyaka <roma(a)ro-che.info> wrote: > > Don't know if it helps, but I think ghci loads the dynamic library, not the static one. > > I straced both the broken ghci on aforesaid system and a working ghci > on a glibc system and it loads bare .o files. Interesting. I thought that has changed in 7.8. I'd love to see an explanation from someone knowledgeable. Roman

1 0

Autocomplete command line options with GHC 7.8
by Jan Stolarek 17 Apr '14

17 Apr '14

Hi all, GHC 7.8 adds --show-options flag that prints all supported command line flags on standard output. This can be used to enable autocompletion of command line options for ghc in shells that support autocompletion. If you're using bash add this snippet to your ~/.bashrc file: <<<<<<<<<<<<< START # Autocomplete GHC commands _ghc() { local envs=`ghc --show-options` # get the word currently being completed local cur=${COMP_WORDS[$COMP_CWORD]} # the resulting completions should be put into this array COMPREPLY=( $( compgen -W "$envs" -- $cur ) ) } complete -F _ghc -o default ghc <<<<<<<<<<<< END Enjoy. Janek PS. I also added a wiki page: https://ghc.haskell.org/trac/ghc/wiki/AutocompleteGHCFlags Feel free to add instructions for other shells.

2 3

-optl behavior in ghc-7.8.1
by Yuras Shumovich 16 Apr '14

16 Apr '14

Hi, I found that -optl behavior was changed in ghc-7.8.1 ghc-7.6.3 passes additional linker options after all the haskell object files, while ghc-7.8.1 does the opposite. $ /opt/ghc-7.6.3/bin/ghc --make main.hs -optl=hello -v ... '/usr/bin/gcc' '-fno-stack-protector' '-Wl,--hash-size=31' '-Wl,--reduce-memory-overheads' '-o' 'main' 'main.o' 'hello' ... ... $ /opt/ghc-7.8.1/bin/ghc --make main.hs -optl=hello -v ... /usr/bin/gcc -fno-stack-protector -DTABLES_NEXT_TO_CODE hello -o main main.o ... ... Is it intentional change? I want to compile in a number of static libraries. I have the next line in my cabal file: ld-options: ./path/to/libsomething.a It works ok on linux and mac os with ghc-7.6.3, but with ghc-7.8.1 I get undefined references for symbols from the libsomething.a Thanks, Yuras

4 10

Help with coercion & roles?
by Conal Elliott 15 Apr '14

15 Apr '14

I’m working on a GHC plugin (as part of my Haskell-to-hardware work) and running into trouble with coercions & roles. Error message from Core Lint: Warning: In the expression: LambdaCCC.Lambda.lamvP# @ (GHC.Types.Bool → GHC.Types.Bool → GHC.Types.Bool → GHC.Types.Bool) @ (Simple.HasIf GHC.Types.Bool) "tpl"# ((LambdaCCC.Lambda.varP# @ (GHC.Types.Bool → GHC.Types.Bool → GHC.Types.Bool → GHC.Types.Bool) "tpl"#) `cast` (<LambdaCCC.Lambda.EP>_N (Sym (Simple.NTCo:HasIf[0] <GHC.Types.Bool>_N)) ∷ LambdaCCC.Lambda.EP (GHC.Types.Bool → GHC.Types.Bool → GHC.Types.Bool → GHC.Types.Bool) ~# LambdaCCC.Lambda.EP (Simple.HasIf GHC.Types.Bool))) Role incompatibility: expected nominal, got representationalin <LambdaCCC.Lambda.EP>_N (Sym (Simple.NTCo:HasIf[0] <GHC.Types.Bool>_N)) Do you see anything inconsistent/incompatible in the coercions or roles above? I constructed the nominal EP Refl coercion, and applied it (AppCo) an existing coercion of a simpler type. Thanks, -- Conal

3 7