From wojtek at power.com.pl Wed Nov 19 13:33:46 2014 From: wojtek at power.com.pl (=?UTF-8?B?V29qdGVrIE5hcmN6ecWEc2tp?=) Date: Wed, 19 Nov 2014 14:33:46 +0100 Subject: [jhc] user-kinds, what am I doing wrong? Message-ID: <546C9C3A.1030401@power.com.pl> Hello, Out of curiosity, I tried user defined kinds. wojtek at biuro:~/src/he $ cat udk.hs data kind Nat = Z | S Nat wojtek at biuro:~/src/he $ jhc -fuser-kinds udk.hs jhc -fuser-kinds udk.hs jhc 0.8.2 (mydniquipepo-32) Finding Dependencies... Using Ho Cache: '/home/wojtek/.jhc/cache' udk.hs:2 - Error: Illegal data/newtype declaration What am I doing wrong? -- Kind regards, Wojtek Narczy?ski From wojtek at power.com.pl Wed Nov 19 14:18:23 2014 From: wojtek at power.com.pl (=?UTF-8?B?V29qdGVrIE5hcmN6ecWEc2tp?=) Date: Wed, 19 Nov 2014 15:18:23 +0100 Subject: [jhc] user-kinds, what am I doing wrong? Message-ID: <546CA6AF.1010400@power.com.pl> Hello, Out of curiosity, I tried user defined kinds. wojtek at biuro:~/src/he $ cat udk.hs data kind Nat = Z | S Nat wojtek at biuro:~/src/he $ jhc -fuser-kinds udk.hs jhc -fuser-kinds udk.hs jhc 0.8.2 (mydniquipepo-32) Finding Dependencies... Using Ho Cache: '/home/wojtek/.jhc/cache' udk.hs:2 - Error: Illegal data/newtype declaration What am I doing wrong? -- Kind regards, Wojtek Narczy?ski From rymg19 at gmail.com Sun Nov 23 22:39:50 2014 From: rymg19 at gmail.com (Ryan Gonzalez) Date: Sun, 23 Nov 2014 16:39:50 -0600 Subject: [jhc] A GitHub mirror Message-ID: I just set up a GitHub mirror , since I hate waiting for Darcs to clone large repos. Enjoy! -- Ryan If anybody ever asks me why I prefer C++ to C, my answer will be simple: "It's becauseslejfp23(@#Q*(E*EIdc-SEGFAULT. Wait, I don't think that was nul-terminated." Personal reality distortion fields are immune to contradictory evidence. - srean Check out my website: http://kirbyfan64.github.io/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From john at repetae.net Tue Nov 25 00:59:44 2014 From: john at repetae.net (John Meacham) Date: Mon, 24 Nov 2014 16:59:44 -0800 Subject: [jhc] A GitHub mirror In-Reply-To: References: Message-ID: You should be able to just ctrl-c the darcs get after a few seconds and get the whole tree and a partial history. Not sure I am a fan of that interface for partial repos, it does work but is not entirely intuitive. John On Sun, Nov 23, 2014 at 2:39 PM, Ryan Gonzalez wrote: > I just set up a GitHub mirror, since I hate waiting for Darcs to clone large > repos. Enjoy! > > -- > Ryan > If anybody ever asks me why I prefer C++ to C, my answer will be simple: > "It's becauseslejfp23(@#Q*(E*EIdc-SEGFAULT. Wait, I don't think that was > nul-terminated." > Personal reality distortion fields are immune to contradictory evidence. - > srean > Check out my website: http://kirbyfan64.github.io/ > > _______________________________________________ > jhc mailing list > jhc at haskell.org > http://www.haskell.org/mailman/listinfo/jhc > -- John Meacham - http://notanumber.net/ From rymg19 at gmail.com Tue Nov 25 01:01:28 2014 From: rymg19 at gmail.com (Ryan Gonzalez) Date: Mon, 24 Nov 2014 19:01:28 -0600 Subject: [jhc] A GitHub mirror In-Reply-To: References: Message-ID: I know, but GitHub's interface is my personal favorite. It's still faster than Darcs, too. On Mon, Nov 24, 2014 at 6:59 PM, John Meacham wrote: > You should be able to just ctrl-c the darcs get after a few seconds > and get the whole tree and a partial history. Not sure I am a fan of > that interface for partial repos, it does work but is not entirely > intuitive. > > John > > On Sun, Nov 23, 2014 at 2:39 PM, Ryan Gonzalez wrote: > > I just set up a GitHub mirror, since I hate waiting for Darcs to clone > large > > repos. Enjoy! > > > > -- > > Ryan > > If anybody ever asks me why I prefer C++ to C, my answer will be simple: > > "It's becauseslejfp23(@#Q*(E*EIdc-SEGFAULT. Wait, I don't think that was > > nul-terminated." > > Personal reality distortion fields are immune to contradictory evidence. > - > > srean > > Check out my website: http://kirbyfan64.github.io/ > > > > _______________________________________________ > > jhc mailing list > > jhc at haskell.org > > http://www.haskell.org/mailman/listinfo/jhc > > > > > > -- > John Meacham - http://notanumber.net/ > -- Ryan If anybody ever asks me why I prefer C++ to C, my answer will be simple: "It's becauseslejfp23(@#Q*(E*EIdc-SEGFAULT. Wait, I don't think that was nul-terminated." Personal reality distortion fields are immune to contradictory evidence. - srean Check out my website: http://kirbyfan64.github.io/ -------------- next part -------------- An HTML attachment was scrubbed... URL: