Camelia, the Perl 6 bug

IRC log for #darcs, 2011-04-24

| Channels | #darcs index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
01:30 lispy joined #darcs
01:30 owst joined #darcs
02:01 Gwern-away joined #darcs
02:04 gwern left #darcs
02:05 Gwern-away is now known as gwern
02:30 owst left #darcs
02:49 intripoon_ joined #darcs
02:51 intripoon left #darcs
03:18 jeffz left #darcs
04:51 sm left #darcs
05:46 jeffz joined #darcs
07:16 lelit joined #darcs
07:50 raichoo joined #darcs
08:06 dixie hmmm, :<: and :>: are something like : for List. What are :< and :> ? it looks like something covering context properties
08:28 Heffalump they're like , for tuples
08:44 dixie I don't understand where the "z" comes from
08:44 dixie data (a1 :> a2) C(x y) = FORALL(z) (a1 C(x z)) :> (a2 C(z y))
08:46 dixie Ah, I understand. This touple should not break the context.
08:52 Heffalump yep
08:53 Heffalump that'd be better written as data (a1 :> a2) C(x y) where (:>) :: a1 C(x z) -> a2 C(z y) -> (a1 :> a2) C(x y)
08:53 Heffalump Im 'not sure why it isn't
09:12 dixie maybe for having possibility to disable witnesses?
09:24 shenshei joined #darcs
09:35 Heffalump you can at the moment, just build the darcs binary (or hack the cabal file to remove -DGADT_WITNESSES=1)
09:35 Heffalump but we plan to take that away
09:35 Heffalump oh, I see, sorry.
09:35 Heffalump I don't think so, because the C(..) macros would do that with my definition too
09:35 Heffalump like with FL/RL
10:02 lispy left #darcs
10:22 owst joined #darcs
11:30 thorkilnaur left #darcs
11:34 thorkilnaur joined #darcs
12:29 jderque joined #darcs
12:33 iago joined #darcs
12:33 copumpkin left #darcs
12:34 copumpkin joined #darcs
14:32 lelit left #darcs
14:43 jderque left #darcs
15:03 sm joined #darcs
15:43 kowey joined #darcs
16:12 etarasov left #darcs
16:15 jeffz left #darcs
17:26 jderque joined #darcs
18:03 exlevan left #darcs
18:03 exlevan joined #darcs
18:08 exlevan left #darcs
18:14 exlevan joined #darcs
18:24 jeltsch joined #darcs
18:38 secorp left #darcs
18:39 secorp joined #darcs
18:50 sm_ joined #darcs
18:53 sm left #darcs
18:53 sm_ is now known as sm
18:54 sm_ joined #darcs
18:58 sm left #darcs
18:58 sm_ is now known as sm
18:59 sm left #darcs
19:00 sm joined #darcs
19:08 kowey left #darcs
20:17 jderque left #darcs
20:23 jeltsch left #darcs
20:40 jeltsch joined #darcs
20:46 jeltsch left #darcs
20:46 JaffaCake joined #darcs
20:49 JaffaCake1 left #darcs
21:09 sm left #darcs
21:20 shenshei left #darcs
22:40 raichoo left #darcs
22:50 lispy joined #darcs

| Channels | #darcs index | Today | | Search | Google Search | Plain-Text | summary