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

2014-05-03 Thread Ashley Yakeley
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 mailto:ash...@semantic.org wrote: So I want to install GHC + cabal on a new system

Re: [Haskell] ANNNOUNCE: lens 3.7 released

2012-12-09 Thread Ashley Yakeley
On 07/12/12 02:19, Edward Kmett wrote: I am happy to announce the release of version 3.7 of the lens package, which provides Lenses, Folds, and Traversals for working with arbitrary data types. Do you use types to index the fields of tuples? It's a good general mechanism to represent the

[Haskell] ANN: time-1.4.0.2

2012-11-25 Thread Ashley Yakeley
of the test-framework package, which does play well with QuickCheck. -- Ashley Yakeley ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

Re: Kind Demotion

2012-09-17 Thread Ashley Yakeley
of applying wrapped types: type family WrapApply (f :: WrappedType) (x :: WrappedType) :: WrappedType type instance WrapApply (WrapType (f :: ka - kfa)) (WrapType (a :: ka)) = WrapType (f a) -- Ashley Yakeley On 17/09/12 06:05, Richard Eisenberg wrote: I see what you're getting

Kind Demotion

2012-09-16 Thread Ashley Yakeley
Now that we have type promotion, where certain types can become kinds, I find myself wanting kind demotion, where kinds are also types. So for instance there would be a '*' type, and all types of kind * would be demoted to values of it. Is that feasible? -- Ashley Yakeley

Re: Kind Demotion

2012-09-16 Thread Ashley Yakeley
f2 MkEqualType - matchWitness a1 a2 return MkEqualType Sadly, this doesn't work, for two reasons. Firstly, there isn't a type for *, etc. Secondly, GHC isn't smart enough to unify two kinds even though you've given it an explicit witness to their equality. -- Ashley Yakeley On 16/09/12

[Haskell] Announce: time-1.3

2011-08-09 Thread Ashley Yakeley
I've uploaded time-1.3 to Hackage. Version 1.3 adds instance RealFrac DiffTime. -- Ashley ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

Re: [Haskell-cafe] Data.Time

2011-07-04 Thread Ashley Yakeley
populated it AFAIK. Have a look at the right/UTC timezone, I think leap-second data is represented there. But zdump right/UTC does not give you the TAI time. Quite the opposite, it gives you the UTC time if your clock is set to TAI. -- Ashley Yakeley

Re: [Haskell-cafe] Data.Time

2011-07-03 Thread Ashley Yakeley
it should be possible to create a Data.Time.Clock.TAI.LeapSecondTable from it. Also, it might be worth creating an OS-specific package that dealt with the filepaths for you, so for instance you could read in a TimeZoneSeries given a time zone name such as America/Los_Angeles. -- Ashley Yakeley

Re: [Haskell-cafe] Fwd: Data.Time

2011-07-02 Thread Ashley Yakeley
-01-30 -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Fwd: Data.Time

2011-07-02 Thread Ashley Yakeley
the C lib behaviour for consistency. In C, %m means %0m in strftime and %-m in strptime. I decided to make it %0m consistently. Also, at least in glibc, the %# modifier does not consistently convert to lower case. In Data.Time it does. -- Ashley Yakeley

Re: [Haskell] ANNOUNCE: time-recurrence-0.1

2011-05-21 Thread Ashley Yakeley
happens. Simply searching into the past for one would never terminate. Either I would have to restrict the language, or assert the beginning of time (not necessarily a bad solution). Anyway, a possible project for you or someone. -- Ashley Yakeley

[Haskell] ANNOUNCE: time-1.2.0.5

2011-05-11 Thread Ashley Yakeley
I've uploaded time-1.2.0.5 to Hackage. Version 1.2.0.5 fixes two parsing issues in 1.2.0.4. Firstly, the default century (in the absence of %C or %Y) is 1969-2068. Formerly it was 1900-1999. http://hackage.haskell.org/trac/ghc/ticket/2671 Secondly, %-, %_ and %0 specifiers can now be used.

[Haskell] ANNOUNCE: time-1.2.0.4

2011-02-02 Thread Ashley Yakeley
: parseTime defaultTimeLocale %e :: Maybe Day -- Just *** Exception: Prelude.read: no parse In time-1.2.0.4, they now correctly evaluate to Nothing. I've updated the unit tests to catch this too. -- Ashley Yakeley ___ Haskell mailing list Haskell

[Haskell-cafe] Re: Re: instance Eq (a - b)

2010-04-19 Thread Ashley Yakeley
, 2010 at 6:37 PM, Ashley Yakeley ash...@semantic.org wrote: Ketil Malde wrote: Do we also want to modify equality for lazy bytestrings, where equality is currently independent of chunk segmentation? (I.e

[Haskell-cafe] Re: instance Eq (a - b)

2010-04-17 Thread Ashley Yakeley
rocon...@theorem.ca wrote: As ski noted on #haskell we probably want to extend this to work on Compact types and not just Finite types instance (Compact a, Eq b) = Eq (a - b) where ... For example (Int - Bool) is a perfectly fine Compact set that isn't finite and (Int - Bool) - Int has a

[Haskell-cafe] Re: instance Eq (a - b)

2010-04-17 Thread Ashley Yakeley
Ketil Malde wrote: Do we also want to modify equality for lazy bytestrings, where equality is currently independent of chunk segmentation? (I.e. toChunks s1 == toChunks s2 == s1 == s2 but not vice versa.) Why is toChunks exposed? -- Ashley Yakeley

[Haskell-cafe] Re: instance Eq (a - b)

2010-04-17 Thread Ashley Yakeley
I wrote: class Compact a where After reading Luke Palmer's message I'm thinking this might not be the best name. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: instance Eq (a - b)

2010-04-15 Thread Ashley Yakeley
. If it ever becomes not V, it's a partial value. If it ever becomes a singleton, it's a complete value. On the other hand, this approach may not help with strict vs. non-strict functions. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe

[Haskell-cafe] Re: instance Eq (a - b)

2010-04-15 Thread Ashley Yakeley
(if it's the same NaN). But this might surprise people expecting IEEE equality, which is probably almost everyone using Float or Double. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo

[Haskell-cafe] Re: Nomic game in Haskell

2010-04-15 Thread Ashley Yakeley
) (Either (Three c f i) (Either (Three a e i) (Either (Three c e g) ))) Player 2 wins, I think. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: Nomic game in Haskell

2010-04-15 Thread Ashley Yakeley
On 2010-04-15 17:39, Dan Piponi wrote: In the service of readability we could also define: data X = X data O In that case we'd want type Three a b c = (a,b,c) ...which is simpler than my GADT. -- Ashley Yakeley ___ Haskell-Cafe mailing list

[Haskell-cafe] instance Eq (a - b)

2010-04-14 Thread Ashley Yakeley
. One can nevertheless make them instances of Bounded with undefined bounds, and have enumFrom and friends always return the empty list. It seems one should also be able to write instance (Bounded a,Enum a) = Traversable (a - b) where ??? But this turns out to be curiously hard. -- Ashley

Re: [Haskell-cafe] instance Eq (a - b)

2010-04-14 Thread Ashley Yakeley
On Wed, 2010-04-14 at 16:11 +1000, Ivan Miljenovic wrote: but the only way you can prove it in Haskell is by comparing the values for the entire domain (which gets computationally expensive)... It's not expensive if the domain is, for instance, Bool. -- Ashley Yakeley

[Haskell-cafe] Re: instance Eq (a - b)

2010-04-14 Thread Ashley Yakeley
[] _ = undefined instance Finite () where allValues = [()] data Nothing instance Finite Nothing where allValues = [] -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: instance Eq (a - b)

2010-04-14 Thread Ashley Yakeley
considering bottom to be a value, one would have to distinguish different ones. For instance, (error ABC) vs. (error PQR). Obviously this is not finite. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman

[Haskell-cafe] Re: instance Eq (a - b)

2010-04-14 Thread Ashley Yakeley
Ketil Malde wrote: Another practical consideration is that checking a function taking a simple Int parameter for equality would mean 2^65 function evaluations. I think function equality would be too much of a black hole to be worth it. Oh FFS, _don't do that_. -- Ashley Yakeley

[Haskell-cafe] Re: instance Eq (a - b)

2010-04-14 Thread Ashley Yakeley
type. For this reason I recommend fast and loose reasoning: http://www.cs.nott.ac.uk/~nad/publications/danielsson-et-al-popl2006.html -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell

[Haskell-cafe] Re: instance Eq (a - b)

2010-04-14 Thread Ashley Yakeley
Maciej Piechotka wrote: I guess that the fact that: - It is costly. No, it's not. Evaluating equality for Bool - Int does not take significantly longer than for its isomorph (Int,Int). The latter has an Eq instance, so why doesn't the former? -- Ashley Yakeley

[Haskell-cafe] Re: instance Eq (a - b)

2010-04-14 Thread Ashley Yakeley
Thomas Davie wrote: Because we consider that the Functor laws must hold for all values in the type (including bottom). This is not so for IO, which is an instance of Functor. fmap id undefined is not bottom. -- Ashley Yakeley ___ Haskell-Cafe

[Haskell-cafe] Re: instance Eq (a - b)

2010-04-14 Thread Ashley Yakeley
On Wed, 2010-04-14 at 09:29 +0100, Thomas Davie wrote: It isn't? fPrelude fmap id (undefined :: IO ()) *** Exception: Prelude.undefined ghci is helpfully running the IO action for you. Try this: seq (fmap id (undefined :: IO ())) not bottom -- Ashley Yakeley

[Haskell-cafe] Re: instance Eq (a - b)

2010-04-14 Thread Ashley Yakeley
fine. Of course, sometimes we may want to add _additional_ information concerning bottom, such as strictness. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: instance Eq (a - b)

2010-04-14 Thread Ashley Yakeley
on. They're very useful. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: instance Eq (a - b)

2010-04-14 Thread Ashley Yakeley
, so it doesn't need to evaluate it. g waits forever trying to evaluate its function, not knowing it doesn't need it. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: instance Eq (a - b)

2010-04-14 Thread Ashley Yakeley
Ivan Lazar Miljenovic wrote: Ashley Yakeley ash...@semantic.org writes: On Wed, 2010-04-14 at 16:11 +1000, Ivan Miljenovic wrote: but the only way you can prove it in Haskell is by comparing the values for the entire domain (which gets computationally expensive)... It's not expensive

[Haskell-cafe] Re: instance Eq (a - b)

2010-04-14 Thread Ashley Yakeley
On 2010-04-14 03:41, rocon...@theorem.ca wrote: For example (Int - Bool) is a perfectly fine Compact set that isn't finite Did you mean Integer - Bool? Int - Bool is finite, but large. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe

[Haskell-cafe] Re: instance Eq (a - b)

2010-04-14 Thread Ashley Yakeley
On 2010-04-14 11:12, John Meacham wrote: On Wed, Apr 14, 2010 at 02:07:52AM -0700, Ashley Yakeley wrote: So the facts that (1) f == g (2) f undefined = 6 (3) g undefined = undefined is not a problem? This is not a problem. f and g represent the same moral function, they are just implemented

[Haskell-cafe] Re: instance Eq (a - b)

2010-04-14 Thread Ashley Yakeley
values, because your calculation would never terminate (or similar condition). -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: instance Eq (a - b)

2010-04-14 Thread Ashley Yakeley
On 2010-04-14 13:31, Alexander Solla wrote: And yet you are trying to recover the semantics of comparing bottoms. No, I don't think so. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo

[Haskell-cafe] Re: instance Eq (a - b)

2010-04-14 Thread Ashley Yakeley
, or are the Eq instances for Float and Double broken? -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: instance Eq (a - b)

2010-04-14 Thread Ashley Yakeley
On 2010-04-14 14:58, Ashley Yakeley wrote: On 2010-04-14 13:59, rocon...@theorem.ca wrote: There is some notion of value, let's call it proper value, such that bottom is not one. In other words bottom is not a proper value. Define a proper value to be a value x such that x == x. So neither

[Haskell-cafe] Re: a way to convert partial functions to functions with Maybe's

2010-04-13 Thread Ashley Yakeley
to return pseudo-non-termination, that's what you get. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Cabal, GHC and Preprocessors

2010-04-12 Thread Ashley Yakeley
will reach cpphs - in a choice between -traditional and -ansi, it is the last one on the cpphs commandline that will take effect. This worked in my .cabal file: cpp-options: --cpp -ansi ghc-options: -pgmPcpphs Thanks! -- Ashley Yakeley

[Haskell-cafe] Cabal, GHC and Preprocessors

2010-04-11 Thread Ashley Yakeley
expressions, types and top-level declarations. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: GSOC idea: Haskell JVM bytecode library

2010-03-30 Thread Ashley Yakeley
Alexandru Scvortov wrote: I'm thinking of writing a library for analyzing/generating/manipulating JVM bytecode. To be clear, this library would allow one to load and work with JVM classfiles; it wouldn't be a compiler, interpretor or a GHC backend. You might be interested in

[Haskell-cafe] Re: ANN: data-category, restricted categories

2010-03-30 Thread Ashley Yakeley
languages, a function of return type void may either terminate or not, exactly like Haskell's (). -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: ANN: data-category, restricted categories

2010-03-30 Thread Ashley Yakeley
Ashley Yakeley wrote: Edward Kmett wrote: Of course, you can argue that we already look at products and coproducts through fuzzy lenses that don't see the extra bottom, and that it is close enough to view () as Unit and Unit as Void, or go so far as to unify Unit and Void, even though one

[Haskell-cafe] Re: ANN: data-category, restricted categories

2010-03-30 Thread Ashley Yakeley
. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: ANN: data-category, restricted categories

2010-03-30 Thread Ashley Yakeley
undefined. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: Haskell.org re-design

2010-03-28 Thread Ashley Yakeley
Christopher Done wrote: On 28 March 2010 22:54, Don Stewart d...@galois.com wrote: This looks great! What are the implementation details of having this go live? * Ashley: would you be able to e.g. install an index.html like this, and hang the wiki under it? * How do we allow

[Haskell-cafe] Re: Haskell.org re-design

2010-03-28 Thread Ashley Yakeley
Christopher Done wrote: On 28 March 2010 23:32, Ashley Yakeley ash...@semantic.org wrote: There was a big competition for the logo, with this blind Condorcet voting and everything, and this is the shape that was picked. But it kind of ran out of steam before colours were decided upon. So I just

[Haskell-cafe] Re: [ANN] text 0.7, fast Unicode text

2009-12-15 Thread Ashley Yakeley
-io-support/ How do you pack Unicode codepoints into Word16? Do you use UTF-16? Supposing - s = \x010A60\x010A61 -- Old South Arabian script t = pack s Is (unpack t) the same as s? What is (length t)? -- Ashley Yakeley ___ Haskell-Cafe mailing

[Haskell-cafe] Re: [ANN] text 0.7, fast Unicode text

2009-12-15 Thread Ashley Yakeley
Cetin Sert wrote: http://corsis.sourceforge.net/img/csharp-6.png http://corsis.sourceforge.net/img/csharp-6.pngo__O!? That's just C# string literals. In Haskell, '\x010A60' '\x010A61', but in C#, '\x010A' '6' '0' '\x010A' '6' '1'. -- Ashley Yakeley

[Haskell-cafe] Re: systemtimmetypeable: Workaround for lack of deriveable data instance in either System.Time or Data.Time.

2009-10-21 Thread Ashley Yakeley
Data.Fixed (in base) has been updated with Data instances in HEAD. When that's released, I'll release time-extra that will contain Data instances. I've got it all ready to go. The reason Data instances are in time-extras is that the time library must be Haskell 98, while Data instances require

Re: [Haskell-cafe] Re: Are GADTs what I need?

2009-07-14 Thread Ashley Yakeley
, that's all. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: Are GADTs what I need?

2009-07-13 Thread Ashley Yakeley
matchWitness _ _ = Nothing Now whenever you match some value with MkEqualType, the compiler will infer the identity of the two types. See my witness package: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/witness -- Ashley Yakeley

Re: [Proposal] Move most of Control.Monad to Control.Applicative

2009-07-11 Thread Ashley Yakeley
Oops, I don't seem to be paying attention to dates on posts. -- Ashley Yakeley ___ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime

Re: Outlaw tabs

2009-07-10 Thread Ashley Yakeley
Duncan Coutts wrote: If there is consensus on the tabs issue then we could ask for -fwarn-tabs to be included in -Wall. Does -fwarn-tabs complain about tabs in {;}-style? It should not. -- Ashley Yakeley ___ Haskell-prime mailing list Haskell-prime

[Haskell-cafe] Re: Wiki user accounts

2009-06-18 Thread Ashley Yakeley
I wrote: Rules for usernames are the same as rules for particle titles, erm, article titles ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell] Top Level

2009-06-16 Thread Ashley Yakeley
are different things: doing stuff with images is graphics but not UI, while ncurses or even a command-line is UI but not graphics. -- Ashley Yakeley ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

[Haskell-cafe] Re: Wiki user accounts

2009-06-16 Thread Ashley Yakeley
Maurí­cio wrote: Maybe OpenID could help with spam problems without the need for manual intervention: http://www.mediawiki.org/wiki/Extension:OpenID Nope, can't install it on this version. http://haskell.org/haskellwiki/Special:Version -- Ashley Yakeley

[Haskell-cafe] Re: Wiki user accounts

2009-06-16 Thread Ashley Yakeley
I wrote: OK, so who wants to create accounts? What are your haskell.org usernames? Anyone else? Gwern? Philippa? -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: Wiki user accounts

2009-06-16 Thread Ashley Yakeley
the first character cannot be a lower-case letter (actually, it will get folded to upper-case). But spaces are OK. If you want to let people know that you can do this for them, add your email address here: http://haskell.org/haskellwiki/HaskellWiki:New_accounts -- Ashley Yakeley

[Haskell-cafe] Logo

2009-06-15 Thread Ashley Yakeley
on, I just picked the same colours as the Haskell Platform logo. So for the time being, there is a visual link between the two logos. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell

[Haskell-cafe] Re: Fwd: Logo

2009-06-15 Thread Ashley Yakeley
machine does what. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: Parametrized monads

2009-06-15 Thread Ashley Yakeley
; unfortunately, it doesn't have them. I think the type families extension can do this. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: Parametrized monads

2009-06-15 Thread Ashley Yakeley
. Actually, you can use type families without using classes or instances at all. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: Wiki user accounts

2009-06-14 Thread Ashley Yakeley
an update of the machine from an old Red Hat distro (RHEL AS release 3 update 9) to something a bit more modern, like Debian 5.0 or Ubuntu Server 9.04. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org

[Haskell-cafe] Re: Wiki user accounts

2009-06-14 Thread Ashley Yakeley
be. Basically, someone was creating thousands of accounts automatically. It seems likely this will happen again. Another solution would be to sysop a few users to admin/bureaucrat, so that even if a few are inactive or away, the rest can handle requests. What would the process be? -- Ashley

Re: [Haskell] Re: ANNOUNCE: GHC version 6.10.2

2009-04-05 Thread Ashley Yakeley
how to tie the knot in this case. -- Ashley Yakeley ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

[Haskell-cafe] Re: Type equality proof

2009-03-19 Thread Ashley Yakeley
Martijn van Steenbergen wrote: Ashley Yakeley wrote: Have a look at these: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/witness http://hackage.haskell.org/cgi-bin/hackage-scripts/package/open-witness Ah, nice! It seems most we came up with is already in there. Even Any which I

[Haskell-cafe] Re: Type equality proof

2009-03-18 Thread Ashley Yakeley
/cgi-bin/hackage-scripts/package/witness http://hackage.haskell.org/cgi-bin/hackage-scripts/package/open-witness -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: Haskell Logo Voting has started!

2009-03-17 Thread Ashley Yakeley
be modified after being cast. Probably I'll be the one to update most appearances on haskell.org once we have a winner, though I think the logo appears in a number of places around the web. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe

[Haskell-cafe] Re: Uploading files to the wiki

2009-03-16 Thread Ashley Yakeley
]]. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: Haskell-Wiki Account registration

2009-03-14 Thread Ashley Yakeley
at Yale. I don't know when anyone will have a new machine. This is an overview of which machine does what: http://haskell.org/haskellwiki/Haskell.org_domain -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org

[Haskell-cafe] Re: Does anybody dislike implicit params as much asI do?

2009-03-14 Thread Ashley Yakeley
Annoyingly, GHC objects to the field1 d application. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Logo Preferences

2009-03-09 Thread Ashley Yakeley
On Mon, 2009-03-09 at 10:08 +, Sebastian Sylvan wrote: But the point is that you shouldn't need to rank every single logo, just the ones you care about and then you leave the rest at the default rank. You'll also want to rank the popular ones even if you don't like them. -- Ashley

[Haskell-cafe] Logo Preferences

2009-03-08 Thread Ashley Yakeley
, the second image) 62 -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell] HaskellWiki Accounts

2009-02-07 Thread Ashley Yakeley
I just discovered I can create HaskellWiki accounts really easily. If you want one, email me your desired username. Medial spaces are allowed in usernames (just as they are in article titles). -- Ashley Yakeley ___ Haskell mailing list Haskell

[Haskell] HaskellWiki Update

2009-01-17 Thread Ashley Yakeley
; 3. blocked at least some of the remaining spam accounts. This is obviously not ideal, as there is now no way for new users to edit the wiki. I will investigate appropriate ways to allow account creation. -- Ashley Yakeley ___ Haskell mailing list

[Haskell-cafe] Re: ANN: leapseconds-announced-2009

2009-01-17 Thread Ashley Yakeley
more complicated than necessary but I'm parsing the file anyway for other purposes. With tz, though, you could discover the table at run-time and so be more likely to be up to date. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

[Haskell-cafe] Re: [Haskell] HaskellWiki Upgrade Aborted

2009-01-11 Thread Ashley Yakeley
running Debian 4.0 (like both monk and nun). I'm not sure how much this can be done gradually. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell] HaskellWiki Interruption for Upgrade

2009-01-10 Thread Ashley Yakeley
its upgrade process. 5. Install useful extensions. I'm currently looking at this: http://www.mediawiki.org/wiki/Manual:Combating_spam 6. Tweak config file. 7. Switch everything back on. 8. Post again here. -- Ashley Yakeley ___ Haskell mailing list

[Haskell] Re: HaskellWiki Interruption for Upgrade

2009-01-10 Thread Ashley Yakeley
. 4. Run its upgrade process. 5. Install useful extensions. I'm currently looking at this: http://www.mediawiki.org/wiki/Manual:Combating_spam 6. Tweak config file. 7. Switch everything back on. 8. Post again here. I will also need up upgrade both PHP and MySQL. -- Ashley Yakeley

[Haskell] haskell.org HTTP Interruption for Upgrade

2009-01-10 Thread Ashley Yakeley
Ashley Yakeley wrote: I wrote: I will be upgrading HaskellWiki to the latest stable version of MediaWiki (1.13.3) over the next few hours. The plan is this: 1. Switch off HaskellWiki. This may involve switching off the Apache server running haskell.org. 2. Dump the database to a file. 3

[Haskell] HaskellWiki Upgrade Aborted

2009-01-10 Thread Ashley Yakeley
-MySQL-2.1021-4.EL3 libmysqlclient.so.10 is needed by (installed) php-mysql-4.3.2-48.ent I don't know what mod_auth_mysql and perl-DBD-MySQL are being used for, so I don't believe I can upgrade them safely. The machine is running RHEL AS 3 update 9 with Linux 2.4.21. -- Ashley Yakeley

[Haskell-cafe] Logos of Other Languages

2008-12-19 Thread Ashley Yakeley
of the language itself. Doing so seems to miss the point of a logo: it's supposed to appeal visually, rather than semantically. So I'd like to see some submissions that don't use lambdas. -- Ashley Yakeley Seattle, WA ___ Haskell-Cafe mailing list Haskell

[Haskell-cafe] Re: Logos of Other Languages

2008-12-19 Thread Ashley Yakeley
George Pollard wrote: This is why I like Cale's mountain (which incorporates a sneaky lambda ;P). A mountain peak/summit/apex also has nice connotations! http://haskell.org/haskellwiki/Haskell_logos/New_logo_ideas#Cale_Gibbard I think it would be better without the lambda. In fact, many of

[Haskell] Spam on HaskellWiki

2008-12-13 Thread Ashley Yakeley
. However, it is only available with MediaWiki 1.9 and later, and HaskellWiki is running MediaWiki 1.5.4, so this means doing an upgrade. The current stable release is 1.13.2. -- Ashley Yakeley ___ Haskell mailing list Haskell@haskell.org http

[Haskell-cafe] Re: deleting spam on the wiki

2008-12-05 Thread Ashley Yakeley
You can blank the page but you cannot delete it. I'll delete the pages and block the user/IP address later today. -- Ashley On Fri, 2008-12-05 at 15:37 +, Duncan Coutts wrote: Who is able to delete wiki spam? http://haskell.org/haskellwiki/?title=Special:Contributionstarget=Tomso123

[Haskell-cafe] Re: Fun with type functions

2008-12-03 Thread Ashley Yakeley
doing something a bit more useful than get1put2.) -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Ubuntu Haskell

2008-10-11 Thread Ashley Yakeley
Don Stewart wrote: * Arch now has 609 Haskell packages in AUR. Have you thought about doing this for Ubuntu? If you know how to automatically generate packages, you could set up a PPA (private package archive) on Launchpad. -- Ashley Yakeley

Re: Breakage with ghc-6.10

2008-10-10 Thread Ashley Yakeley
. -- Ashley Yakeley ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

[Haskell-cafe] Re: Comparing GADTs for Eq and Ord

2008-09-15 Thread Ashley Yakeley
. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: Comparing GADTs for Eq and Ord

2008-09-15 Thread Ashley Yakeley
Witnesses http://semantic.org/stuff/Open-Witnesses.pdf -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: haskell core definition

2008-09-08 Thread Ashley Yakeley
Vlad Skvortsov wrote: Also, how do I demangle the names? It seems that, for example, 'base:GHC.Base.ZC' is a (:) function on strings, but where how am I supposed to figure that out? #!/usr/bin/perl # Written by Ashley Yakeley 2003 # All rights to the public while () { s/_/ /g

[Haskell-cafe] Re: Top Level -

2008-09-07 Thread Ashley Yakeley
-in would cause a memory leak, I would avoid doing so; but since the whole point of - is to avoid making the need for some state visible in the API. The results from the - in M will only be stored once for the life of the RTS, no matter how many times your plug-ins are reloaded. -- Ashley

[Haskell-cafe] Re: Top Level -

2008-09-06 Thread Ashley Yakeley
and unload an endless stream of _different_ modules, each with their own initialisers. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: Top Level -

2008-09-06 Thread Ashley Yakeley
the flag to dependencies as well. In general I'm way beyond my knowledge of the RTS, so I may have something Very Wrong here. I don't think hs-plugins implements unloading at all currently. -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe

[Haskell-cafe] Re: Top Level -

2008-09-06 Thread Ashley Yakeley
. That what will happen? -- Ashley Yakeley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

  1   2   3   4   5   6   7   >