(sorry for the dupe aaron! forgot to add haskell-cafe to senders list!)
Perhaps the best course of action would be to try and extend cpphs to
do things like this? From the looks of the interface, it can already
do some of these things e.g. do not strip comments from a file:
http://hackage.haskell
Excerpts from Günther Schmidt's message of Thu May 07 14:12:04 -0500 2009:
> Hi,
>
> has anybody recently install the GLFW package on Mac OS X?
>
> It won't install on my machine.
>
> Günther
>
I ran into this problem - with GHC 6.10.2 or above if you try to
install GLFW with cabal install yo
Excerpts from michael rice's message of Sat May 09 14:31:20 -0500 2009:
> Why doesn't this work?
>
> Michael
>
>
>
> data Maybe a = Nothing | Just a
>
> instance Monad Maybe where
> return = Just
> fail = Nothing
> Nothing >>= f = Nothing
> (J
Hello!
Over the past couple of days I've been working on an IRC bot in the
essence of lambdabot; that is, it should be extendable through plugins
and plugins should be easy to write, modify and contribute. I also
wanted the bot to be small in terms of LOC (as of 0.1, about ~360
including the two b
After quite a bit of work and other such stuff, I pretty much totally
rewrote my previous IRC bot and instead updated it from v0.1 to v0.3.
You may wonder where 0.2 went; so do I.
This is basically an entire rewrite (I threw the first one out.) Now
all code can be dynamically hot-swapped via the t
> I recently tried the latest version of HS-PLUGINS, and it gave an error on
> Windows. After a bit of Googling it seemed Conal Elliot had the same
> problem. I reported this problem to the author. This is also (one of) the
> reason why I could not get YI running on Windows.
Currently I believe C
Excerpts from Peter Verswyvelen's message of Wed Jan 09 10:07:46 -0600 2008:
> Is my code incorrect, or is this a (known?) bug in GHC 6.8.2 on Windows?
> I haven't tried the Linux version yet.
The same thing happens on my Windows XP box as it does with yours. On
both windows and my linux box, ghc
> - When using the high-level assembler in X86Assembler, the code buffer
> is automatically protected from overflow.
This one update alone is worth the whole upgrade; while experimenting
with Harpy in several of my own personal compiler-related projects,
the necessity of ensureBufferSize was a m
Recently I've been developing my IRC bot a little further, and in the
midst of it I have come across a very problematic issue that revolves
around GHC-dependencies vs. application-dependencies. The central issue
is ByteString.
Currently, the ghc package depends on bytestring-0.9.0.1. However, the
> gtk >=0.9.12,
> glib >=0.9.12,
> sourceview >=0.9.12,
These are all apart of gtk2hs:
http://haskell.org/gtk2hs/
For my build on Linux I had to pass a --enable-sourceview option to
./configure so that the sourceview package was picked up and built,
but I figure it's probably picked up aut
Sorry Andy! CC'ing to the rest of -cafe in case anybody notices (I
need to stop haskelling so early in the morning...)
On Fri, Jul 16, 2010 at 8:59 AM, austin seipp wrote:
> You also may like one project I wrote, an IRC bot that used hs-plugins
> to do hot code reloading (only works
A reasonable guess (I think, anyway): the reason is because support
for ODBC, Oracle, Postgres etc isn't compiled in by default. You have
to specify it with a flag with cabal install to get support for those
things. But the reason they show up in API docs I would guess is
because Haddock doesn't ch
Hi Jason,
I've had my eye on the 'Takusen' approach for a while. In particular I
think it's a wonderful idea to use the left-fold based interface.
Takusen is also well supported and pretty stable, having been around
for a while.
Despite this, it seems to have a couple faults:
* Few tutorials, as
You can create a wrapper with a newtype and then define an instance for that.
newtype Char2 = Char2 Char
instance Arbitrary Char2 where
arbitrary = ...
You'll have to do some wrapping and unwrapping when calling your
properties to get/set the underlying Char, but this is probably the
easiest w
Excerpts from Justin Bailey's message of Thu Sep 04 17:00:58 -0500 2008:
> Looking at the package, I think would be pretty painful though. It
> seems I'd have to build the AST by hand,
The AST Language.C defines for C is actually fairly regular once you
wrap your head around it - I got it to gene
I'm not getting this issue, but to fix it, given whatever you shell
you use with your terminal (Terminal.app, iTerm, etc) program, just
stick this into the rc file for it:
> export DYLD_LIBRARY_PATH=/opt/local/lib:$DYLD_LIBRARY_PATH
For example, in this case it would exist in my ~/.zshrc - it sho
Excerpts from Andrew Coppin's message of Sun Sep 21 02:44:10 -0500 2008:
> 1. How is putting something into a Cabal package different from just
> handing somebody the source code and telling them to run ghc --make?
Cabal can handle things for you like when your package depends on
external data fi
Excerpts from Rafal Kolanski's message of Sun Sep 21 07:28:37 -0500 2008:
> The best I can find is withImageSurfaceFromPNG, but I can't
> make it work.
Why not? Seems to me all you need to do is:
withImageSurfaceFromPNG "blah.png" $ \surface -> do
...
Lots of code is written this way (creat
Excerpts from Cetin Sert's message of Tue Sep 23 05:55:21 -0500 2008:
> Let's say I go and compile a library from sources and install it through
> Cabal.
> How can I update the binary version of the library Cabal installed after
> recompiling the library using newer/modified sources?
I'm not quite
Excerpts from Dougal Stanton's message of Tue Sep 23 06:09:58 -0500 2008:
> That should happen automatically with cabal-install if the version
> number in the .cabal file has changed.
>
> There doesn't seem to be a good way of forcing cabal-install to
> recreate a build (eg, if you want to rebuild
Excerpts from Magicloud Magiclouds's message of Mon Oct 13 23:58:58 -0500 2008:
> Hi,
> I wanted to install it with cabal. Well
> $ cabal install derive
> Resolving dependencies...
> cabal: Couldn't read cabal file "./derive/0.1.2/derive.cabal"
> As I traced a little, it seemed that line: '
Windows will not let you modify/delete binaries if they're running as a
process, and it won't let you delete .DLL files that're in use by
applications either (mapped to shared memory, that is.) So cabal
install cannot overwrite the cabal.exe binary after it builds it,
because it's already running.
This message is literate haskell.
> {-# LANGUAGE FunctionalDependencies, MultiParamTypeClasses #-}
> {-# LANGUAGE TypeFamilies, EmptyDataDecls, FlexibleContexts #-}
Just to add on for people watching, a fundep pretty much just says that if:
> class Foo a b | a -> b where
> bar :: a -> b
> ba
Excerpts from t.r.willingham's message of Sun Nov 02 17:28:08 -0600 2008:
> What would it take to implement a -j equivalent for, say, GHC? Or if
> this is not possible, what is wrong with my reasoning?
>
> Thanks,
> TW
Hi,
The main issue has to do with the decisions the compiler needs to make
i
Excerpts from Chad Scherrer's message of Tue Nov 04 21:34:01 -0600 2008:
> Does anyone have any thought what it would take to get this going?
>
> Chad
>
Currently, franchise supports building in parallel with a -j flag, but
the code could definitely be optimized (in my experience, running with
s
> Anyway, I don't see it anywhere in the release notes, but I get the vibe
> that type families are supposed to be "fully working" now. Is that
> correct? If so, why no mention anywhere?
Type families have been completely reimplemented and should be stable
now, but there are some bugs - notably
Excerpts from Andrew Coppin's message of Fri Nov 14 14:13:01 -0600 2008:
> Yeah. I figure if I knew enough about this stuff, I could poke code
> numbers directly into RAM representing the opcodes of the machine
> instructions. Then I "only" need to figure out how to call it from
> Haskell. It al
> The usual solution to this is the 'release version', which is used in
> most (all?) other packaging systems. namely, you have foo-1.2-4, where 4 is
> the
> release version which documents what version the meta-info is. For
> instance, when bugs are fixed in the rpm spec file or deb package that
Excerpts from Dmitri O.Kondratiev's message of Sat Nov 22 05:40:41 -0600 2008:
> Please advise how to write Unicode string, so this example would work:
>
> main = do
> putStrLn "Les signes orthographiques inclus les accents (aigus, grâve,
> circonflexe), le tréma, l'apostrophe, la cédille, le tr
> Does anyone have an IRC client hiding somewhere that is console friendly (I
> IRC from a screen session) which is also extensible in Haskell?
>
http://www.haskell.org/hircules/
Last update was over 5 years ago - you could try to still build
it. But it uses gtk2hs, not ncurses.
Personally, I'v
Excerpts from Andrew Coppin's message of Sat Nov 29 03:37:58 -0600 2008:
> Are you seriously asserting that it's "bad" for people to stop and think
> about their designs before building?
To be fair, I don't think you're in a position to say whether the
authors of these libraries took careful cons
Hi Daniel,
> 1. cabal install lhc
> 20 minutes later I have an lhc executable installed (and the graphviz
> package), great, can't be any simpler.
Awesome! Glad it worked for you.
A tidbit: unfortunately, due to a mistake in the first upload of lhc,
you will need to provide an exact version if
Excerpts from lazycat.manatee's message of Tue Dec 02 23:18:50 -0600 2008:
> Hi all,
>
> I have install GHC 6.10.1 and Gtk2hs (darcs version) in Debian.
> So i want to ask, have anyone install Yi (darcs version) with GHC 6.10.1
> successfully?
Yes. cabal install is basically the easiest way to do
Excerpts from Gour's message of Sat Jan 03 03:48:44 -0600 2009:
> Hi!
>
> I'd like to use sqlite3 as application storage in my haskell project...
>
> Browsing the available database options in Haskell it seems that:
>
> a) HSQL is dead (hackage reports build-failure with 6.8 & 6.10)
>
> b) hask
Excerpts from Thomas M. DuBuisson's message of Sat Jan 03 09:22:47 -0600 2009:
> Mandatory contrived example:
>
> > type family AddressOf h
> > type family HeaderOf a
> >
> > -- I'm looking for something to the effect of:
> > type axiom HeaderOf (AddressOf x) ~ x
> >
> > -- Valid:
> > type instanc
Excerpts from Immanuel Litzroth's message of Wed Jan 07 16:53:30 -0600 2009:
> I'm trying to use the new (for me at least) extensible exceptions and
> I am little amazed that I cannot get catch, try or mapException to work
> without telling them which exceptions I want to catch.
> What is the ratio
Excerpts from John A. De Goes's message of Thu Jan 08 12:14:18 -0600 2009:
> But really, what's the point? FFI code is fragile, often uncompilable
> and unsupported, and doesn't observe the idioms of Haskell nor take
> advantage of its powerful language features.
This is a completely unfair ge
Henning,
Thanks for the report. I'm currently investigating this, and think it
should be possible to keep all of the old URLs intact.
On Sat, Aug 10, 2013 at 11:01 AM, Niklas Hambüchen wrote:
> On 11/08/13 00:50, Brandon Allbery wrote:
>> Those at least are recoverable, just replace hpaste.org
>
The message was held by Mailman, because it thought you had too many
recipients in the message. Gershom noticed this while we were doing
some maintenance, and released it. We also bumped the recipient limit
to 20 people, so this shouldn't be a problem again.
On Mon, Sep 16, 2013 at 4:32 PM, Simon
Excerpts from Georg Neis's message of Fri Mar 14 06:38:02 -0500 2008:
> Hello,
>
> I've installed the HFuse package from hackage and am playing with the
> HelloFS example in the System/Posix/HFuse directory.
As far as I know, the package uploaded onto hackage is merely a
cabal-ised version of the
Excerpts from Will Thompson's message of Sun Mar 16 08:37:00 -0500 2008:
> Currently the module's name is HFuse. Presumably it really belongs
> under System somewhere; System.Posix.Fuse maybe? What do folks think?
> Are there any guidelines for picking a namespace?
I don't think there's any sort
> That's all good news; will this release of ByteString be used for GHC 6.8.3?
> I'm a little tired of linking everything against 0.9.0.1 just so I can use Yi
> (since GHC/the-GHC-API links against it). :)
Indeed; this is the biggest issue I have with bytestring right now as
it's interfered with m
Perhaps try:
$ ghc --make -static -optl-static -l x.hs
The -optl-static passes the '-static' argument to ld so it will link
statically; you may also need a copy of a compatable GLUT library in .a
format on your windows machine which should be linked in with -l as well
(where you can get this, I d
)
If memory serves me, there was a version put on hackage a few weeks ago
from that repository that I would think work just as good.
> I gather Austin Seipp has been doing some work on this.
Just playing around. ;)
> Then there's the ghc api, which I gather is seen as the way forward
For the purpose of experimenting with NDP I went through the
process of getting the GHC head from darcs.haskell.org. As
specified in the developer wiki[1], using darcs get is basically
not possible because there're so many patches. So I downloaded
http://darcs.haskell.org/ghc-HEAD-2008-06-06-ghc-
I can replicate this err with 6.8.3 on my macbook (os 10.5.4.) It also
appears to fail with a copy of the GHC HEAD as well:
$ uname -a
Darwin existential.local 9.4.0 Darwin Kernel Version 9.4.0: Mon Jun 9
19:30:53 PDT 2008; root:xnu-1228.5.20~1/RELEASE_I386 i386
$ ghc --version
The Glorious Glasg
>From the looks of the User Accounts page on hackage, Ross Patterson
seems to be responsible, you can contact him here:
[EMAIL PROTECTED]
Austin
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Status update: after checking out the latest HEAD and building it, the
above error does not occur:
$ ~/ghc-head/bin/ghc --version
The Glorious Glasgow Haskell Compilation System, version 6.9.20080720
$ ~/ghc-head/bin/ghc --make DerivingError.hs
:
Warning: -fallow-overlapping-instances is dep
Hi,
After my last issue with GHC's HEAD, I tried checking it out again and
getting the patches for the libraries and lo and behold, it worked. So
now I'm up to date with the latest libraries and the compiler, but it
appears that building NDP itself is proving to be troublesome.
(This is on GHC 6.
Hi Fernando,
> final [] = [] - I consider that the end of an empty list is the empty list
> final [a] = a
> final (_:t) = final t
>
> Suddenly, the function stoped working with a rather cryptic (for a newbie
> at least) error message:
>
> *Temp> final [4,5]
>
> :1:9:
> No instance for (Nu
Hi,
I've just uploaded a package to hackage which is an interface to the
random.org random number generator.
For those who don't know, random.org provides random data through the
use of atmospheric noise rather than a PRNG that would typically be
invoked if you were to use the System.Random modul
Excerpts from Galchin, Vasili's message of Mon Jul 28 21:14:56 -0500 2008:
> ok guys .. what is this "phantom type" concept? Is it a type theory thing or
> just Haskell type concept?
>
> Vasili
Phantom types are more of an idiom than anything else; they are types
with no real concrete representat
Excerpts from Yann Golanski's message of Wed Jul 30 02:34:05 -0500 2008:
> I cannot seem to be able to install yi via cabal install. The error I
> get is as follows. I suspect alex is not installed in the correct
> place.
> ...
Hi,
cabal-install will put installed binaries in $HOME/.cabal/bin
Excerpts from John Dorsey's message of Wed Jul 30 13:58:26 -0500 2008:
> Is something amiss with cabal-install? Shouldn't it have automatically
> installed alex? Or does it only do that with libraries, by design?
AFAICT, dependencies are only downloaded and installed if they are
listed in a .cab
Excerpts from Andrew Coppin's message of Sun Aug 03 04:35:32 -0500 2008:
> Correct me if I'm wrong, but... I was under the impression that Darcs is
> a revision control system. It controls revisions.
>
> Well Darcs already does that. So... what's to develop? It's not like
> it's slow or buggy. I
Excerpts from Galchin, Vasili's message of Wed Aug 06 04:09:58 -0500 2008:
> Is http://hackage.haskell.org/trac/ghc/wiki/GarbageCollectorNotes a
> reliable source of info on the ghc garbage collector?
The page seems to be a little light for the most part, and it does not
seem to take into acc
Hi,
In less than a week I'll be moving to Houston TX in order to start
school at university (University of Houston.) I'm wondering if there
are any functional programmers (particularly haskellers) in that part
of the state? If so, a group meeting and perhaps eventually a
user-group would be lovel
Hi,
Perhaps you are talking about Communicating Haskell Processes (CHP)?
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/chp
Austin
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Excerpts from Guenther Schmidt's message of Thu Jan 29 07:42:51 -0600 2009:
> Hi Austin,
>
> could you post the patch please?
>
> So far there is no updated version of takusen that builds with ghc
> 6.10
>
> Günther
Hi Gunther,
I recently got an email back from Alstair Bayley who is one of th
Excerpts from John Goerzen's message of Fri Jan 30 18:31:00 -0600 2009:
> Why would cabal-install select a different base than running Setup
> manually?
>
> I can't hard-code base >= 4 into .cabal because that would break for
> GHC 6.8 users. I have CPP code that selects what to compile based o
Excerpts from Paulo J. Matos's message of Tue Feb 03 02:31:00 -0600 2009:
> Any references to publications related to this?
While it's not Haskell, this code may be of interest to you:
http://pauillac.inria.fr/~xleroy/bibrefs/Leroy-compcert-06.html
This paper is about the development of a compil
Excerpts from Austin Seipp's message of Tue Feb 03 03:40:47 -0600 2009:
> ...
After noticing that I didn't give a link to the code in the last
message, I searched and found this more up to date page I think:
http://compcert.inria.fr/doc/index.html
> Austin
___
Excerpts from Bulat Ziganshin's message of Mon Mar 02 10:14:35 -0600 2009:
> let's calculate. if at GC moment your program has allocated 100 mb of
> memory and only 50 mb was not a garbage, then memory usage will be 150
> mb
? A copying collector allocates a piece of memory (say 10mb) which is
use
Hi,
(Please note this is coming from my own experience working with the LHC haskell
compiler, as well as a compiler I'm currently working on in SML. I'm
not an authority, but as another greenhorn compiler hacker I thought I
might give some advice.)
Excerpts from Loup Vaillant's message of Sat Mar
Excerpts from Alexander Dunlap's message of Sun Mar 08 00:23:01 -0600 2009:
> For a while now, we have had Data.ByteString[.Lazy][.Char8] for our
> fast strings. Now we also have Data.Text, which does the same for
> Unicode. These seem to be the standard for dealing with lists of bytes
> and charac
Excerpts from Bryan O'Sullivan's message of Sun Mar 08 00:45:03 -0600 2009:
> uvector is, if my memory serves me correctly, a fork of the vector library.
> It uses modern stream fusion, but is under active development and is a
> little scary. I'm a little unclear on the exact difference between uve
Excerpts from John Meacham's message of Mon Mar 09 07:28:25 -0500 2009:
> On Sat, Mar 07, 2009 at 07:45:06PM -0600, Austin Seipp wrote:
> > (On that note, I am currently of the opinion that most of LHC's major
> > deficiencies, aside from a few parser bugs or some needed
Excerpts from Dimitry Golubovsky's message of Wed Mar 11 21:42:14 -0500 2009:
> Hi,
>
> I am trying to process command line arguments that may contain Unicode
> (cyrillic in this example) characters.
>
> The standard GHC's getArgs seems to pass whatever was obtained from
> the underlying C librar
I encountered this problem approximately a month ago building HEAD and
reported it to Ian:
http://www.haskell.org/pipermail/cvs-ghc/2011-November/068562.html
His fix worked - but I was doing a build from source. The problem now
is that this is a -build-time- option, not a runtime option, but
you'
Aside from being a horrible oversimplification of the matter (because
it's *never* that simple - Wikipedia is not in this movement for
commercial interest or the side of SV/HW, but because it opposes the
censoring of the internet; neither are people like Dan Kaminsky, who
are also opposing from the
The strict-ghc-plugin (under my maintenance) is just a continuation of
one of the original demos Max had for plugin support in the compiler.
The idea is fairly simple: 'let' and 'case' are the forms for creating
lazy/strict bindings in Core. It just systematically replaces all
occurrences of 'let'
Personally I prefer just using 'virthualenv' these days, which
installs copies of GHC locally that you can then activate with your
shell, similar to 'virtualenv' in python. It's how I test packages on
multiple copies of GHC.
http://hackage.haskell.org/package/virthualenv
The nicest part is that i
It's a precise GC of course (conservative collection would be madness
considering how much memory Haskell programs chew through.) That still
doesn't ensure your finalizer will run during the next GC even if all the
references are gone by then.
Sent from my iPhone^H^H^H^H^HPortable Turing machine
alizer for,
texture objects or file descriptors are a different matter. Predictability
matters in those cases.
Sent from my iPhone^H^H^H^H^HPortable Turing machine
On Feb 6, 2012, at 10:16 PM, Austin Seipp wrote:
It's a precise GC of course (conservative collection would be madness
considering
If you're writing a library, you need to compile the library with
`-fhpc`, i.e. put it in the library stanza, not the testsuite stanza,
and then you can compile the test program using your library - the
resulting 'tix' file will contain the library coverage reports. You
can link a HPC-built library
Duncan Coutts talked a bit about this on Reddit here:
http://www.reddit.com/r/programming/comments/pfnkx/intel_details_hardware_transactional_memory/c3p4oq7
On Thu, Feb 9, 2012 at 12:43 PM, Ben wrote:
> http://arstechnica.com/business/news/2012/02/transactional-memory-going-mainstream-with-intel
On Sun, Feb 19, 2012 at 6:01 PM, Tom Murphy wrote:
> 0) Distributing non-Cocoa-built apps, even if you're approved by Apple
Do you just mean binaries that you expect users run under
/usr/local/bin or something, not app bundles? If that's the case, I
cannot say if the same restrictions will apply.
On Sun, Feb 19, 2012 at 8:19 PM, Tom Murphy wrote:
> Actually, what I was more concerned about was the ability to
> distribute a "full" Mac application, with a GUI, made with a method
> other than calling Haskell from Objective-C.
> It seems that *none* of these applications will be usable
On Sun, Feb 19, 2012 at 8:39 PM, Tom Murphy wrote:
> On the other hand,
> it's impossible for a software company to maintain a sense of
> professionalism, when a user has to know a weird "secret handshake" to
> disable what they may perceive as equivalent to antivirus software.
I'll also just add
Manuel,
Thanks for the references and follow up. I had seen Kennith's posts
about the new command line tools for XCode, but didn't seen John
Gruber's take! Much appreciated.
On Tue, Feb 21, 2012 at 2:52 AM, Manuel M T Chakravarty
wrote:
> Austin Seipp:
>> On Sun, Feb
It's not exactly hierarchical, but Groom most certainly should help
with getting much prettier output:
http://hackage.haskell.org/package/groom
On Tue, Mar 13, 2012 at 5:33 PM, Johan Tibell wrote:
> Hi all,
>
> The derived Show instance is useful, but I sometimes wish for
> something that's easi
In this case it doesn't matter; while it isn't technically tail
recursive, GCC is very capable of transforming it into a direct loop
likely because it knows about the associative/commutative properties
of "+" so it's able to re-arrange the body as it sees fit since
combined, both calls are in 'tail
The reasoning is outlined in the user manual here:
http://www.haskell.org/ghc/docs/7.4.1/html/users_guide/safe-haskell.html#safe-inference
Basically, these modules will compile without error if they were to be
compiled with -XSafe enabled. Thus, they are safe-inferred. The check
does not scrutini
Hi,
Just a word of note: a while back, I decided to take up maintainership
of Vacuum and some associated stuff. In the process of doing this, I
realized that the ClosureType code in vacuum may not accurately model
reality depending on the GHC version. In particular, the definition of
ClosureType i
vacuum 7.4 for ghc 7.4; vacuum 7.2 for ghc 7.2 aso.
>
> Best regards,
>
> Rico Moorman
>
> On Mon, Jul 2, 2012 at 12:04 PM, Austin Seipp wrote:
>> Hi,
>>
>> Just a word of note: a while back, I decided to take up maintainership
>> of Vacuum and some associate
On Mon, Jul 2, 2012 at 6:56 AM, Ivan Lazar Miljenovic
wrote:
> If you've taken over maintainership, should we remove it from
> haskell-pkg-janitors?
I haven't removed it from haskell-pkg-janitors because I haven't made
a release and the current package points there as the homepage and
source repo
On Mon, Jul 2, 2012 at 7:33 AM, Ivan Lazar Miljenovic
wrote:
> I'm OK with BSD for this. And I understand that copy-pasting
> boilerplate could mess things up ;-)
I think I'll change it then, thanks :)
> There is a 2999.13.* series of graphviz out, I haven't actually tested
> this but I think f
What you are essentially asking for is a refinement on the type of
'BadFoo' in the function type, such that the argument is provably
always of a particular constructor.
The easiest way to encode this kind of property safely with Haskell
2010 as John suggested is to use phantom types and use the mo
drive accessors may, or may not,
work (I suppose it would depend on whether or not the derivation is
prepared to deal with GADTs when invoked, which isn't guaranteed -
Template Haskell is kind of awful like that.)
> Thanks,
>
> Timothy
>
>
> -- Původní zpráva
Hi,
Just a heads up: on Ubuntu 12.04 with GHC 7.4.1 out of apt (no
haskell-platform,) using the bootstrap.sh script fails, because the
constraints for CABAL_VER_REGEXP are too lax:
$ sh ./bootstrap.sh
Checking installed packages for ghc-7.4.1...
Cabal is already installed and the version is ok.
t
Frankly I wouldn't be surprised if snapshots are dodgy, to be quite
honest. As far as I'm aware, most people just build GHC HEAD
themselves, from the git repository. And a snapshot build does not
necessarily guarantee anything works in any case (there could be a
million things wrong in the reposito
This is a rounding error. It will happen in any language due to the
imprecision of floats; for example, using Ruby:
$ irb
1.9.3-p286 :001 > 9.3 - (2 * 4.5)
=> 0.3007
1.9.3-p286 :001 > ^D
$
Read this:
http://floating-point-gui.de/
On Wed, Jan 16, 2013 at 7:25 AM, ivan dragolov wrot
This is pretty much a core idea behind Data Parallel Haskell - it
transforms nested data parallel programs into flat ones. That's
crucial to actually making it perform well and is an algorithmic
change to your program. If you can reason about your program, and
perhaps have an effective cost model f
On Tue, Feb 12, 2013 at 4:47 PM, Nehal Patel wrote:
>
> A few months ago I took the Haskell plunge, and all goes well...
> ... snip ...
> And so my question is, that in 2013, why isn't this process a full fledged
> part of the language? I imagine I just don't know what I'm talking about, so
> co
Patrick,
Dependent types are program types that depend on runtime values. That
is, they are essentially a type of the form:
f :: (a :: X) -> T
where 'a' is a *value* of type 'X', which is mentioned in the *type* 'T'.
You do not see such things in Haskell, because Haskell separates
values from t
There was work ongoing for an ARM port of GHC. See here:
http://tommd.wordpress.com/2010/01/19/ghc-on-arm/
Also see:
http://alpheccar.org/en/posts/show/94
Alpheccar's build uses the work of Stephen Blackheath to cross
compile, which originated in the GHC-iPhone project, based on ghc
6.10.2 I be
I do wonder how Emscripten handles the GHC calling convention that is
part of LLVM. In particular, global register declarations in the RTS
scare me from a side line view, and LLVM's calling convention support
is what makes the combination work at all in a registered environment.
It's currently not
As usual, I'm foolish and forget to hit 'reply to all'. Original
message unedited below, so it can be sent to -cafe.
To answer question #3, pseq and seq are semantically equivalent
(indeed, if you look at the source for Control.Parallel, if you are
not using GHC, pseq is defined as 'pseq = seq'.)
Dan,
I believe there was some work on this functionality for GHC some time
ago (agda-like goals for GHC, where ? in agda merely becomes
'undefined' in haskell.) See:
https://github.com/sebastiaanvisser/ghc-goals
This work was done a few years ago during a hackathon (the 09 Utrecht
hackathon.) Th
Looking at the Core for an utterly trivial example (test x = concatMap
k x where k i = [i..i*2]), the foldr definition seems to cause a
little extra optimization rules to fire, but the result seems pretty
big. The definition using concatMap results in core like this:
main_go2 =
\ (ds_aqV :: [Int
1 - 100 of 113 matches
Mail list logo
