Re: [Haskell-cafe] type-level integers for GHC
What works best for me is to actually merge the type-nats branch into a local checkout of master; as opposed to checking out the type-nats branch. Though you will usually have to do some (minor) conflict resolution. -- Christiaan On May 17, 2013, at 11:13 PM, Takayuki Muranushi muranu...@gmail.com wrote: Hey thanks Simon and Levor, I've reported the problem month ago, and I see today the commit-id for type-nats is still not changed. So I thought the problem remains. Let me first try the compile process again tonight, and report the compile process in more detail. 2013/5/17 Simon Peyton-Jones simo...@microsoft.com: I wonder why you can't compile type-nats? It should just work. You could email ghc-devs and Iavor (type-nats author, cc'd) explaining exactly what goes wrong. You may need the type-nats branch of some libraries, I'm not sure Simon Microsoft Research Limited (company number 03369488) is registered in England and Wales Registered office 21 Station Road, Cambridge, CB1 2FB | -Original Message- | From: haskell-cafe-boun...@haskell.org [mailto:haskell-cafe- | boun...@haskell.org] On Behalf Of Takayuki Muranushi | Sent: 17 May 2013 07:18 | To: haskell | Subject: [Haskell-cafe] type-level integers for GHC | | What is your recommendation for type-level integers? | | I'd like to use it to improve the unittyped, | https://bitbucket.org/xnyhps/haskell-unittyped/ the library for physical | dimension. Therefore, I need negative numbers, additions, but | multiplications are not necessary. | | I've been looking forward for the type-nats extension of GHC, but I | haven't been able to compile the type-nats branch. Just learned that it | still takes a few month to merge the branch into the main. | http://hackage.haskell.org/trac/ghc/wiki/Status/May13 | | Thijs, the original author of unittyped, has commited a branch that uses | type-nats, but I can't try that out for the same reason. | | | Best, | -- | Takayuki MURANUSHI | The Hakubi Center for Advanced Research, Kyoto University | http://www.hakubi.kyoto-u.ac.jp/02_mem/h22/muranushi.html | | ___ | Haskell-Cafe mailing list | Haskell-Cafe@haskell.org | http://www.haskell.org/mailman/listinfo/haskell-cafe -- Takayuki MURANUSHI The Hakubi Center for Advanced Research, Kyoto University http://www.hakubi.kyoto-u.ac.jp/02_mem/h22/muranushi.html ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] type-level integers for GHC
The type-nats branch *should* simply work all by itself. (You may need to check out a corresponding branch on some other repos, though.) Iavor would you care to comment? Simon Microsoft Research Limited (company number 03369488) is registered in England and Wales Registered office 21 Station Road, Cambridge, CB1 2FB | -Original Message- | From: Christiaan Baaij [mailto:christiaan.ba...@gmail.com] | Sent: 20 May 2013 09:56 | To: Takayuki Muranushi | Cc: Simon Peyton-Jones; haskell | Subject: Re: [Haskell-cafe] type-level integers for GHC | | What works best for me is to actually merge the type-nats branch into a | local checkout of master; as opposed to checking out the type-nats | branch. | Though you will usually have to do some (minor) conflict resolution. | | -- Christiaan | | On May 17, 2013, at 11:13 PM, Takayuki Muranushi muranu...@gmail.com | wrote: | | Hey thanks Simon and Levor, I've reported the problem month ago, and I | see today the commit-id for type-nats is still not changed. So I | thought the problem remains. Let me first try the compile process | again tonight, and report the compile process in more detail. | | 2013/5/17 Simon Peyton-Jones simo...@microsoft.com: | I wonder why you can't compile type-nats? It should just work. You | could email ghc-devs and Iavor (type-nats author, cc'd) explaining | exactly what goes wrong. You may need the type-nats branch of some | libraries, I'm not sure | | Simon | | Microsoft Research Limited (company number 03369488) is registered in | England and Wales Registered office 21 Station Road, Cambridge, CB1 | 2FB | | | | -Original Message- | | From: haskell-cafe-boun...@haskell.org [mailto:haskell-cafe- | | boun...@haskell.org] On Behalf Of Takayuki Muranushi | | Sent: 17 May 2013 07:18 | | To: haskell | | Subject: [Haskell-cafe] type-level integers for GHC | | | | What is your recommendation for type-level integers? | | | | I'd like to use it to improve the unittyped, | | https://bitbucket.org/xnyhps/haskell-unittyped/ the library for | | physical dimension. Therefore, I need negative numbers, additions, | | but multiplications are not necessary. | | | | I've been looking forward for the type-nats extension of GHC, but I | | haven't been able to compile the type-nats branch. Just learned | | that it still takes a few month to merge the branch into the main. | | http://hackage.haskell.org/trac/ghc/wiki/Status/May13 | | | | Thijs, the original author of unittyped, has commited a branch that | | uses type-nats, but I can't try that out for the same reason. | | | | | | Best, | | -- | | Takayuki MURANUSHI | | The Hakubi Center for Advanced Research, Kyoto University | | http://www.hakubi.kyoto-u.ac.jp/02_mem/h22/muranushi.html | | | | ___ | | Haskell-Cafe mailing list | | Haskell-Cafe@haskell.org | | http://www.haskell.org/mailman/listinfo/haskell-cafe | | | | -- | Takayuki MURANUSHI | The Hakubi Center for Advanced Research, Kyoto University | http://www.hakubi.kyoto-u.ac.jp/02_mem/h22/muranushi.html | | ___ | Haskell-Cafe mailing list | Haskell-Cafe@haskell.org | http://www.haskell.org/mailman/listinfo/haskell-cafe ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] type-level integers for GHC
Thank you everyone! Iavor have kindly fixed the branch and now I can build it. 2013/5/20 Simon Peyton-Jones simo...@microsoft.com: The type-nats branch *should* simply work all by itself. (You may need to check out a corresponding branch on some other repos, though.) Iavor would you care to comment? Simon Microsoft Research Limited (company number 03369488) is registered in England and Wales Registered office 21 Station Road, Cambridge, CB1 2FB | -Original Message- | From: Christiaan Baaij [mailto:christiaan.ba...@gmail.com] | Sent: 20 May 2013 09:56 | To: Takayuki Muranushi | Cc: Simon Peyton-Jones; haskell | Subject: Re: [Haskell-cafe] type-level integers for GHC | | What works best for me is to actually merge the type-nats branch into a | local checkout of master; as opposed to checking out the type-nats | branch. | Though you will usually have to do some (minor) conflict resolution. | | -- Christiaan | | On May 17, 2013, at 11:13 PM, Takayuki Muranushi muranu...@gmail.com | wrote: | | Hey thanks Simon and Levor, I've reported the problem month ago, and I | see today the commit-id for type-nats is still not changed. So I | thought the problem remains. Let me first try the compile process | again tonight, and report the compile process in more detail. | | 2013/5/17 Simon Peyton-Jones simo...@microsoft.com: | I wonder why you can't compile type-nats? It should just work. You | could email ghc-devs and Iavor (type-nats author, cc'd) explaining | exactly what goes wrong. You may need the type-nats branch of some | libraries, I'm not sure | | Simon | | Microsoft Research Limited (company number 03369488) is registered in | England and Wales Registered office 21 Station Road, Cambridge, CB1 | 2FB | | | | -Original Message- | | From: haskell-cafe-boun...@haskell.org [mailto:haskell-cafe- | | boun...@haskell.org] On Behalf Of Takayuki Muranushi | | Sent: 17 May 2013 07:18 | | To: haskell | | Subject: [Haskell-cafe] type-level integers for GHC | | | | What is your recommendation for type-level integers? | | | | I'd like to use it to improve the unittyped, | | https://bitbucket.org/xnyhps/haskell-unittyped/ the library for | | physical dimension. Therefore, I need negative numbers, additions, | | but multiplications are not necessary. | | | | I've been looking forward for the type-nats extension of GHC, but I | | haven't been able to compile the type-nats branch. Just learned | | that it still takes a few month to merge the branch into the main. | | http://hackage.haskell.org/trac/ghc/wiki/Status/May13 | | | | Thijs, the original author of unittyped, has commited a branch that | | uses type-nats, but I can't try that out for the same reason. | | | | | | Best, | | -- | | Takayuki MURANUSHI | | The Hakubi Center for Advanced Research, Kyoto University | | http://www.hakubi.kyoto-u.ac.jp/02_mem/h22/muranushi.html | | | | ___ | | Haskell-Cafe mailing list | | Haskell-Cafe@haskell.org | | http://www.haskell.org/mailman/listinfo/haskell-cafe | | | | -- | Takayuki MURANUSHI | The Hakubi Center for Advanced Research, Kyoto University | http://www.hakubi.kyoto-u.ac.jp/02_mem/h22/muranushi.html | | ___ | Haskell-Cafe mailing list | Haskell-Cafe@haskell.org | http://www.haskell.org/mailman/listinfo/haskell-cafe -- Takayuki MURANUSHI The Hakubi Center for Advanced Research, Kyoto University http://www.hakubi.kyoto-u.ac.jp/02_mem/h22/muranushi.html ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] type-level integers for GHC
Hey thanks Simon and Levor, I've reported the problem month ago, and I see today the commit-id for type-nats is still not changed. So I thought the problem remains. Let me first try the compile process again tonight, and report the compile process in more detail. 2013/5/17 Simon Peyton-Jones simo...@microsoft.com: I wonder why you can't compile type-nats? It should just work. You could email ghc-devs and Iavor (type-nats author, cc'd) explaining exactly what goes wrong. You may need the type-nats branch of some libraries, I'm not sure Simon Microsoft Research Limited (company number 03369488) is registered in England and Wales Registered office 21 Station Road, Cambridge, CB1 2FB | -Original Message- | From: haskell-cafe-boun...@haskell.org [mailto:haskell-cafe- | boun...@haskell.org] On Behalf Of Takayuki Muranushi | Sent: 17 May 2013 07:18 | To: haskell | Subject: [Haskell-cafe] type-level integers for GHC | | What is your recommendation for type-level integers? | | I'd like to use it to improve the unittyped, | https://bitbucket.org/xnyhps/haskell-unittyped/ the library for physical | dimension. Therefore, I need negative numbers, additions, but | multiplications are not necessary. | | I've been looking forward for the type-nats extension of GHC, but I | haven't been able to compile the type-nats branch. Just learned that it | still takes a few month to merge the branch into the main. | http://hackage.haskell.org/trac/ghc/wiki/Status/May13 | | Thijs, the original author of unittyped, has commited a branch that uses | type-nats, but I can't try that out for the same reason. | | | Best, | -- | Takayuki MURANUSHI | The Hakubi Center for Advanced Research, Kyoto University | http://www.hakubi.kyoto-u.ac.jp/02_mem/h22/muranushi.html | | ___ | Haskell-Cafe mailing list | Haskell-Cafe@haskell.org | http://www.haskell.org/mailman/listinfo/haskell-cafe -- Takayuki MURANUSHI The Hakubi Center for Advanced Research, Kyoto University http://www.hakubi.kyoto-u.ac.jp/02_mem/h22/muranushi.html ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] type-level integers for GHC
What is your recommendation for type-level integers? I'd like to use it to improve the unittyped, https://bitbucket.org/xnyhps/haskell-unittyped/ the library for physical dimension. Therefore, I need negative numbers, additions, but multiplications are not necessary. I've been looking forward for the type-nats extension of GHC, but I haven't been able to compile the type-nats branch. Just learned that it still takes a few month to merge the branch into the main. http://hackage.haskell.org/trac/ghc/wiki/Status/May13 Thijs, the original author of unittyped, has commited a branch that uses type-nats, but I can't try that out for the same reason. Best, -- Takayuki MURANUSHI The Hakubi Center for Advanced Research, Kyoto University http://www.hakubi.kyoto-u.ac.jp/02_mem/h22/muranushi.html ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] type-level integers for GHC
I wonder why you can't compile type-nats? It should just work. You could email ghc-devs and Iavor (type-nats author, cc'd) explaining exactly what goes wrong. You may need the type-nats branch of some libraries, I'm not sure Simon Microsoft Research Limited (company number 03369488) is registered in England and Wales Registered office 21 Station Road, Cambridge, CB1 2FB | -Original Message- | From: haskell-cafe-boun...@haskell.org [mailto:haskell-cafe- | boun...@haskell.org] On Behalf Of Takayuki Muranushi | Sent: 17 May 2013 07:18 | To: haskell | Subject: [Haskell-cafe] type-level integers for GHC | | What is your recommendation for type-level integers? | | I'd like to use it to improve the unittyped, | https://bitbucket.org/xnyhps/haskell-unittyped/ the library for physical | dimension. Therefore, I need negative numbers, additions, but | multiplications are not necessary. | | I've been looking forward for the type-nats extension of GHC, but I | haven't been able to compile the type-nats branch. Just learned that it | still takes a few month to merge the branch into the main. | http://hackage.haskell.org/trac/ghc/wiki/Status/May13 | | Thijs, the original author of unittyped, has commited a branch that uses | type-nats, but I can't try that out for the same reason. | | | Best, | -- | Takayuki MURANUSHI | The Hakubi Center for Advanced Research, Kyoto University | http://www.hakubi.kyoto-u.ac.jp/02_mem/h22/muranushi.html | | ___ | Haskell-Cafe mailing list | Haskell-Cafe@haskell.org | http://www.haskell.org/mailman/listinfo/haskell-cafe ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
