simplification
- Daniel Jurjo, Jose F. Morales, Pedro Lopez-Garcia and Manuel
V. Hermenegildo. A rule-based approach for designing and composing
abstract domains
- Marija Kulas. A term matching algorithm and substitution generality
- Marco Carbone, Sonia Marin and Carsten Schuermann. A Logical
, Denmark
Bishoksan Kafle, IMDEA Software Institute, Spain
PUBLICITY CHAIR
Daniel Jurjo Rivas, IMDEA Software Institute, Spain
PROGRAM COMMITTEE MEMBERS
Slim Abdennadher, German International University, Egypt
José Júlio Alferes, Universidade Nova de Lisboa, Portugal
Roberto Amadini, University
page limit.
Further information is available at the ICFP SRC website:
https://icfp23.sigplan.org/track/icfp-2023-student-research-competition
### PROGRAM COMMITTEE
Daniel Hillerström (Huawei Research Center Zurich) (co-chair)
J. Garrett Morris (University of Iowa) (co-chair)
Kathy Gray (Meta)
Leo Stefa
, please contact the PC
chairs, Daniel Hillerström (daniel.hillerst...@ed.ac.uk) and Max
S. New (maxs...@umich.edu).
Deadline for talk proposals: May 31, 2023 (Wednesday)
Notification of acceptance: June 29, 2023 (Thursday)
Workshop: September 4, 2023 (Monday)
The submission
page limit.
Further information is available at the ICFP SRC website:
https://icfp23.sigplan.org/track/icfp-2023-student-research-competition
### PROGRAM COMMITTEE
Daniel Hillerström (Huawei Research Center Zurich) (co-chair)
J. Garrett Morris (University of Iowa) (co-chair)
Kathy Gray (Meta)
Leo Stefa
the PC
chairs, Daniel Hillerström (daniel.hillerst...@ed.ac.uk) and Max
S. New (maxs...@umich.edu).
Deadline for talk proposals: May 31, 2023 (Wednesday)
Notification of acceptance: June 29, 2023 (Thursday)
Workshop: September 4, 2023 (Monday)
The submission website is now open
CHAIRS
Robert Glück, University of Copenhagen, Denmark
Bishoksan Kafle, IMDEA Software Institute, Spain
PUBLICITY CHAIR
Daniel Jurjo Rivas, IMDEA Software Institute, Spain
PROGRAM COMMITTEE MEMBERS
Slim Abdennadher, German International University, Egypt
José Júlio Alferes, Universidade Nova de
, please contact the PC
chairs, Daniel Hillerström (daniel.hillerst...@ed.ac.uk) and Max
S. New (maxs...@umich.edu).
Deadline for talk proposals: May 31, 2023 (Wednesday)
Notification of acceptance: June 29, 2022 (Wednesday)
Workshop: September 4, 2023 (Monday)
The submission
CHAIRS
Robert Glück, University of Copenhagen, Denmark
Bishoksan Kafle, IMDEA Software Institute, Spain
PUBLICITY CHAIR
Daniel Jurjo Rivas, IMDEA Software Institute, Spain
PROGRAM COMMITTEE MEMBERS
Slim Abdennadher, German International University, Egypt
José Júlio Alferes, Universidade Nova de
022-student-research-competition<https://urldefense.com/v3/__https://icfp22.sigplan.org/track/icfp-2022-student-research-competition__;!!IBzWLUs!BWY51CxuXm5QH6dQzowetuo2RrpAYiHyKR1D5Kep-384zPOhNBucz8w7B7D0Zkdv_TVvyQYJFYDt7A$>
### PROGRAM COMMITTEE
Danel Ahman (University of Ljubljana) (co-chair)
Ma
I don't have a really strong opinion, but... isn't this (attaching string-y
data to source constructs) pretty much exactly what GHC's annotation pragma
is for?
~d
On Tue, Oct 16, 2018 at 3:14 PM Ben Gamari wrote:
> Vladislav Zavialov writes:
>
> > What about introducing -fno-warn-pragma=XXX?
want to hang out with us, and have a good time!
Greetings from Daniel, and the other BP-HUG organizers.
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
out with us, and have a good time!
Greetings from Daniel, and the other BP-HUG organizers.
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
time!
Greetings from Daniel, and the other BP-HUG organizers.
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Hi John,
for the Haskell source modification part I've written hsimport[1].
For finding a certain symbol in the moduls of the dependencies of
a project, there's the 'findsymbol' command of a more recent hdevtools[2].
There's also vim-hsimport[3] combining the two.
Greetings,
Daniel
[1] https
all cases is the
easier support for any Haskell tooling operating with the Haskell source
if all cases are part of the AST.
Greetings,
Daniel
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://mail.haskell.org/cgi-bin/mailman
:
Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University)
Sanjit A. Seshia (University of California, Berkeley)
Publicity Chair:
Daniel Bundala (University of California, Berkeley)
PROGRAM COMMITTEE:
Elvira Albert (Complutense University of Madrid)
Nikolaj Bjorner (Microsoft
)
Sanjit A. Seshia (University of California, Berkeley)
Publicity Chair:
Daniel Bundala (UC Berkeley)
PROGRAM COMMITTEE:
Elvira Albert (Complutense University of Madrid)
Nikolaj Bjorner (Microsoft Research)
Evan Chang (University of Colorado, Boulder)
Ernie Cohen (University of Pennsylvania)
Jyotirmoy
ByteString types,
therefore I don't quite get where GHC sees here any conflicts.
Greetings,
Daniel
[1] https://github.com/aslatter/parsec/blob/master/Text/Parsec/Prim.hs
[2]
https://github.com/dan-t/Gamgine/blob/master/Gamgine/Image/PNG/Internal/Parser.hs
a Stream instance on this one?
Greetings,
Daniel
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
gets a bloated data section by putting lots april strings
into it. ;)
Greetings,
Daniel
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
)
Sanjit A. Seshia (University of California, Berkeley)
Publicity Chair:
Daniel Bundala (UC Berkeley)
PROGRAM COMMITTEE:
Elvira Albert (Complutense University of Madrid)
Nikolaj Bjorner (Microsoft Research)
Evan Chang (University of Colorado, Boulder)
Ernie Cohen (University of Pennsylvania
:-)
Cheers,
Daniel
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
and CORE to binary
votes: 13, answers: 2
Read on SO: [30] http://goo.gl/Qto29m
* How to ship an executable with Language.Haskell.Interpreter?
votes: 13, answers: 0
Read on SO: [31] http://goo.gl/JptPyG
Until next time,
[32]+Daniel Santa Cruz
References
1. http://nikita
, Carnegie Mellon University)
Sanjit A. Seshia (University of California, Berkeley)
Publicity Chair:
Daniel Bundala (UC Berkeley)
PROGRAM COMMITTEE:
Elvira Albert (Complutense University of Madrid)
Nikolaj Bjorner (Microsoft Research)
Evan Chang (University of Colorado, Boulder)
Ernie Cohen
: [41] http://goo.gl/gu80ZL
* Is it possible to encode a generic “lift” function in Haskell?
votes: 7, answers: 2
Read on SO: [42] http://goo.gl/R9B8N5
* Haskell Expression Equivalents
votes: 6, answers: 1
Read on SO: [43] http://goo.gl/t54YiS
Until next time,
[44]+Daniel
/RROrVM
* How much does Haskell/GHC memoize?
votes: 9, answers: 1
Read on SO: [88] http://goo.gl/PuUKt4
Until next time,
[89]+Daniel Santa Cruz
References
1. http://www.kronosnotebook.com/haskell
2.
http://www.reddit.com/r/haskell/comments/2r43q0/kronos_haskell_notebook_mac_app
Until next time,
[76]+Daniel Santa Cruz
References
1.
https://ocharles.org.uk/blog/posts/2014-12-01-24-days-of-ghc-extensions.html
2.
http://www.reddit.com/r/haskell/comments/2nyy5z/24_days_of_ghc_extensions_welcome/
3. http://howistart.org/posts/haskell/1
4. http://www.reddit.com/r
://goo.gl/BbEWOM
Until next time,
[32]+Daniel Santa Cruz
References
1.
http://www.wilfred.me.uk/blog/2014/10/20/the-fastest-bigint-in-the-west/
2.
http://www.reddit.com/r/haskell/comments/2jt37u/ghc_uses_gmp_and_its_performance_is_nothing_short/
3. https://vimeo.com/109613639
4.
http
something
different, so yes, the type Foo should be hidden too.
Greetings,
Daniel
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
on SO: [45] http://goo.gl/Pajd4R
* Printing out Haskell's evaluation (rewriting) steps for
educational/learning purposes. Is it possible?
votes: 9, answers: 3
Read on SO: [46] http://goo.gl/Wlfeol
Until next time,
[47]+Daniel Santa Cruz
References
1. https://s3.amazonaws.com
it might be a good idea to
throw an error.
Greetings,
Daniel
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
:
https://launchpad.net/~hvr/+archive/ubuntu/ghc
Greetings,
Daniel
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
, answers: 1
Read on SO: [49] http://goo.gl/jacb0r
* Ambiguous type variable fixed with type equality constraint
votes: 6, answers: 1
Read on SO: [50] http://goo.gl/JADmBj
Until next time,
[51]+Daniel Santa Cruz
References
1. http://scrambledeggsontoast.github.io/2014/09/28/needle
://goo.gl/L4WmV4
* What are the differences between layers and extensible-effects?
votes: 11, answers: 2
Read on SO: [43] http://goo.gl/9K0gLz
Until next time,
[44]+Daniel Santa Cruz
References
1.
http://www.reddit.com/r/haskell/comments/2hes8m
]+Daniel Santa Cruz
References
1. http://blog.chucklefish.org/?p=154
2.
http://www.reddit.com/r/haskell/comments/2glk10/wayward_tide_is_being_written_in_haskell/
3. http://callcc.io/hython-the-simplest-possible-language/
4.
http://www.reddit.com/r/haskell/comments/2go4v6
: 2
Read on SO: [45] http://goo.gl/EAh0qc
* How can the continuation monad be expressed using the free monad?
votes: 10, answers: 3
Read on SO: [46] http://goo.gl/ymMoFw
Until next time,
[47]+Daniel Santa Cruz
References
1.
http://www.haskellforall.com/2014/09/morte
implementation does?
votes: 9, answers: 4
Read on SO: [42] http://goo.gl/zdxgAM
Until next time,
[43]+Daniel Santa Cruz
References
1. http://standardmarkdown.com/
2.
http://www.reddit.com/r/haskell/comments/2fgtuu/pandoc_author_working_with_industry_on_markdown/
3.
https
votes: 11, answers: 2
Read on SO: [39] http://goo.gl/b8YbtB
* Why does FRP consider time as a factor for values?
votes: 10, answers: 2
Read on SO: [40] http://goo.gl/Yo65J8
Until next time,
[41]+Daniel Santa Cruz
References
1. https://github.com/mattgreen/hython
2
] http://goo.gl/fBKheg
Until next time,
[46]+Daniel Santa Cruz
References
1. http://chrisuehlinger.com/LambdaBubblePop/
2. http://www.reddit.com/r/haskell/comments/2eak9t/%CE%BB_bubble_pop/
3.
http://blog.ezyang.com/2014/08/the-fundamental-problem-of-programming-language-package
, answers: 2
Read on SO: [44] http://goo.gl/b3IgC5
Until next time,
[45]+Daniel Santa Cruz
References
1.
https://hackage.haskell.org/package/acme-lookofdisapproval-0.1/docs/Acme-LookOfDisapproval.html
2.
http://www.reddit.com/r/haskell/comments/2dce3d/%E0%B2%A0_%E0%B2%A0_string_a/
3
by using
strict evaluation?
votes: 14, answers: 2
Read on SO: [62] http://goo.gl/Ey9795
* How does lifting (in a functional programming context)
relate to category theory?
votes: 14, answers: 1
Read on SO: [63] http://goo.gl/esTTbO
Until next time,
[64]+Daniel
having it directly at the instance declaration,
which seems to be one of the major points for OVERLAPPING and OVERLAPPABLE.
Greetings,
Daniel
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo
are some examples of type-level programming? [closed]
votes: 11, answers: 3
Read on SO: [49] http://goo.gl/fowZ6b
* QuickCheck Gen is not a monad
votes: 11, answers: 1
Read on SO: [50] http://goo.gl/hiJ0q8
Until next time,
[51]+Daniel Santa Cruz
References
1. http://new
://goo.gl/6iFG8a
Until next time,
[46]+Daniel Santa Cruz
References
1. http://haskelldata.com/
2.
http://www.reddit.com/r/haskell/comments/296l80/today_i_published_an_introductory_book_on_haskell/
3. http://plv.mpi-sws.org/backpack/
4.
http://www.reddit.com/r/haskell/comments/28v6c9
list?
votes: 14, answers: 2
Read on SO: [45] http://goo.gl/B5Na0a
Until next time,
[46]+Daniel Santa Cruz
References
1. https://github.com/facebook/Haxl
2. http://www.reddit.com/r/haskell/comments/27sv88/haxl_on_github/
3. http://www.dohaskell.com/
4. http://www.reddit.com/r
://goo.gl/R40i7q
* How much overhead does sparking incur?
votes: 11, answers: 1
Read on SO: [40] http://goo.gl/ixWkKL
Until next time,
[41]+Daniel Santa Cruz
References
1. http://chrisdone.com/posts/haskell-lang
2.
http://www.reddit.com/r/haskell/comments/26rilp
On Friday 30 May 2014, 23:42:57, Caitlin wrote:
Hi all.
I was just wondering if an updated release for the Haskell Platform was
planned in the neat future? The current schedule lists November of last
year as being the time for release candidates..
Thanks,
~Caitlin
Yes, the
and explicitly.
If a central tool like GHC adds this behaviour, then all other
tools are forced to follow.
Greetings,
Daniel
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
are allocated
votes: 22, answers: 2
Read on SO: [37] http://goo.gl/qfKo2a
* Which part of Real World Haskell is now obsolete or considered bad
practise?
votes: 22, answers: 1
Read on SO: [38] http://goo.gl/EtT51x
Until next time,
[39]+Daniel Santa Cruz
References
1. https
I just hit a similar error the other day. I think the gist of it is that
there are two perfectly good types, and neither is more general than the
other. A slightly different example shows why more clearly:
foo (AInt i) = (3 :: Int)
Now, what type should this have?
foo :: Any a - a
foo :: Any
time,
[37]+Daniel Santa Cruz
References
1. http://steamcommunity.com/sharedfiles/filedetails/?id=107105028
2.
http://www.reddit.com/r/haskell/comments/24fw5k/nikki_and_the_robots_foss_haskell_game_has_been/
3.
http://www.reddit.com/r/haskell/comments/24hjak
names can get quite bulky.
So using module names to origanize the code and to classifiy
its meaning might be a bit too much.
Well, just some thoughts.
Greetings,
Daniel
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http
this with the PackageImports extension.
I think several of the issues might be resolved by just using the package name
as the first module name.
Greetings,
Daniel
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http
random package sits (then DoCon is also
installed for the user and not globally), or
- install random in the global package database, `cabal install --global
random` so that `runghc Setup.hs ...` finds the package in the global DB.
Cheers,
Daniel
a comparison
function (a - a - Bool) and a value instead of
a predicate (a - Bool)?
votes: 6, answers: 1
Read on SO: [31] http://goo.gl/Wd9evy
Until next time,
[32]+Daniel Santa Cruz
References
1. http://www.haskell.org/pipermail/haskell/2014-April/024137.html
2. http
On Wednesday 09 April 2014, 23:42:26, Carter Schonwald wrote:
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
There should be a
a monad?
votes: 6, answers: 1
Read on SO: [32] http://goo.gl/xZZ5iO
* Deriving default instances using GHC.Generics
votes: 6, answers: 1
Read on SO: [33] http://goo.gl/Autu6r
Until next time,
[34]+Daniel Santa Cruz
References
1. http://www.well-typed.com/blog/90/
2. http
, answers: 2
Read on SO: [30] http://goo.gl/6MJk5C
* Running Haskell on Xeon-Phi
votes: 14, answers: 1
Read on SO: [31] http://goo.gl/QEIayp
Until next time,
[32]+Daniel Santa Cruz
References
1.
http://www.haskellforall.com/2014/03/introductions-to-advanced-haskell
use :module to put any of its public modules in scope
with (Safe or otherwise), am I right? If so, that should explain what you are
observing…
Daniel
On 17 Mar 2014, at 14:10, Fabian Bergmark fabian.bergm...@gmail.com wrote:
I downloaded aeson and modified Data.Aeson to be trustworthy and I can
://goo.gl/E31zjJ
* Haskell - Lenses, use of 'to' function
votes: 7, answers: 1
Read on SO: [38] http://goo.gl/5A028y
* What does PINNED mean in -hc profile of Haskell program?
votes: 6, answers: 1
Read on SO: [39] http://goo.gl/Qx9eJB
Until next time,
[40]+Daniel Santa Cruz
/k81E1h
* How to implement B+ tree in Haskell?
votes: 9, answers: 2
Read on SO: [48] http://goo.gl/lkwh8Z
* Delimiting the IO monad
votes: 9, answers: 2
Read on SO: [49] http://goo.gl/x3RlXO
Until next time,
[50]+Daniel Santa Cruz
References
1. http
: daniel-diaz.github.io, Score: 42, Comments: 14
On Reddit: [7] http://goo.gl/1UTbdL
Original: [8] http://goo.gl/2DbE5I
* Haskell.org SSL rollout
Domain: hackage.haskell.org, Score: 41, Comments: 9
On Reddit: [9] http://goo.gl/2DvgLX
Original: [10] http://goo.gl/M0QwMh
On Fri, Nov 08, 2013 at 12:01:13AM -0800, Evan Laforge wrote:
When I write my own typecheck msgs, I always write Function expected
X, but received Y. That's not too far off from expected / actual,
though at least it has an explicit subject.
That's perfectly fine, because 'Function +
this reasoning.
It's strange, because normaly I can memorize such things quite good,
but this one bothers me.
Perhaps it would be easier for myself if 'Actual type' would be called
e.g. 'Given type', I don't know, that just one of the two has a less
generic meaning.
Greetings,
Daniel
', like others have suggested: 'Provided' or 'Supplied'.
Greetings,
Daniel
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
”?
votes: 8, answers: 1
Read on SO: [52] http://goo.gl/kCdUsL
* How to use the maybe monoid and combine values with
a custom operation, easily?
votes: 8, answers: 3
Read on SO: [53] http://goo.gl/BpL8NK
Until next time,
[54]+Daniel Santa Cruz
References
1. http
/fCbPE2
* Simulating a spring/damper system in Yampa
votes: 9, answers: 1
Read on SO: [38] http://goo.gl/zQ50Ao
Until next time,
[39]+Daniel Santa Cruz
References
1. http://ghc.haskell.org/trac/ghc/wiki/Status/Oct13
2.
http://www.reddit.com/r/haskell/comments/1opw22
the data structures holding the complete module
information.
So there's presumably little hope to get this information faster, right?
Greetings,
Daniel
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org
:: HscEnv - RdrName - IO (Messages, Maybe [Name])
By this version the returned names by tcRnLookupRdrName are empty and
also the returned messages are empty, or 'printBagOfErrors' doesn't
output anything for them.
Greetings,
Daniel
___
Glasgow-haskell
'.
Any ideas?
Greetings,
Daniel
Without '-A':
-
dan@machine ~ ghc-mod-dev find showWindows +RTS -s -N4
XMonad.Util.XUtils
980,770,296 bytes allocated in the heap
552,122,168 bytes copied during GC
163,683,152 bytes maximum residency (11 sample(s))
4,369,800
Ok, I think I got it. The cpu-cores are spending most of their time
doing GC, by reducing the GC time the cpu-cores don't have anything
left to do.
Seems like a really great parallel algorithm ;).
Greetings,
Daniel
___
Glasgow-haskell-users mailing
Awesome work, Jan. I'm looking forward to playing around with the new libs!
As a side note, what did you use to generate your email? Did you manage all
the footnotes by hand?
Daniel
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http
on SO: [45] http://goo.gl/jQjNJW
* Why are Haskell Maps implemented as balanced binary trees instead of
traditional hashtables?
votes: 7, answers: 3
Read on SO: [46] http://goo.gl/nZaLGV
Until next time,
[47]+Daniel Santa Cruz
References
1. http://bartoszmilewski.com/2013/09
on SO: [45] http://goo.gl/jQjNJW
* Why are Haskell Maps implemented as balanced binary trees instead of
traditional hashtables?
votes: 7, answers: 3
Read on SO: [46] http://goo.gl/nZaLGV
Until next time,
[47]+Daniel Santa Cruz
References
1. http://bartoszmilewski.com/2013/09
not generate a binary despite no errors shown
votes: 6, answers: 1
Read on SO: [45] http://goo.gl/PAv1oQ
Until next time,
[46]+Daniel Santa Cruz
References
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo
not generate a binary despite no errors shown
votes: 6, answers: 1
Read on SO: [45] http://goo.gl/PAv1oQ
Until next time,
[46]+Daniel Santa Cruz
References
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman
Interesting idea. It seems like building this on top of REPA would save a
lot of work, since it has a native notion of rank encoded in the type
system. I'd then see the APL-like combinators as a niche API for REPA,
rather than as a library of their own. And of course, you'd get
parallelization for
]+Daniel Santa Cruz
References
1. http://www.reddit.com/r/haskell/comments/1lboh4/announcing_ghc_ios/
2. http://www.reddit.com/r/haskell/comments/1lboh4/announcing_ghc_ios/
3. http://www.haskellcast.com/episode/001-edward-kmett-on-lenses/
4.
http://www.reddit.com/r/haskell/comments/1l45c3
]+Daniel Santa Cruz
References
1. http://www.reddit.com/r/haskell/comments/1lboh4/announcing_ghc_ios/
2. http://www.reddit.com/r/haskell/comments/1lboh4/announcing_ghc_ios/
3. http://www.haskellcast.com/episode/001-edward-kmett-on-lenses/
4.
http://www.reddit.com/r/haskell/comments/1l45c3
Yes, that GHC ticket shows that this problem is well known.
Thank you.
On Fri, Aug 30, 2013 at 2:19 AM, Ben Lippmeier b...@ouroborus.net wrote:
On 30/08/2013, at 2:38 AM, Daniel Díaz Casanueva wrote:
While hacking in one of my projects, one of my modules stopped to
compile for apparently
appropriate.
Thank you,
Daniel Díaz.
-- References
[1] -
https://github.com/ghc/ghc/blob/ghc-7.6.3-release/compiler/main/DynFlags.hs#L2266
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
of the form: Option{..} -
votes: 10, answers: 1
Read on SO: [24] http://goo.gl/HY3FWY
Until next time,
[25]+Daniel Santa Cruz
References
1. http://ocharles.org.uk/blog/posts/2013-08-18-asteroids-in-netwire.html
2.
http://www.reddit.com/r/haskell/comments/1kmes7
of the form: Option{..} -
votes: 10, answers: 1
Read on SO: [24] http://goo.gl/HY3FWY
Until next time,
[25]+Daniel Santa Cruz
References
1. http://ocharles.org.uk/blog/posts/2013-08-18-asteroids-in-netwire.html
2.
http://www.reddit.com/r/haskell/comments/1kmes7
this, that the haskell platform packages should
be the first place to look at, than this could be also achieved by
sorting the search results.
It's a bit pointless, if I have to know the package, where I want to
search in.
Greetings,
Daniel
___
Haskell-Cafe
expressions?
votes: 10, answers: 1
Read on SO: [36] http://goo.gl/6cdTd1
Until next time,
[37]+Daniel Santa Cruz
References
1.
http://haskell.cs.yale.edu/wp-content/uploads/2013/08/hask035-voellmy.pdf
2.
http://www.reddit.com/r/haskell/comments/1k6fsl
expressions?
votes: 10, answers: 1
Read on SO: [36] http://goo.gl/6cdTd1
Until next time,
[37]+Daniel Santa Cruz
References
1.
http://haskell.cs.yale.edu/wp-content/uploads/2013/08/hask035-voellmy.pdf
2.
http://www.reddit.com/r/haskell/comments/1k6fsl
Hi, everyone, I have a question about `compileToCoreModule` function from
the GHC module.
I noticed that the following code not just outputs the Core code, but also
produces object files and a linked executable (in case when 'test.hs' is a
program):
---
module Main where
Can you please elaborate why this inconsistency is annoying and what's the
use of OneTuple?
Genuine question,
thanks.
On Fri, Aug 16, 2013 at 5:35 AM, AntC anthony_clay...@clear.net.nz wrote:
There's an annoying inconsistency:
(CustId 47, CustName Fred, Gender Male) -- threeple
On Mon, Aug 19, 2013 at 9:48 PM, jabolo...@google.com wrote:
Hi,
Hello!
What is the proper way to implement a non-monadic function that checks
whether a given value is correct and gives a proper error message
otherwise ? What is the recommended option ?
I am not sure, what do you mean
at this animation, created with a simple recursive function:
http://daniel-diaz.github.io/projects/processing/mill.html
The code is here:
https://github.com/Daniel-Diaz/processing/blob/master/examples/mill.hs
== What's new? ==
After a couple of weeks working hard to have this library properly working,
I
What I have always done to solve this is to create a custom Setup.hs.
Something like:
Setup.hs
-
import Distribution.Simple
main :: IO ()
main = doThisBeforeInstall defaultMain
-
Then you specify in your .cabal file that the Build-Type is Custom.
Best regards,
Daniel
* Cabal - Expose all modules while building library
votes: 6, answers: 1
Read on SO: [30] http://goo.gl/C8lKJB
* What are Alternative's “some” and “many” useful for?
votes: 6, answers: 4
Read on SO: [31] http://goo.gl/o4lLGy
Until next time,
[32]+Daniel Santa Cruz
* Cabal - Expose all modules while building library
votes: 6, answers: 1
Read on SO: [30] http://goo.gl/C8lKJB
* What are Alternative's “some” and “many” useful for?
votes: 6, answers: 4
Read on SO: [31] http://goo.gl/o4lLGy
Until next time,
[32]+Daniel Santa Cruz
Introducing: restricted-workers library, version 0.1.0.
This library provides an abstract interface for running various kinds
of workers under resource restrictions. It is being developed as part
of the interactive-diagrams project and you can read more about the
origins of the library in my GSoC
a C
function?
Greetings,
Daniel
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Read on SO: [32] http://goo.gl/YCrsX3
* A library implementation of a recursion scheme
votes: 8, answers: 1
Read on SO: [33] http://goo.gl/DdYPtw
Until next time,
[34]+Daniel Santa Cruz
References
1.
http://www.twitch.tv/bethesda?utm_campaign=live_embed_clickutm_source
Read on SO: [32] http://goo.gl/YCrsX3
* A library implementation of a recursion scheme
votes: 8, answers: 1
Read on SO: [33] http://goo.gl/DdYPtw
Until next time,
[34]+Daniel Santa Cruz
References
1.
http://www.twitch.tv/bethesda?utm_campaign=live_embed_clickutm_source
The higher universe levels are mostly used to stave off logical paradoxes
in languages where you care about that kind of stuff. In a fundamentally
impredicative language like Haskell I don't see much point, but I'd be
happy to find there is one :)
On Thu, Aug 1, 2013 at 4:55 PM, Wvv
I second this.
Also, I would like to point out that the product you get from Hackage
(the source code) will be licensed under the GPL. Nobody can get the
commercial version of the product from Hackage, as one has to contact
you (the owner) directly or in some other manner.
I guess that is what
1 - 100 of 2702 matches
Mail list logo
