funny type inference error with ghc7.6rc1

2012-08-17 Thread Carter Schonwald
Hey All, When playing with the current hackage versions of Epic and Idris to make them play nice with ghc7.6rc1 http://hackage.haskell.org/package/idris-0.9.2.1 and http://hackage.haskell.org/package/epic-0.9.3(current version on github now builds on ghc 7.6, https://github.com/edwinb/EpiVM)

Re: build failures when hiding non-visible imports

2012-08-18 Thread Carter Schonwald
meaning: flags for treating it as a warning vs as an error? (pardon, i'm over thinking ambiguity in phrasing). if thats the desired difference, that sounds good to me! -Carter On Sat, Aug 18, 2012 at 5:29 PM, Dan Burton danburton.em...@gmail.comwrote: Sounds reasonable. We might want flags to

Re: funny type inference error with ghc7.6rc1

2012-08-20 Thread Carter Schonwald
-haskell-users-boun...@haskell.org [mailto: glasgow-haskell-users-boun...@haskell.org] *On Behalf Of *Carter Schonwald *Sent:* 17 August 2012 19:01 *To:* GHC Users List *Subject:* funny type inference error with ghc7.6rc1 ** ** Hey All, ** ** When playing with the current hackage

is this a type lits/nats bug or my incorrect understanding ?

2012-08-23 Thread Carter Schonwald
that it doesn't understand that (1=2) https://gist.github.com/3445456 are these bugs in type nats, or am I missing something? thanks! Carter Schonwald ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo

Re: Type operators in GHC

2012-09-17 Thread Carter Schonwald
1) kudos to iavor and edward on the slick notation invention! 2) the key point is that ghc 7.6 does not have support for infix type variable notation, and how to encode infix arrow notations nicely subject that design choice, right? i'm likely just being a tad redundant in this conversation,

Re: memory fragmentation with ghc-7.6.1

2012-09-20 Thread Carter Schonwald
So the problem is only with the data structures on the heap that are pinned in place to play nice with C? I'd be curious to understand the change too, though per se pinned memory (a la storable or or bytestring) will by definition cause memory fragmentation in a gc'd lang as a rule, (or at least

Re: GHC compiling shared library linking problem

2012-10-15 Thread Carter Schonwald
Hello Richard, it sounds like you're using a ghc build that doesn't have the -dyn versions of the builtin libraries, do you have the same problem when doing a shared build without the foreign call ? On Mon, Oct 15, 2012 at 9:25 AM, Richard Zetterberg richard.zetterb...@googlemail.com wrote:

Re: Dynamic libraries by default and GHC 7.8

2012-12-04 Thread Carter Schonwald
Agreed. I'd much rather never again problems in ghci + linking, Its one of the biggest sources of exotic bugs for new haskellers on OS X, for all that i've never quite managed to ever pin down a simple test case to replicate those problems point being: ghci should do normal dynamic linking for

proposal: separate lists for ghc-cvs commits and ghc-dev chatter

2012-12-05 Thread Carter Schonwald
hey all, It seems to me (and i've certainly heard other people echo this sentiment) that: ghc dev chatting gets buried in the huge volume of commit + build report emails, and that creates (perhaps) another barrier to involvement in ghc dev at the hobbyist (rather than part time/full time ) scale?

Re: Hoopl vs LLVM?

2012-12-11 Thread Carter Schonwald
Cool info! Would love to see that report if you can dig it up :) -Carter On Tue, Dec 11, 2012 at 2:16 PM, Simon Peyton-Jones simo...@microsoft.comwrote: | In my opinion we should only implement optimizations in Hoopl that | LLVM cannot do due to lack high-level information that we might

Re: Mailing list reorganisation

2012-12-12 Thread Carter Schonwald
indeed! when can we anticipate this rollout! also: props to all for such a rapid concensus on this topic! :) -carter On Wed, Dec 12, 2012 at 11:11 AM, Niklas Larsson metanik...@gmail.comwrote: Sounds good, even if one wants to receive everything it's much easier to robustly filter the

Re: How do we best make sure {Int,Word,Float,Double} to {Int,Word,Float,Double} conversions stay efficient

2012-12-14 Thread Carter Schonwald
A related question I have is that I've some code that will map the singleton Nats to Ints, and last time I looked into this/ had a chat on the ghc-users list, it sounded like sometimes having Integer values constructed in between are unavoidable. Is that still the case with post 7.6.1 ghc? (And

Re: How do we best make sure {Int,Word,Float,Double} to {Int,Word,Float,Double} conversions stay efficient

2012-12-14 Thread Carter Schonwald
. I hope I'm explaining clearly, if not I'll be happy to try to elaborate further -Carter On Fri, Dec 14, 2012 at 5:12 PM, Sean Leather leat...@cs.uu.nl wrote: On Fri, Dec 14, 2012 at 10:47 PM, Ian Lynagh wrote: On Fri, Dec 14, 2012 at 04:34:29PM -0500, Carter Schonwald wrote: A related

Re: Fundeps and type equality

2013-01-10 Thread Carter Schonwald
so the overlapping type families are in HEAD? Awesome! I look forward to finding some time to try them out :) On Thu, Jan 10, 2013 at 1:56 PM, Richard Eisenberg e...@cis.upenn.eduwrote: For better or worse, the new overlapping type family instances use a different overlapping mechanism than

Re: Fundeps and type equality

2013-01-11 Thread Carter Schonwald
On Jan 10, 2013, at 3:14 PM, Carter Schonwald carter.schonw...@gmail.com wrote: so the overlapping type families are in HEAD? Awesome! I look forward to finding some time to try them out :) On Thu, Jan 10, 2013 at 1:56 PM, Richard Eisenberg e...@cis.upenn.eduwrote: For better or worse

Re: Fundeps and type equality

2013-01-11 Thread Carter Schonwald
UndecidableInstances, but the only potential harm that extension can cause is for GHC to hang; your program will still be guaranteed not to crash if it compiles. Enjoy hacking with types! Richard On Jan 11, 2013, at 3:52 PM, Carter Schonwald wrote: One thing thats unclear (or at least implicit) about

Re: GHC 7.8 release?

2013-02-07 Thread Carter Schonwald
johan, how do you and Bryan have those jenkin's nodes setup? (I'm planning to setup something similar for my own use, and seeing how thats setup would be awesome) thanks -Carter On Thu, Feb 7, 2013 at 10:55 PM, Johan Tibell johan.tib...@gmail.comwrote: On Thu, Feb 7, 2013 at 6:48 PM, Ben

Re: GHC 7.8 release?

2013-02-07 Thread Carter Schonwald
johan, how do you and Bryan have those jenkin's nodes setup? (I'm planning to setup something similar for my own use, and seeing how thats setup would be awesome) thanks -Carter On Thu, Feb 7, 2013 at 10:55 PM, Johan Tibell johan.tib...@gmail.comwrote: On Thu, Feb 7, 2013 at 6:48 PM, Ben

Re: GHC 7.8 release?

2013-02-08 Thread Carter Schonwald
+10^100 to Johan and Manuel. Breaking changes on pieces that aren't experimental is the main compatibility / new version pain, and I say this as someone who's spent time before and around the 7.4 and 7.6 releases testing out lots of major packages and sending a few patches to various maintainers.

Re: GHC 7.8 release?

2013-02-10 Thread Carter Schonwald
Yes, exactly this. A release where the versions of base, and all other baked in libraries are only minor version bumps and where breaking changes are localized to relatively experimental language features / extensions and GHC specific APIs would ideal. Eg: I'm OK having to patch ghc-mod so it

Re: GHC 7.8 release?

2013-02-10 Thread Carter Schonwald
Well said. Having a more aggressive release cycle is another interesting perspective. On Feb 10, 2013 6:21 PM, Gabriel Dos Reis g...@integrable-solutions.net wrote: On Sun, Feb 10, 2013 at 3:16 PM, Ian Lynagh i...@well-typed.com wrote: On Sun, Feb 10, 2013 at 09:02:18PM +, Simon

Re: GHC 7.8 release?

2013-02-11 Thread Carter Schonwald
Agreed. having relatively bug free technology preview releases, which (perhaps ideally) have new functionality included in a way that keeps the breakage overhead lowish, on a regular basis, is ideal. one thought on the api hacking front: the main concern we're hitting is that we want to not pin

online docs for GHC head seem to be stale

2013-02-24 Thread Carter Schonwald
Hey All, I've been looking around in the documentation online for the current ghc head, and it looks to lack any information on the new SIMD ops. then i noticed the time stamp: http://www.haskell.org/ghc/dist/current/docs/html/libraries/ so those docs are from December? Whats needed to be done

Re: Release plans

2013-03-20 Thread Carter Schonwald
A 7.7 snapshot would be useful for me in a number of ways: a) I often spend some time prior to recent GHC releases trying to build all the various major packages, and often send in patches to maintainers during that window (or at least the start of patches). Having a fixed snapshot release that

Re: Release plans

2013-03-21 Thread Carter Schonwald
likewise! just having that precise tagged info for how to pick a stable code state for ghc + associated libraries even if it wasn't a full dev preview release would make me a lot less conservative about using HEAD ghc more often / even as my default On Wed, Mar 20, 2013 at 9:57 PM, Conrad Parker

Re: Missing snapshots

2013-05-12 Thread Carter Schonwald
huh you're right! I seem to recall that that snapshots hadn't been updated since december while they were still up though... On Sun, May 12, 2013 at 8:10 AM, Mateusz Kowalczyk fuuze...@fuuzetsu.co.ukwrote: -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Greetings, On the GHC download page

Re: nightly builds: empty directory

2013-05-20 Thread Carter Schonwald
Henning, you can git clone ghc from github and follow the directions on the trac wiki to build your own ghc they will correspond with head. On Monday, May 20, 2013, Henning Thielemann wrote: The page http://www.haskell.org/ghc/**downloadhttp://www.haskell.org/ghc/download refers to

Re: PSA: GHC can now be built with Clang

2013-06-26 Thread Carter Schonwald
Isaac, Austin and I have actually just been email introduced to Tom, so excellent timing :) Happily, we've got a direct contact with the apple folks working on llvm / clang via a friend of mine, and thus in turn Tom and some others. The most important piece is making sure the Clang patches land

Re: Overloaded record fields

2013-06-30 Thread Carter Schonwald
at the risk of contributing to this bike shedding discussion, I'd like to chime in: Lets not break compose. Also: why not something nearly as simple that ISN'T used already, eg (.$) operator or something? (.) has enough overloading of what it can mean already! Now we have that (.) means 3

Re: A possible alternative to dot notation for record access

2013-06-30 Thread Carter Schonwald
indeed, this relates / augments record puns syntax already in GHC http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#record-puns . Otoh, would there be any ambiguity wrt applying functions to blocks? eg f = (+ 1) h= f {let x = 7 in 3*x}, would that trip up the syntax?

Re: [Haskell-iPhone] Can anyone help me test GHC-iOS compiler?

2013-08-11 Thread Carter Schonwald
What if you build a copy of head with the native code gen. Then build the cross compiler using head on head? On Sunday, August 11, 2013, Luke Iannini wrote: And the truly final word for the moment : ) — I built a tool to partially automate the indentation workaround for LLVM 3.0 and it yields

Re: Executables using GHC API require dynamic linking in GHC 7.7

2013-09-27 Thread Carter Schonwald
Hey Christian, did you build ghc and libs I both Dylib and static ways? TH uses ghci, and ghci on OS X and a few other platforms uses the system dylinker, so it may be that you've only built certain libs the static way, but ghci requires the dynamic way as of 7.7 Please let me know if that helps.

Re: Linux deployment requirements for GHC-produced binaries

2013-10-09 Thread Carter Schonwald
I remember Tim Dysinger telling me some incantations needed to statically link Gmp into the static binary before deployment. I'll pester him to re remember what's needed, but the point is there's a way. On Wednesday, October 9, 2013, Yitzchak Gale wrote: You may need to resort to strace to

Re: Linux deployment requirements for GHC-produced binaries

2013-10-09 Thread Carter Schonwald
that you need to know the precise OS / Distro a client is using before you give them a binary, but might make the process much simpler overall (despite its relative hackiness) On Wed, Oct 9, 2013 at 2:22 PM, Carter Schonwald carter.schonw...@gmail.com wrote: I remember Tim Dysinger telling me

Re: Linux deployment requirements for GHC-produced binaries

2013-10-09 Thread Carter Schonwald
NB: I'm told that building ghc with integer-simple doesn't work on linux?! (though the person who told me this may not have filed a ticket about this on trac, so i'm not sure if its still an issue with ghc head or not ) On Wed, Oct 9, 2013 at 2:47 PM, Carter Schonwald carter.schonw...@gmail.com

Re: love for hpc?

2013-11-06 Thread Carter Schonwald
Evan, if you want to get involved in working on HPC, go for it! theres many many pieces of ghc that need more proactive ownership. i should probably use HPC a bit as i start getting my numerical libs out, and i'm sure future me will appreciate current you working on making it better -Carter

Re: match_co: needs more cases

2013-11-07 Thread Carter Schonwald
specialize only fires on functions that have type class constraints / are part of a type class. Furthermore, the function needs to be marked INLINEABLE or INLINE for specialization to work (unless the specialize pragma was written in the defining module) not sure if that helps, cheers -Carter

Re: GHC error message on type mismatch

2013-11-07 Thread Carter Schonwald
i'm not sure how change the words to synonyms helps communicate the exact same thing better, :) That said, once you start digging into really really fancy types, you'll certainly discover examples where the error messages are confusing and need some care to better communicate what is indeed the

Re: Adding new library dependencies to GHC

2013-11-12 Thread Carter Schonwald
Hey Alex, very very cool! a few thoughts: ghc stage1 has no GHCI, and thus can't build / use a lib that has template haskell. LLVM-General uses template haskell pretty heavily to generate the FFI code! see

Re: memory ordering

2013-12-20 Thread Carter Schonwald
Hey John, so you're wanting atomic reads and writes? I'm pretty sure that you want to use atomic memory operations for this. I believe Ryan Newton has some tooling you can use right now for that. On Fri, Dec 20, 2013 at 3:57 AM, Christian Höner zu Siederdissen choe...@tbi.univie.ac.at wrote:

Re: memory ordering

2013-12-22 Thread Carter Schonwald
(although I have no reason to believe it's wrong either). Perhaps I'm just overly paranoid. John Lato On Fri, Dec 20, 2013 at 9:05 AM, Carter Schonwald carter.schonw...@gmail.com javascript:_e({}, 'cvml', 'carter.schonw...@gmail.com'); wrote: Hey John, so you're wanting atomic reads

Re: Excellent bikeshedding opportunity! Frontend syntax for pattern synonym types

2013-12-22 Thread Carter Schonwald
i'm confused, are these types ever human writeable? If not, are they meant to be an operational way of communicating how a pattern works? In which case, wouldn't having the pattern definition visible in the haddocks be a simpler way to communicate it? There have been several projects in the past

Re: memory ordering

2013-12-31 Thread Carter Schonwald
I suspect it's not by design, because there's certainly plans to make them inline primops, and the reordering issue of the cmm optimizer hasn't come up in the design discussion previously. (And I should add those notes to the associated tickets) On Tuesday, December 31, 2013, Edward Z. Yang

Re: Mips64el Linux Build

2014-01-04 Thread Carter Schonwald
hey Cherry, thanks for noting this. could you file a ticket on trac? (though adding it to the cross compiling notes on the wiki is great too) cheers -Carter On Sun, Dec 15, 2013 at 10:32 PM, cherry cherry.m...@gmail.com wrote: Hello, I am new to the list, though I have been using GHC for a

Re: Problem with the object file name of the Main module.

2014-01-12 Thread Carter Schonwald
Christian, have you tried using cabal? People write cabal files with multiple executables being generated all the time. On Sunday, January 12, 2014, Christian Brolin wrote: H. The documentation (version 7.6.3) section 7.7.2 Output files says that the source file name of the Main module does

Re: Problem with the object file name of the Main module.

2014-01-13 Thread Carter Schonwald
. It works, but it has its drawbacks. On 2014-01-12 17:23, Carter Schonwald wrote: Christian, have you tried using cabal? People write cabal files with multiple executables being generated all the time. On Sunday, January 12, 2014, Christian Brolin wrote: H. The documentation (version

Re: Enabling TypeHoles by default

2014-01-13 Thread Carter Schonwald
+1. Will any freevariable be considered a type hole? Or just _blah and _ ? On Mon, Jan 13, 2014 at 2:07 PM, Erik Hesselink hessel...@gmail.com wrote: I think that's a good idea. It was also suggested in a reddit thread [0] a year ago, and it doesn't seem like that thread has any arguments

RFC: include a cabal-install executable in future GHC releases

2014-01-19 Thread Carter Schonwald
Hey everyone, I'd like to propose that GHC releases 7.8.1 onwards include a cabal-install (aka cabal) executable, but not include the library deps of cabal-install that aren't already distributed with ghc.(unless ghc should have those deps baked in, which theres very very good reasons not to

Re: RFC: include a cabal-install executable in future GHC releases

2014-01-19 Thread Carter Schonwald
and then ./bootstrap # cabal install thingsIwannaTry to # install ghc via some wget and make #cabal install nice things On Sun, Jan 19, 2014 at 7:11 PM, Mikhail Glushenkov the.dead.shall.r...@gmail.com wrote: Hi, On Mon, Jan 20, 2014 at 1:02 AM, Carter Schonwald carter.schonw...@gmail.com

Re: RFC: include a cabal-install executable in future GHC releases

2014-01-19 Thread Carter Schonwald
-kiki.orgwrote: Hear hear! This would be most welcome. On Mon, Jan 20, 2014 at 2:14 AM, Carter Schonwald carter.schonw...@gmail.com wrote: that still requires some discovery though! The idea (i'd hope) would be to make the my first ghc install on a vm (for experts and new folks both) go from

Re: RFC: include a cabal-install executable in future GHC releases

2014-01-21 Thread Carter Schonwald
GHC and no other version on a new machine. A separate binary distribution of cabal-install should be more than adequate for that and it avoids coupling GHC to other things. So a weak -1. On 20/01/2014 00:02, Carter Schonwald wrote: Hey everyone

Re: RFC: include a cabal-install executable in future GHC releases

2014-01-22 Thread Carter Schonwald
ANYWAYS :) the point is: there is a nonzero population of haskell folks who want to use ghc + cabal-install on a machine where they may not have admin / package manager powers, AND it requires some amount of cabal-install familiarity (or asking around) to find out about the ./boot-strap script

Re: Static values language extension proposal

2014-01-24 Thread Carter Schonwald
Hey Facundo, thanks for sharing this proposal. several questions: 0) I think you could actually implement this proposal as a userland library, at least as you've described it. Have you tried doing so? 1) what does this accomplish that can not be accomplished by having various nodes agree on a

Re: Static values language extension proposal

2014-01-25 Thread Carter Schonwald
anyways 1) you should (once 7.8 is out) evaluate how far you can push your ideas wrt dynamic loading as a user land library. If you can't make it work as a library and can demonstrate why (or how even though it works its not quite satisfactory), thats signals something! But I really think

Re: Static values language extension proposal

2014-01-28 Thread Carter Schonwald
...@gmail.comwrote: On Tue, Jan 28, 2014 at 7:53 AM, Mathieu Boespflug m...@tweag.io wrote: On Sat, Jan 25, 2014 at 7:12 PM, Carter Schonwald carter.schonw...@gmail.com wrote: 1) you should (once 7.8 is out) evaluate how far you can push your ideas wrt dynamic loading as a user land library. If you

Re: Static values language extension proposal

2014-01-30 Thread Carter Schonwald
indeed! Thanks erik! On the paralllel list, edkso shares with us a single commit that adds all the requested features as a user land lib https://github.com/haskell-distributed/distributed-static/commit/d2bd2ebca5a96ea5df621770e98bfb7a3b745bc7 @tweag folks, please do not write personal attacks

Re: target audience for the binary distribution

2014-02-08 Thread Carter Schonwald
its important to note that this is still a release candidate! Your feedback means we can try to support you better with the final OFFICIAL 7.8.1 release! :) seriously, thanks for taking the time to try out the RC, please holler with any other issues you hit On Sat, Feb 8, 2014 at 1:43 PM,

Re: 7.8.1, template haskell, and dynamic libraries

2014-02-08 Thread Carter Schonwald
Yes. (And thence ghc itself is then invoked with dynamic or dynamic-too) On Saturday, February 8, 2014, harry volderm...@hotmail.com wrote: The docs for 7.8.1 say Template Haskell must now load dynamic object files, not static ones. Does this mean that, if I'm using Template Haskell, every

Re: 7.8.1, template haskell, and dynamic libraries

2014-02-09 Thread Carter Schonwald
Indeed. The problem is that many folks might have cabal config files that explicitly disable shared. (For the compile times!). They might need clear information about wiping that field. On Sunday, February 9, 2014, Brandon Allbery allber...@gmail.com wrote: On Sun, Feb 9, 2014 at 9:28 AM,

Re: RHEL/EPEL 5 ghc packages

2014-02-09 Thread Carter Schonwald
please holler if you need help backporting 7.6 and 7.8 please :) On Sun, Feb 9, 2014 at 8:49 PM, Jens Petersen peter...@fedoraproject.orgwrote: Hi, I wanted to mention some newer ghc builds I have made for RHEL5. EPEL5 currently has ghc-6.12.3 in stable, but I have built ghc-7.0.4 which

Re: ghc-7.8.1 and stm

2014-02-18 Thread Carter Schonwald
Huh. I've just been assuming STM is a user land lib! Been installing it from hackage... On Tuesday, February 18, 2014, Joachim Breitner nome...@debian.org wrote: Hi David, Am Dienstag, den 18.02.2014, 14:12 -0800 schrieb David Fox: It seems to me that the stm library that is supposed to be

Re: 7.8.1, template haskell, and dynamic libraries

2014-02-18 Thread Carter Schonwald
hey Albert, could you open a ticket on ghc Trac about the QuasiQuot thing? On Tue, Feb 18, 2014 at 9:48 PM, Albert Y. C. Lai tre...@vex.net wrote: The new dynamism is pretty nice! I even used GHC 7.6.3 to build cabal-install 1.18, then played with PATH so that when I said cabal install mtl

Re: RFC: include a cabal-install executable in future GHC releases

2014-02-22 Thread Carter Schonwald
Bump! have we reached any consensus on the different variations of this proposal? a) i seem to recall some of the cabal maintainers expressing interest in hosting binaries for major platforms b) some sort of platform-lite thats the ghc bin dist + cabal-install, targeted at folks using haskell

Re: RFC: include a cabal-install executable in future GHC releases

2014-02-23 Thread Carter Schonwald
...@hotmail.com wrote: Carter Schonwald wrote b) some sort of platform-lite thats the ghc bin dist + cabal-install, targeted at folks using haskell on server rather than desktop envs -- there was a bunch of strong support for this (esp those using haskell and aren't on the major linux distros

Re: RFC: include a cabal-install executable in future GHC releases

2014-02-23 Thread Carter Schonwald
Umm, then it wouldn't be lite! Most of the libs in Haskell platform aren't needed in the server context. Ghc + builtin libs/bind + cabal-install is what I really mean. :-) On Sunday, February 23, 2014, harry volderm...@hotmail.com wrote: Carter Schonwald wrote Let's not get off track

Re: Problem with cabal's --enable-library-coverage on 7.8.1rc2

2014-03-07 Thread Carter Schonwald
try using real GCC i have these directions https://gist.github.com/cartazio/7131371 On Fri, Mar 7, 2014 at 10:47 AM, Federico Mastellone fma...@gmail.comwrote: Hi, On Mac OS X 10.9.2 with ghc 7.8.0.20140228 and cabal 1.18.0.3 Doing: cabal configure --enable-library-coverage cabal build

Re: Problem with cabal's --enable-library-coverage on 7.8.1rc2

2014-03-07 Thread Carter Schonwald
7, 2014, at 13:10, Carter Schonwald carter.schonw...@gmail.com wrote: try using real GCC i have these directions https://gist.github.com/cartazio/7131371 On Fri, Mar 7, 2014 at 10:47 AM, Federico Mastellone fma...@gmail.comwrote: Hi, On Mac OS X 10.9.2 with ghc 7.8.0.20140228 and cabal

Re: Problem with cabal's --enable-library-coverage on 7.8.1rc2

2014-03-09 Thread Carter Schonwald
not fail with 7.6.3 ld: illegal text reloc in '_enablezmlibraryzmcoveragezm0zi0zi1_Library_sendMsg2_info' to '__hpc_tickboxes_enablezmlibraryzmcoveragezm0zi0zi1_Util_hpc' for architecture x86_64 collect2: error: ld returned 1 exit status On Mar 7, 2014, at 16:58, Carter Schonwald carter.schonw

Re: Problem with cabal's --enable-library-coverage on 7.8.1rc2

2014-03-09 Thread Carter Schonwald
to ask here first. I'll do it now On 09/03/2014, at 11:41, Carter Schonwald carter.schonw...@gmail.com wrote: Ok. What cabal package? Have you filed a bug report on ghc trac? On Sunday, March 9, 2014, Federico Mastellone fma...@gmail.com wrote: Downloaded gcc-4.9 binary from http

Re: Problem with cabal's --enable-library-coverage on 7.8.1rc2

2014-03-10 Thread Carter Schonwald
on 7.6.3 even with a correct code coverage report, but fails to build with the linking error under 7.8-rc2. When I add the “other-modules” it works on both. On Mar 9, 2014, at 17:26, Carter Schonwald carter.schonw...@gmail.com wrote: great! Thanks for taking the time to shrink the bug, look

Re: positive type-level naturals

2014-03-16 Thread Carter Schonwald
You can't with type lits. The solver can only decide concrete values :( You'll have to use a concrete peano Nats type instead. I've been toying with the idea that the type lits syntax should be just that, a type level analogue of from integer that you can give to user land types, but I'm not

Re: PROPOSAL: Literate haskell and module file names

2014-03-16 Thread Carter Schonwald
Idk, this behavior of doing Data.Vector.lhs seems pretty awesome. I actually might start doing that. That ghc allows that seems pretty darn awesome. And handy too On Sunday, March 16, 2014, Merijn Verstraaten mer...@inconsistent.nl wrote: My personal approach would have been to make ghc

Re: positive type-level naturals

2014-03-16 Thread Carter Schonwald
its a special Thing that just uses Integer internally, but because it doenst provide a PEANO api, we can't do computations on it :'( On Sun, Mar 16, 2014 at 10:37 AM, Henning Thielemann lemm...@henning-thielemann.de wrote: Am 16.03.2014 14:35, schrieb Carter Schonwald: You can't

Re: positive type-level naturals

2014-03-16 Thread Carter Schonwald
respectfully, The current typeLits story for nats is kinda a fuster cluck to put it politely . We have type lits but we cant use them (well, we can't compute on them, which is the same thing). For the past 2 years, every ghc release cycle, I first discover, then have to communicate to everyone

Re: positive type-level naturals

2014-03-17 Thread Carter Schonwald
specifically in this case because it was so useful. I hope this is helpful! Richard On Mar 16, 2014, at 4:52 PM, Henning Thielemann lemm...@henning-thielemann.de wrote: Am 16.03.2014 20:02, schrieb Carter Schonwald: respectfully, The current typeLits story for nats is kinda a fuster cluck

Re: positive type-level naturals

2014-03-18 Thread Carter Schonwald
that by saying (n-1) a bunch, you're bound to reach 0. I'm glad it's working for you. When I discovered this application for closed type families, I was rather pleased, myself! Richard On Mar 17, 2014, at 4:01 PM, Carter Schonwald wrote: I had to enable undecidable instances, but I'm very very

Re: positive type-level naturals

2014-03-18 Thread Carter Schonwald
) termination checker to know that by saying (n-1) a bunch, you're bound to reach 0. I'm glad it's working for you. When I discovered this application for closed type families, I was rather pleased, myself! Richard On Mar 17, 2014, at 4:01 PM, Carter Schonwald wrote: I had to enable undecidable

Re: Eta Reduction

2014-04-01 Thread Carter Schonwald
Can we throw some whole program partial evaluation with a termination decision oracle into the mix? On Tuesday, April 1, 2014, John Lato jwl...@gmail.com wrote: I think this is a great idea and should become a top priority. I would probably start by switching to a type-class-based seq, after

Re: Buildbots

2014-04-01 Thread Carter Schonwald
hey all, I just exported the igloo builder code from darcs to git, and put it here https://github.com/cartazio/ghc-builder would this be something worth adding to github.com/haskell ? (i can easily add it if other folks it should be surfaced more visibly) On Tue, Apr 1, 2014 at 11:04 AM, Páli

Re: Buildbots

2014-04-01 Thread Carter Schonwald
good to know (i assumed it was in working order from your remarks) I think making it more surfaced / discoverable might enable a lot more volunteer build bots (which is an issue aside from maintaining it) of course, officially moving it to github should be with ian's blessing, its mostly his

Re: 7.8.1 cabal install of vector package (dependent on primitive package) fails

2014-04-09 Thread Carter Schonwald
i bet you have cabal --version reply with 1.16 :) 1) cabal update 2) cabal install cabal-install 3) rm ~/.cabal/config # old pre 1.18 config should go! 4) cabal update # also probably add ~/.cabal/bin to path 5) cabal install vector On Wed, Apr 9, 2014 at 11:24 PM, Vivian McPhail

Re: how to compile non-dynamic ghc-7.8.2 ?

2014-04-25 Thread Carter Schonwald
@john, what version of cabal-install were you using? (i realize you're probably using the right one, but worth asking :) ) On Fri, Apr 25, 2014 at 12:25 PM, John Lato jwl...@gmail.com wrote: On Apr 25, 2014 5:36 AM, Bertram Felgenhauer bertram.felgenha...@googlemail.com wrote: John Lato

Re: RFC: include a cabal-install executable in future GHC releases

2014-05-03 Thread Carter Schonwald
I think there's now hosted official cabal install binaries online. I'm Afk but they should be a short google away. Should be linked more prominently though On Saturday, May 3, 2014, Ashley Yakeley ash...@semantic.org wrote: So I want to install GHC + cabal on a new system, building cabal

Re: Using mutable array after an unsafeFreezeArray, and GC details

2014-05-09 Thread Carter Schonwald
Any chance you could try to use storable or unboxed vectors? On Friday, May 9, 2014, Brandon Simmons brandon.m.simm...@gmail.com wrote: On May 9, 2014 5:13 PM, Edward Z. Yang ezy...@mit.edujavascript:_e(%7B%7D,'cvml','ezy...@mit.edu'); wrote: Hello Brandon, Excerpts from Brandon

Re: Using mutable array after an unsafeFreezeArray, and GC details

2014-05-09 Thread Carter Schonwald
true enough On Fri, May 9, 2014 at 7:55 PM, Edward Z. Yang ezy...@mit.edu wrote: Excerpts from Carter Schonwald's message of 2014-05-09 16:49:07 -0700: Any chance you could try to use storable or unboxed vectors? Neither of those will work if, at the end of the day, you need to store

Re: vector and GeneralizedNewtypeDeriving

2014-05-14 Thread Carter Schonwald
this is an issue i'll be running into shortly, otoh I don't think many folks are writing new unboxed vector instances and related engineering :) On Wed, May 14, 2014 at 10:02 PM, John Lato jwl...@gmail.com wrote: Hi Richard, Thanks for pointing me to the ticket; I agree that's the issue

Re: GHCJS now runs Template Haskell on node.js - Any interest in out of process TH for general cross compilation?

2014-07-02 Thread Carter Schonwald
wow, this is great work! If theres a clear path to getting the generic tooling into 7.10, i'm all for it :) (and willing to help on concrete mechanical subtasks) On Wed, Jul 2, 2014 at 12:14 PM, Luite Stegeman stege...@gmail.com wrote: hi all, I've added some code [1] [2] to GHCJS to make

Re: GHCJS now runs Template Haskell on node.js - Any interest in out of process TH for general cross compilation?

2014-07-02 Thread Carter Schonwald
This would probably be a great boon for those trying to use haskell for Android and IOS right? how might the emulation setup work for those? On Wed, Jul 2, 2014 at 2:20 PM, Carter Schonwald carter.schonw...@gmail.com wrote: wow, this is great work! If theres a clear path to getting

Re: GHCJS now runs Template Haskell on node.js - Any interest in out of process TH for general cross compilation?

2014-07-05 Thread Carter Schonwald
=org.metasepi.ajhc.android.cube this was made with Kiwamu's ajhc branch but code has been merged back into the main tree. On Wed, Jul 2, 2014 at 5:54 PM, Carter Schonwald carter.schonw...@gmail.com wrote: This would probably be a great boon for those trying to use haskell for Android

Re: Cross compiling for Cortex A9

2014-07-07 Thread Carter Schonwald
could you share the output of ghc --info? On Tue, Jul 8, 2014 at 12:10 AM, Michael Jones m...@proclivis.com wrote: I am having problems building a GHC cross compiler for Linux (Yocto on a Wandboard) running on a Cortex A9, and need some advice on how to debug it. The cross compiler produces

Re: Cross compiling for Cortex A9

2014-07-08 Thread Carter Schonwald
on,False) ,(LibDir,/usr/local/lib/arm-unknown-linux-gnueabi-ghc-7.8.2) ,(Global Package DB,/usr/local/lib/arm-unknown-linux-gnueabi-ghc-7.8.2/package.conf.d) ] On Jul 7, 2014, at 10:42 PM, Carter Schonwald carter.schonw...@gmail.com wrote: could you share the output of ghc --info

Re: Old code broken by new Typeable class

2014-08-05 Thread Carter Schonwald
i assume 7.6 and 7.8, if we're talking GHC rather than GCC :) in 7.8 you can't define userland typeable instances, you need only write deriving (Typeable) and you're all set. add some CPP to select the instances suitable On Tue, Aug 5, 2014 at 12:41 PM, Volker Wysk vertei...@volker-wysk.de

Re: Old code broken by new Typeable class

2014-08-05 Thread Carter Schonwald
more concretely #if defined(__GLASGOW_HASKELL__) ( __GLASGOW_HASKELL__ = 707) --- do the deriving version here #else --- your current stuff #endif On Tue, Aug 5, 2014 at 12:46 PM, Carter Schonwald carter.schonw...@gmail.com wrote: i assume 7.6 and 7.8, if we're talking GHC rather than GCC

Re: Old code broken by new Typeable class

2014-08-05 Thread Carter Schonwald
schrieb Carter Schonwald: i assume 7.6 and 7.8, if we're talking GHC rather than GCC :) in 7.8 you can't define userland typeable instances, you need only write deriving (Typeable) and you're all set. add some CPP to select the instances suitable So you need to be able to change

Re: 'import ccall unsafe' and parallelism

2014-08-14 Thread Carter Schonwald
if your computation in the C call takes more than 400 nano seconds, the overhead of the safe ffi convention is less onerous and you should do that when applicable. an alternative is so use forkOn to setup a worker thread on various GHC capabilities, and have them in parallel work on different

Re: 'import ccall unsafe' and parallelism

2014-08-14 Thread Carter Schonwald
have a smart wrapper around you ffi call, and if when you think the ffi call will take more than 1 microsecond, ALWAYS use the safe ffi call, i do something like this in an FFI i wrote, it works great On Thu, Aug 14, 2014 at 1:20 PM, Christian Höner zu Siederdissen choe...@tbi.univie.ac.at

Re: 'import ccall unsafe' and parallelism

2014-08-14 Thread Carter Schonwald
actually a great idea, especially since the safe variants of the calls are already in place. * Carter Schonwald carter.schonw...@gmail.com [14.08.2014 23:10]: have a smart wrapper around you ffi call, and if when you think the ffi call will take more than 1 microsecond, ALWAYS use the safe

Re: Revival: PROPOSAL: Literate haskell and module file names

2014-08-16 Thread Carter Schonwald
i personally think the .format+lhs pattern/convention is a good one, and prevents any misinterpretations that current plague literate tools + willl be treated as an unknown format rather than eagerly as .format or .lhs On Sat, Aug 16, 2014 at 5:05 PM, Merijn Verstraaten mer...@inconsistent.nl

Re: hmatrix-0.16.0.4 installation problem

2014-08-21 Thread Carter Schonwald
You need to pass cabal the extra includes and extra lib dirs flags with the explicit paths to the lib and include folders that have your blas and lapack. The logic in hmatrix can only check stadard paths. On Thursday, August 21, 2014, Adrian Victor Crisciu acris...@gmail.com wrote: Hi, Yes,

Re: hmatrix-0.16.0.4 installation problem

2014-08-22 Thread Carter Schonwald
What Linux distro? If you're on an unusual distro You might just need to patch the build process to look up the right names. Also have you contacted the hmatrix maintainer to ask him for help. HMATRIX does have an issue tracker on github etc On Friday, August 22, 2014, Adrian Victor Crisciu

  1   2   >