Re: [Haskell-cafe] Probably type checker error.

Not just a proposal any more. :-) GHC 7.0 does not generalize local let bindings in some situations. See here for information: http://hackage.haskell.org/trac/ghc/blog/LetGeneralisationInGhc7 > There is a proposal (from Big Simon) to remove let-generalization: > http://research.microsoft.com/en-u

Re: [Haskell-cafe] ANN: mecha-0.0.5

If the purpose is just to visualize the model then there are easier ways to do so that generating a polygonal representation and rendering that. See these for more info: * http://www.opencsg.org/ * http://www.nigels.com/research/ -Corey O'Connor coreyocon...@gmail.com http://corebotll

Re: [Haskell-cafe] Announce: lhae

Cool! Good work IMO. -Corey O'Connor coreyocon...@gmail.com http://www.coreyoconnor.com On Fri, Sep 3, 2010 at 7:10 AM, abau wrote: > lhae is a spreadsheet program. It features a simple formula language and > some basic statistical methods, like descriptive statistics and piv

Re: [Haskell-cafe] Docs on the current and future constraint solver?

of the branch? http://darcs.haskell.org/ghc-new-tc/ghc/ Cheers, Corey O'Connor ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Docs on the current and future constraint solver?

On Thu, Jul 15, 2010 at 12:57 AM, Simon Peyton-Jones wrote: > Corey > > | On 14 July 2010 18:39, Corey O'Connor wrote: > | > I believe I have run headlong into issue #3064 in ghc > | > (http://hackage.haskell.org/trac/ghc/ticket/3064). All I think I know > |

Re: [Haskell-cafe] Docs on the current and future constraint solver?

a > constraint solver that supports type families, GADTs and type classes. Sounds like it's a long paper with good reason ;-) I will start working my way through it. Thanks for the information. Cheers, Corey O'Connor > On 14 July 2010 18:39, Corey O'Connor wrote: >> I be

[Haskell-cafe] Docs on the current and future constraint solver?

olver will differ from the current? I think I located one page on the new solver: http://hackage.haskell.org/trac/ghc/wiki/TypeFunctionsSolving Cheers, Corey O'Connor ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailma

Re: [Haskell-cafe] problem getting cabal-install to work on CentOS 5.2

I suspect CentOS might disable execute permissions on anything under /tmp. To verify this just try creating a simple sh script under /tmp and executing it directly with ./test.sh. -Corey O'Connor On Mon, Apr 12, 2010 at 5:05 AM, Chris Dornan wrote: > Hi, > > > > I am try

Re: [Haskell-cafe] ANNOUNCE: vty-ui 0.1

l! I'll be sure to test these out when working on Vty :-D Thanks! Corey O'Connor ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: ANN: vty-4.0.0.1 released

On Sat, Sep 5, 2009 at 2:30 PM, John Pybus wrote: > Corey O'Connor gmail.com> writes: > Err, I haven't paid my 86 Francs to find out, but ISO-10464 appears to specify > testing regimes for gas cylinders -- a very worthy thing to do, but seemingly > unrelated to

[Haskell-cafe] ANN: vty-4.0.0.1 released

Vty is a terminal UI library. Release 4.0.0.1 brings a number of important fixes, features, and performance enhancements. - Completely rewritten output backend. - Efficient, "scanline rasterization" style output span generator. Has not been fully optimized, but should be fast enough. - Terminfo

Re: [Haskell-cafe] Using type families to define runtime representation and evaluation strategy?

cannot do. :-) > Also related might be the new paper "Types are calling conventions" >From the abstract it does sound related. Thanks! I'll add it to my reading >pile. Cheers, Corey O'Connor ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Using type families to define runtime representation and evaluation strategy?

y the evaluation strategy should be definable in parallel to the equations when possible. Strictness annotations already resemble the start of such a construct. And any such construct would have to be able to take the place of strictness annotations. Cheers, Corey O'Connor

[Haskell-cafe] Re: ANNOUNCE: spacepart-0.1.0.0 (was called data-spacepart)

(Omitted some useful information from original emails. Oops!) Space partition data structures. Currently only a quadtree. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/spacepart On Sun, Feb 15, 2009 at 7:28 PM, Corey O'Connor wrote: > 0.1.0.0 >- Renamed Math.

[Haskell-cafe] ANNOUNCE: spacepart-0.1.0.0 (was called data-spacepart)

based checks. Run with test/run_verify - Cleaned up the module exports. Cheers, Corey O'Connor ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Changing version numbering schemes for HackageDB packages?

maintain to follow this policy. None of them would work well for a date-based scheme. Thanks again, Corey O'Connor ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Changing version numbering schemes for HackageDB packages?

On Wed, Feb 11, 2009 at 2:48 AM, Duncan Coutts wrote: > On Tue, 2009-02-10 at 10:21 -0800, Corey O'Connor wrote: >> I released a new version of data-spacepart that resolved some of the >> issues with the previous release. One issue I had was the previous >> release

Re: [Haskell-cafe] Why does sleep not work?

2009/2/10 George Pollard : >> import System.Posix >> >> main = do >> putStrLn "Waiting for 5 seconds." >> blockSignals $ addSignal sigVTALRM emptySignalSet >> sleep 5 >> putStrLn "Done." >> Huh! Does the G

[Haskell-cafe] Changing version numbering schemes for HackageDB packages?

atest" release according to HackageDB is: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/data-spacepart Which points to the old release. Cheers, -Corey O'Connor ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.hask

Re: [Haskell-cafe] Why does sleep not work?

The POSIX sleep function is defined as: sleep() makes the current process sleep until seconds seconds have elapsed or a signal arrives which is not ignored. Sounds like a signal is arriving that is interrupting the sleep. -Corey O'Connor 2009/2/9 John Ky : > Hi Peter, > &g

Re: [Haskell-cafe] ANN: data-spacepart - space partitioning data structure[s] (initial release)

being able to effectively satisfy other types of requests would be great. -Corey O'Connor On Tue, Jan 27, 2009 at 7:52 PM, Artyom Shalkhakov wrote: > Hello, > > 2009/1/27 Corey O'Connor : >> http://hackage.haskell.org/cgi-bin/hackage-scripts/package/data-spacepart >>

[Haskell-cafe] ANN: data-spacepart - space partitioning data structure[s] (initial release)

for a quality release. However, if you need a quadtree implementation then hopefully this will help. Cheers, Corey O'Connor ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Time for a new logo?

I like the proposed logo even more now that you've pointed out the similarity. :-) -Corey O'Connor 2008/12/14 George Pollard : > ? > > > ___ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.or

Re: [Haskell-cafe] Re: Projects that depend on the vty package?

On Sat, Dec 6, 2008 at 2:21 PM, Simon Michael <[EMAIL PROTECTED]> wrote: > Hi Corey.. I noticed this thread via Haskell Weekly News. > > Corey O'Connor wrote: >> >> For further development of the vty package I'm really only paying >> attention to the r

[Haskell-cafe] Projects that depend on the vty package?

here isn't much information there but it is a great place to send bug reports or enhancement requests if you have them. Cheers, Corey O'Connor ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] FFI and GHCi

I would think there is a command you can embed in the .ghci file that would automate the loading of the object files. But I didn't see one on a quick scan of the manual: http://www.haskell.org/ghc/docs/latest/html/users_guide/ghci-dot-files.html -Corey O'Connor On Tue, Oct 21, 2008

Re: [Haskell-cafe] Build without install, using cabal

oks install_flags = do let package' = package { executables = filter_private_executable (executables package) } instHook user_hooks package' lbi user_hooks install_flags Though that last line may need to read: instHook defaultUserHooks package' lbi user_hooks install_flags

[Haskell-cafe] Troubles getting isA of ArrowIf from HXT 8.10 to work as expected

nst False)" would force the ifA to always descend the False path. This is my first attempt at using HXT and Arrows (Which is otherwise going great!) so I figure I'm missing something. Any ideas? Cheers, Corey O'Connor ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] (OT) Humorous definition for fixed points?

derstanding of fixed points is poor and my jokes always have poor delivery. So I'm sure somebody else can do better. -Corey O'Connor ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Name for Haskell based VPN Client/Server

2008/10/6 wman <[EMAIL PROTECTED]>: > How about HaPN (pronounced as happen), obviously standing for Haskell > Private Network. Whether it's better is a matter of taste ;-) +1 for HaPN Quite catchy IMO. :-) -- -Corey O'Connor __

[Haskell-cafe] Simplifying a IsFunction type class using type equality constraints

Function a b | a -> b > instance (f ~ TTrue) => IsFunction (x->y) f > instance (f ~ TFalse) => IsFunction a f Which, to me, is easier to understand and appears to function the same. The type equality is a stronger (?) constraint than

Re: [Haskell-cafe] Distributing Haskell binaries as OSX App Bundles

est in a Cabal-based flow for creating Mac OS X applications then I'll try to update the code to work with newer versions of Cabal. -- -Corey O'Connor ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] More fun with micro-benchmarks and optimizations. (GHC vs Perl)

On Wed, Jul 23, 2008 at 2:23 PM, Justin Bailey <[EMAIL PROTECTED]> wrote: > On Wed, Jul 23, 2008 at 11:10 AM, Corey O'Connor <[EMAIL PROTECTED]> wrote: >> I still have two questions after all this: >> - Can I get a Haskell implementation as fast as the Perl? &

Re: [Haskell-cafe] More fun with micro-benchmarks and optimizations. (GHC vs Perl)

nt would be to avoid Text.Regex.Posix, which is > algorithmically much worse than the PCRE regexes used by perl. Instead, > try the pcre-light or regex-pcre packages, which have both better > complexity, and operate on efficient bytestrings. > > Finally, there's some small details

[Haskell-cafe] More fun with micro-benchmarks and optimizations. (GHC vs Perl)

the largest performance gain was from changing how each line was read from the file. The lazy read and split seemed very slow compared to a loop that used hGetLine. -- -Corey O'Connor ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Questions about the Functor class and it's use in "Data types à la carte"

Excellent! This has all been very helpful. Thanks a lot everybody! :-) -Corey On 12/14/07, Benja Fallenstein <[EMAIL PROTECTED]> wrote: > Hi Corey, > > On Dec 14, 2007 8:44 PM, Corey O'Connor <[EMAIL PROTECTED]> wrote: > > The reason I find all this odd is b

[Haskell-cafe] Questions about the Functor class and it's use in "Data types à la carte"

late to a functor? Is the type constructor considered a functor? Any help would be, of course, greatly appreciated. -Corey O'Connor ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Language support for imperative code. Was: Re: monad subexpressions

mutable operations can't escape from the IO monad in order to > get away with not having to impose a value restriction as in ML. My theory is weak. Can somebody point me the way to educate myself about the "value restriction" in ML?

Re: [Haskell-cafe] Problems using Storable.poke* from separate OS thread.

the code in GHC that sets this up. - The haskell code is too slow. If a coreaudio IO proc takes too long the system will still call the callback but essentially silence all output. Which is what is consistent with what I observed, but doesn't explain why code after the p

[Haskell-cafe] Problems using Storable.poke* from separate OS thread.

line app. - It's a hack and I'm a beginner so comments are scarce and some code may be strange. ;-) - Assumes ghc 6.6 is installed to /usr/local Any ideas? -- -Corey O'Connor ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe