http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.libraries hourly 1 1901-01-01T00:00+00:00 http://gmane.org/img/gmane-25t.png http://gmane.org http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.libraries/15878 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/packages/base On branch : master http://hackage.haskell.org/trac/ghc/changeset/d74c1984f29ce2a56b283a31367ff88bd1079eb5 commit d74c1984f29ce2a56b283a31367ff88bd1079eb5 Merge: 4f27b57... 3fb1aac... Author: Simon Peyton Jones &lt;simonpj&lt; at &gt;microsoft.com&gt; Date: Tue Jan 8 09:03:05 2013 +0000 Merge branch 'master' of http://darcs.haskell.org//packages/base Data/Fixed.hs | 37 ++++++++++++++----------------------- Data/List.hs | 2 +- GHC/Read.lhs | 1 + Text/Read/Lex.hs | 18 +++++++++++++++++- tests/all.T | 1 + tests/readFixed001.hs | 13 +++++++++++++ tests/readFixed001.stdout | 6 ++++++ 7 files changed, 53 insertions(+), 25 deletions(-) </pre> Simon Peyton Jones 2013-01-08T09:03:21 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.libraries/15877 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/packages/base On branch : master http://hackage.haskell.org/trac/ghc/changeset/4f27b5710232be868121cce5191c062999107327 commit 4f27b5710232be868121cce5191c062999107327 Author: Simon Peyton Jones &lt;simonpj&lt; at &gt;microsoft.com&gt; Date: Tue Jan 8 09:02:48 2013 +0000 Comment out IsEven, isEven, and friends, because the type is ambiguous It will become un-ambiguous when Iavor teaches the type inference engine to prove more things, but until then this stuff is not useful. GHC/TypeLits.hs | 16 ++++++++++++---- 1 files changed, 12 insertions(+), 4 deletions(-) diff --git a/GHC/TypeLits.hs b/GHC/TypeLits.hs index ed1f205..befda8e 100644 --- a/GHC/TypeLits.hs +++ b/GHC/TypeLits.hs &lt; at &gt;&lt; at &gt; -34,7 +34,9 &lt; at &gt;&lt; at &gt; module GHC.TypeLits -- * Destructing type-nat singletons. , isZero, IsZero(..) - , isEven, IsEven(..) + +-- Commented out; see definition below; SLPJ Jan 13 +-- , isEven, IsEven(..) -- * Matching on type-nats &lt; at &gt;&lt; at &gt; -51,7 +53,7 &lt; at &gt;&lt; at &gt; import</pre> Simon Peyton Jones 2013-01-08T09:03:17 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.libraries/15876 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/packages/base On branch : master http://hackage.haskell.org/trac/ghc/changeset/686d13d95dd17ae6099a77bf52531cc2dc0db3c9 commit 686d13d95dd17ae6099a77bf52531cc2dc0db3c9 Author: Simon Peyton Jones &lt;simonpj&lt; at &gt;microsoft.com&gt; Date: Tue Jan 8 09:00:06 2013 +0000 Remove unused import Text/Read/Lex.hs | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/Text/Read/Lex.hs b/Text/Read/Lex.hs index 8a64e21..ef7e1a8 100644 --- a/Text/Read/Lex.hs +++ b/Text/Read/Lex.hs &lt; at &gt;&lt; at &gt; -41,7 +41,7 &lt; at &gt;&lt; at &gt; import GHC.Char import GHC.Num( Num(..), Integer ) import GHC.Show( Show(..) ) import {-# SOURCE #-} GHC.Unicode ( isSpace, isAlpha, isAlphaNum ) -import GHC.Real( Integral, Rational, (%), fromIntegral, +import GHC.Real( Rational, (%), fromIntegral, toInteger, (^) ) import GHC.List import GHC.Enum( minBound, maxBound ) </pre> Simon Peyton Jones 2013-01-08T09:03:15 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.libraries/15875 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/packages/terminfo On branch : ghc-7.6 http://hackage.haskell.org/trac/ghc/changeset/6dde36fa0c347dbbb92affe932c5c79d030867db commit 6dde36fa0c347dbbb92affe932c5c79d030867db Author: Ian Lynagh &lt;ian&lt; at &gt;well-typed.com&gt; Date: Fri Jan 4 19:49:31 2013 +0000 Search for ncurses in libtinfo; fixes #7281 configure.ac | 9 +++++---- 1 files changed, 5 insertions(+), 4 deletions(-) diff --git a/configure.ac b/configure.ac index 2e5abd9..82f5015 100644 --- a/configure.ac +++ b/configure.ac &lt; at &gt;&lt; at &gt; -39,10 +39,11 &lt; at &gt;&lt; at &gt; else TERMINFO_INCLUDES="$CursesIncludes term.h" fi -AC_CHECK_LIB(ncursesw, setupterm, HaveLibCurses=YES; LibCurses=ncursesw, - [AC_CHECK_LIB(ncurses, setupterm, HaveLibCurses=YES; LibCurses=ncurses, - [AC_CHECK_LIB(curses, setupterm, HaveLibCurses=YES; LibCurses=curses, - HaveLibCurses=NO; LibCurses=not-installed)])]) +AC_CHECK_LIB(tinfo, setupterm, HaveLibCurses=YES; LibCurses=tinfo, + [AC_CHECK_LIB(ncursesw, setupterm, HaveLibCurses=</pre> Ian Lynagh 2013-01-04T20:50:33 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.libraries/15874 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/packages/directory On branch : ghc-7.6 http://hackage.haskell.org/trac/ghc/changeset/5ad061f1e54da784b0622169798f91ceb40ea382 commit 5ad061f1e54da784b0622169798f91ceb40ea382 Author: Simon Hengel &lt;sol&lt; at &gt;typeful.net&gt; Date: Tue Oct 2 21:43:46 2012 +0200 Fix Haddock markup System/Directory.hs | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/System/Directory.hs b/System/Directory.hs index cfe7cd9..10a66d9 100644 --- a/System/Directory.hs +++ b/System/Directory.hs &lt; at &gt;&lt; at &gt; -1063,7 +1063,7 &lt; at &gt;&lt; at &gt; instead. On Unix, 'getHomeDirectory' returns the value of the &lt; at &gt;HOME&lt; at &gt; environment variable. On Windows, the system is queried for a suitable path; a typical path might be -&lt; at &gt;C:/Documents And Settings/user&lt; at &gt;. +&lt; at &gt;C:\/Documents And Settings\/user&lt; at &gt;. The operation may fail with: &lt; at &gt;&lt; at &gt; -1138,7 +1138,7 &lt; at &gt;&lt; at &gt; instead. On Unix, 'getUserDocumentsDirectory' returns the value of the &lt; at &gt;HOME&lt; at &gt; environment variable. On Windows, the system is queried for a sui</pre> Ian Lynagh 2013-01-03T23:21:09 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.libraries/15873 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/packages/base On branch : ghc-7.6 http://hackage.haskell.org/trac/ghc/changeset/c4dec4948fc0b1185404e2a6d66aec25aa293b9f commit c4dec4948fc0b1185404e2a6d66aec25aa293b9f Author: Ian Lynagh &lt;ian&lt; at &gt;well-typed.com&gt; Date: Wed Jan 2 21:42:22 2013 +0000 Clarify the wording of the 'insert' haddock; fixes #7421 Wording suggested by Bart Massey. Data/List.hs | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/Data/List.hs b/Data/List.hs index 7b06dae..a60e0e3 100644 --- a/Data/List.hs +++ b/Data/List.hs &lt; at &gt;&lt; at &gt; -509,7 +509,7 &lt; at &gt;&lt; at &gt; mapAccumR f s (x:xs) = (s'', y:ys) (s', ys) = mapAccumR f s xs -- | The 'insert' function takes an element and a list and inserts the --- element into the list at the last position where it is still less +-- element into the list at the first position where it is less -- than or equal to the next element. In particular, if the list -- is sorted before the call, the </pre> Ian Lynagh 2013-01-03T23:20:44 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.libraries/15872 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/packages/base On branch : master http://hackage.haskell.org/trac/ghc/changeset/3fb1aacabbded36e9203adf922af197db0652646 commit 3fb1aacabbded36e9203adf922af197db0652646 Author: Ian Lynagh &lt;ian&lt; at &gt;well-typed.com&gt; Date: Wed Jan 2 23:18:18 2013 +0000 Fix Data.Fixed.Fixed's Read instance; fixes #7483 Data/Fixed.hs | 37 ++++++++++++++----------------------- GHC/Read.lhs | 1 + Text/Read/Lex.hs | 18 +++++++++++++++++- tests/all.T | 1 + tests/readFixed001.hs | 13 +++++++++++++ tests/readFixed001.stdout | 6 ++++++ 6 files changed, 52 insertions(+), 24 deletions(-) diff --git a/Data/Fixed.hs b/Data/Fixed.hs index b4a9857..fd0ca01 100644 --- a/Data/Fixed.hs +++ b/Data/Fixed.hs &lt; at &gt;&lt; at &gt; -1,5 +1,5 &lt; at &gt;&lt; at &gt; {-# LANGUAGE Trustworthy #-} -{-# LANGUAGE CPP #-} +{-# LANGUAGE CPP, ScopedTypeVariables, PatternGuards #-} {-# OPTIONS -Wall -fno-warn-unused-binds #-} #ifndef __NHC__ {-# LANGUAGE DeriveDataTy</pre> Ian Lynagh 2013-01-03T01:24:38 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.libraries/15871 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/packages/base On branch : master http://hackage.haskell.org/trac/ghc/changeset/08f3e69e34a889c8b85513b243935665a000bfac commit 08f3e69e34a889c8b85513b243935665a000bfac Author: Ian Lynagh &lt;ian&lt; at &gt;well-typed.com&gt; Date: Wed Jan 2 21:42:22 2013 +0000 Clarify the wording of the 'insert' haddock; fixes #7421 Wording suggested by Bart Massey. Data/List.hs | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/Data/List.hs b/Data/List.hs index efd0fd1..0049237 100644 --- a/Data/List.hs +++ b/Data/List.hs &lt; at &gt;&lt; at &gt; -509,7 +509,7 &lt; at &gt;&lt; at &gt; mapAccumR f s (x:xs) = (s'', y:ys) (s', ys) = mapAccumR f s xs -- | The 'insert' function takes an element and a list and inserts the --- element into the list at the last position where it is still less +-- element into the list at the first position where it is less -- than or equal to the next element. In particular, if the list -- is sorted before the call, the r</pre> Ian Lynagh 2013-01-03T01:24:35 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.libraries/15870 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/packages/directory On branch : master http://hackage.haskell.org/trac/ghc/changeset/62aa6b14da8fe8d26fca162b3b93228f0333ebe3 commit 62aa6b14da8fe8d26fca162b3b93228f0333ebe3 Author: Ian Lynagh &lt;ian&lt; at &gt;well-typed.com&gt; Date: Wed Jan 2 15:28:54 2013 +0000 Make getModificationTime return a hi-resolution time; fixes #7473 We were only getting an integral number of seconds before. This change only affects non-Windows platforms. Patch from Duncan Coutts. System/Directory.hs | 8 ++++---- 1 files changed, 4 insertions(+), 4 deletions(-) diff --git a/System/Directory.hs b/System/Directory.hs index 15c85e0..fe9c6f1 100644 --- a/System/Directory.hs +++ b/System/Directory.hs &lt; at &gt;&lt; at &gt; -969,14 +969,14 &lt; at &gt;&lt; at &gt; The operation may fail with: getModificationTime :: FilePath -&gt; IO UTCTime getModificationTime name = do #ifdef mingw32_HOST_OS - -- ToDo: use Win32 API + -- ToDo: use Win32 API so we can get sub-second resolution withFileStatus "getModificationTim</pre> Ian Lynagh 2013-01-02T17:55:35 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.libraries/15869 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/packages/integer-gmp On branch : master http://hackage.haskell.org/trac/ghc/changeset/d86166d5ca901eb339c4f1f5aca4d636ee86d91f commit d86166d5ca901eb339c4f1f5aca4d636ee86d91f Author: Ian Lynagh &lt;igloo&lt; at &gt;earth.li&gt; Date: Tue Jan 1 18:41:51 2013 +0000 Fix configure when we don't have a gmp library configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 7ea296c..d7c0b3e 100644 --- a/configure.ac +++ b/configure.ac &lt; at &gt;&lt; at &gt; -50,7 +50,7 &lt; at &gt;&lt; at &gt; else LOOK_FOR_GMP_LIB LOOK_FOR_GMP_FRAMEWORK fi -if test "$HaveFrameworkGMP" = "YES" || test "$HaveLibGmp" = "NO" +if test "$HaveFrameworkGMP" = "YES" || test "$HaveLibGmp" = "YES" then AC_CHECK_HEADER([gmp.h], , [AC_MSG_ERROR([Cannot find gmp.h])]) fi </pre> Ian Lynagh 2013-01-01T19:44:07 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.libraries/15868 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/packages/integer-gmp On branch : master http://hackage.haskell.org/trac/ghc/changeset/2cf2423a0c0c1e6495812467deee4df0cb4320fa commit 2cf2423a0c0c1e6495812467deee4df0cb4320fa Author: Ian Lynagh &lt;ian&lt; at &gt;well-typed.com&gt; Date: Tue Jan 1 17:01:00 2013 +0000 Provide a way for OS X users to indicate a preference for the GMP framework We used to always use the framework if it existed. Now the make variable GMP_PREFER_FRAMEWORK can be used to control whether the library or the framework is preferred. Fixes #7466. aclocal.m4 | 39 +++++++++++++++++++++++++++++++++++++++ configure.ac | 49 ++++++++++++++++++++++--------------------------- gmp/ghc.mk | 4 ++++ 3 files changed, 65 insertions(+), 27 deletions(-) diff --git a/aclocal.m4 b/aclocal.m4 new file mode 100644 index 0000000..8a9c467 --- /dev/null +++ b/aclocal.m4 &lt; at &gt;&lt; at &gt; -0,0 +1,39 &lt; at &gt;&lt; at &gt; + +dnl-------------------------------------------------------------------- +dnl * Check</pre> Ian Lynagh 2013-01-01T19:44:05 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.libraries/15867 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/packages/directory On branch : master http://hackage.haskell.org/trac/ghc/changeset/213a9871a4a633c9c2e4707a43cfb7b4cee85694 commit 213a9871a4a633c9c2e4707a43cfb7b4cee85694 Author: Simon Hengel &lt;sol&lt; at &gt;typeful.net&gt; Date: Tue Oct 2 21:43:46 2012 +0200 Fix Haddock markup System/Directory.hs | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/System/Directory.hs b/System/Directory.hs index 759693c..15c85e0 100644 --- a/System/Directory.hs +++ b/System/Directory.hs &lt; at &gt;&lt; at &gt; -1037,7 +1037,7 &lt; at &gt;&lt; at &gt; instead. On Unix, 'getHomeDirectory' returns the value of the &lt; at &gt;HOME&lt; at &gt; environment variable. On Windows, the system is queried for a suitable path; a typical path might be -&lt; at &gt;C:/Documents And Settings/user&lt; at &gt;. +&lt; at &gt;C:\/Documents And Settings\/user&lt; at &gt;. The operation may fail with: &lt; at &gt;&lt; at &gt; -1112,7 +1112,7 &lt; at &gt;&lt; at &gt; instead. On Unix, 'getUserDocumentsDirectory' returns the value of the &lt; at &gt;HOME&lt; at &gt; environment variable. On Windows, the system is queried for a suit</pre> Ian Lynagh 2013-01-01T19:43:35 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.libraries/15866 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/packages/base On branch : master http://hackage.haskell.org/trac/ghc/changeset/05c03d850a7da7bd708e9a9da7de2b9ba36b6041 commit 05c03d850a7da7bd708e9a9da7de2b9ba36b6041 Author: Ian Lynagh &lt;ian&lt; at &gt;well-typed.com&gt; Date: Tue Jan 1 15:04:47 2013 +0000 Expose Data.Fixed.Fixed's constructor Discussed on libraries&lt; at &gt;, and summarised in http://www.haskell.org/pipermail/libraries/2012-December/019076.html Data/Fixed.hs | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/Data/Fixed.hs b/Data/Fixed.hs index 81e7c03..b4a9857 100644 --- a/Data/Fixed.hs +++ b/Data/Fixed.hs &lt; at &gt;&lt; at &gt; -28,7 +28,7 &lt; at &gt;&lt; at &gt; module Data.Fixed ( div',mod',divMod', - Fixed,HasResolution(..), + Fixed(..), HasResolution(..), showFixed, E0,Uni, E1,Deci, </pre> Ian Lynagh 2013-01-01T19:43:12 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.libraries/15865 <pre>Joey You seem to be doing great things, thank you! Can I urge you to adopt the "Note [blah]" comment style described here? http://hackage.haskell.org/trac/ghc/wiki/Commentary/CodingStyle I find that pretty much *whenever* I fix a bug, it's a good plan to add a "Note [blah]" comment to explain the reasoning. After all, I got it wrong the first time. For example in you patch below, why do you use memmove instead of memcopy? (Don't tell me by way of reply; instead add a comment that explains.) I can't tell you how often these comments have saved me when I look at that code again two years later! Thanks Simon | -----Original Message----- | From: cvs-libraries-bounces&lt; at &gt;haskell.org [mailto:cvs-libraries- | bounces&lt; at &gt;haskell.org] On Behalf Of Joey Adams | Sent: 28 December 2012 18:12 | To: cvs-libraries&lt; at &gt;haskell.org | Subject: [commit: base] master: GHC.IO.Buffer: use memmove instead of | memcpy in slideContents (cb6f03d) | | Repository : ssh://darcs.haskell.org//srv/darcs/packages/base | | On b</pre> Simon Peyton-Jones 2012-12-30T19:38:04 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.libraries/15864 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/packages/base On branch : master http://hackage.haskell.org/trac/ghc/changeset/040313eb7d79aca47cb897479c6bca1af5e2ffb3 commit 040313eb7d79aca47cb897479c6bca1af5e2ffb3 Author: Joey Adams &lt;joeyadams3.14159&lt; at &gt;gmail.com&gt; Date: Mon Dec 24 12:44:22 2012 -0500 BufferedIO: fix bug in writeBufNonBlocking introduced by commit 7d39e100 bufferAdjustL does nothing but update bufL, and set bufL = bufR = 0 when bufL == bufR. It ignores the old bufL. writeBufNonBlocking is currently unused. It is only used to implement flushWriteBuffer0, which is never called by base (hPutBufNonBlocking uses a blocking flush). GHC/IO/BufferedIO.hs | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/GHC/IO/BufferedIO.hs b/GHC/IO/BufferedIO.hs index ef78d90..b715c61 100644 --- a/GHC/IO/BufferedIO.hs +++ b/GHC/IO/BufferedIO.hs &lt; at &gt;&lt; at &gt; -123,5 +123,5 &lt; at &gt;&lt; at &gt; writeBufNonBlocking dev bbuf = do let bytes = bufferElems bbuf res &lt;- withBuff</pre> Joey Adams 2012-12-28T18:12:27 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.libraries/15863 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/packages/base On branch : master http://hackage.haskell.org/trac/ghc/changeset/cb6f03db3e0df85b47bb6086728cd51d982a46b9 commit cb6f03db3e0df85b47bb6086728cd51d982a46b9 Author: Joey Adams &lt;joeyadams3.14159&lt; at &gt;gmail.com&gt; Date: Mon Dec 24 12:42:01 2012 -0500 GHC.IO.Buffer: use memmove instead of memcpy in slideContents GHC/IO/Buffer.hs | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-) diff --git a/GHC/IO/Buffer.hs b/GHC/IO/Buffer.hs index 8f677f0..eb46eb1 100644 --- a/GHC/IO/Buffer.hs +++ b/GHC/IO/Buffer.hs &lt; at &gt;&lt; at &gt; -256,12 +256,12 &lt; at &gt;&lt; at &gt; slideContents :: Buffer Word8 -&gt; IO (Buffer Word8) slideContents buf&lt; at &gt;Buffer{ bufL=l, bufR=r, bufRaw=raw } = do let elems = r - l withRawBuffer raw $ \p -&gt; - do _ &lt;- memcpy p (p `plusPtr` l) (fromIntegral elems) + do _ &lt;- memmove p (p `plusPtr` l) (fromIntegral elems) return () return buf{ bufL=0, bufR=elems } -foreign import ccall unsafe "memcpy" - memcpy :: Ptr a -&gt; Ptr a -&gt; CSi</pre> Joey Adams 2012-12-28T18:12:25 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.libraries/15862 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/packages/base On branch : master http://hackage.haskell.org/trac/ghc/changeset/06e36c63fce9aef5d3d8d9efeab14263333d48bf commit 06e36c63fce9aef5d3d8d9efeab14263333d48bf Author: Simon Peyton Jones &lt;simonpj&lt; at &gt;microsoft.com&gt; Date: Mon Dec 24 14:44:31 2012 +0000 Make sum and product INLINABLE This was causing the bad behaviour in Trac #7507, because 'sum' wasn't getting specialised to Int64. It also deals with Trac #4321, which had the same cause. This has a big effect on some nofib programs too: -------------------------------------------------------------------------------- Program Allocs Runtime Elapsed TotalMem ------------------------------------------------------------------------ bernouilli -2.6% -2.0% -2.0% +0.0% fft2 -23.8% 0.09 0.09 -16.7% fluid -4.4% 0.01 0.01 +0.0% </pre> Simon Peyton Jones 2012-12-24T14:44:51 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.libraries/15861 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/packages/base On branch : master http://hackage.haskell.org/trac/ghc/changeset/f07215b83132b9bc9b0078a0e0940934319f3360 commit f07215b83132b9bc9b0078a0e0940934319f3360 Merge: d9b6b25... 85bda3d... Author: Simon Peyton Jones &lt;simonpj&lt; at &gt;microsoft.com&gt; Date: Mon Dec 24 09:50:04 2012 +0000 Merge branch 'master' of http://darcs.haskell.org/packages/base GHC/TypeLits.hs | 40 ++++++++++++++++++++++++++++++++++++++++ tests/qsemn001.hs | 1 - 2 files changed, 40 insertions(+), 1 deletions(-) </pre> Simon Peyton Jones 2012-12-24T14:44:49 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.libraries/15860 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/packages/base On branch : master http://hackage.haskell.org/trac/ghc/changeset/d9b6b25a30bfdaefb69c29dedb30eed06ae71e61 commit d9b6b25a30bfdaefb69c29dedb30eed06ae71e61 Author: Simon Peyton Jones &lt;simonpj&lt; at &gt;microsoft.com&gt; Date: Fri Dec 21 17:40:08 2012 +0000 Define GHC.Read.expectP and Text.Read.Lex.expect They are now used by TcGenDeriv GHC/Read.lhs | 29 ++++++++++++++++------------- Text/Read/Lex.hs | 7 ++++++- 2 files changed, 22 insertions(+), 14 deletions(-) diff --git a/GHC/Read.lhs b/GHC/Read.lhs index c5024fc..c542274 100644 --- a/GHC/Read.lhs +++ b/GHC/Read.lhs &lt; at &gt;&lt; at &gt; -32,7 +32,7 &lt; at &gt;&lt; at &gt; module GHC.Read , lexDigits -- defining readers - , lexP + , lexP, expectP , paren , parens , list &lt; at &gt;&lt; at &gt; -270,12 +270,15 &lt; at &gt;&lt; at &gt; lexP :: ReadPrec L.Lexeme -- ^ Parse a single lexeme lexP = lift L.lex +expectP :: L.Lexeme -&gt; ReadPrec () +expectP lexeme = lift (L.expect lexeme) + paren :: ReadPrec a -&gt; ReadPrec a -- ^ &lt; at &gt;(paren p)&lt; at &gt; </pre> Simon Peyton Jones 2012-12-24T14:44:46 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.libraries/15859 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/packages/base On branch : master http://hackage.haskell.org/trac/ghc/changeset/85bda3d6e36fb8b3d7121ccc01c8ccfc3942431f commit 85bda3d6e36fb8b3d7121ccc01c8ccfc3942431f Author: Iavor S. Diatchki &lt;iavor.diatchki&lt; at &gt;gmail.com&gt; Date: Sat Dec 22 15:22:43 2012 -0800 Add functions that compare singletons for equality (with evidence) GHC/TypeLits.hs | 40 ++++++++++++++++++++++++++++++++++++++++ 1 files changed, 40 insertions(+), 0 deletions(-) diff --git a/GHC/TypeLits.hs b/GHC/TypeLits.hs index 50a5c86..ed1f205 100644 --- a/GHC/TypeLits.hs +++ b/GHC/TypeLits.hs &lt; at &gt;&lt; at &gt; -29,10 +29,14 &lt; at &gt;&lt; at &gt; module GHC.TypeLits , type (&lt;=), type (&lt;=?), type (+), type (*), type (^) , type (-) + -- * Comparing for equality + , type (:~:) (..), eqSingNat, eqSingSym + -- * Destructing type-nat singletons. , isZero, IsZero(..) , isEven, IsEven(..) + -- * Matching on type-nats , Nat1(..), FromNat1 &lt; at &gt;&lt; at &gt; -215,4 +219,40 &lt; at &gt;&lt; at &gt; type family FromNat1 (n :: Nat1) </pre> Iavor Diatchki 2012-12-22T23:24:17 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.libraries/15858 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/packages/template-haskell On branch : master http://hackage.haskell.org/trac/ghc/changeset/ccd7891c536b29b8bea96eb92520f46e21390e39 commit ccd7891c536b29b8bea96eb92520f46e21390e39 Author: Richard Eisenberg &lt;eir&lt; at &gt;cis.upenn.edu&gt; Date: Fri Dec 21 20:57:04 2012 -0500 Implement overlapping type family instances. An ordered, overlapping type family instance is introduced by 'type instance where', followed by equations. See the new section in the user manual (7.7.2.2) for details. The canonical example is Boolean equality at the type level: type family Equals (a :: k) (b :: k) :: Bool type instance where Equals a a = True Equals a b = False A branched family instance, such as this one, checks its equations in order and applies only the first the matches. As explained in the note [Instance checking within groups] in FamInstEnv.lhs, we must be careful not to simplify, say, </pre> Richard Eisenberg 2012-12-22T02:00:19 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.comp.lang.haskell.cvs.libraries