[commit: ghc] type-nats's head updated: Merge remote-tracking branch 'origin/master' into type-nats (0ff8816)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'type-nats' now includes: 52e4300... Use expectP in deriving( Read ) d2a5a9c... rename do_map_arrow as do_premap (no semantic change) 1ee1cd4... Make {-# UNPACK #-} work for type/data family invocations e5ccb4e... Merg

[commit: ghc] type-nats: Merge remote-tracking branch 'origin/master' into type-nats (0ff8816)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/0ff88164eeb6a70ae83631679ecbce3e4d60f139 >--- commit 0ff88164eeb6a70ae83631679ecbce3e4d60f139 Merge: 9efd621... 45

[commit: testsuite] type-nats's head updated: Add some tests for the type-nat solver. (f3ed78e)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite Branch 'type-nats' now includes: 14ff0b8... Test Trac #5691 b244e68... Test Trac #5915 34ebb9f... Test Trac #5937 29db350... Merge branch 'master' of http://darcs.haskell.org//testsuite cb1c60e... Merge branch 'mas

[commit: testsuite] type-nats: Add some tests for the type-nat solver. (f3ed78e)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/f3ed78eb199cc27b62e44b97afe48172fe431048 >--- commit f3ed78eb199cc27b62e44b97afe48172fe431048 Author: Iavor

[commit: ghc] master: Fix dictionaries for SingI. (4527991)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/45279919b4181d414cee9f718264ec01e22197b9 >--- commit 45279919b4181d414cee9f718264ec01e22197b9 Author: Iavor S. Diatch

[commit: ghc] type-nats: Add the improvement step, for more direct evaluation. (9efd621)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/9efd6210c653bcc990476e31530865702b0728d0 >--- commit 9efd6210c653bcc990476e31530865702b0728d0 Author: Iavor S. Dia

[commit: ghc] type-nats: Add TyThing entries for all rules. (520d502)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/520d502d2257981afaae37a4454ad57e779125da >--- commit 520d502d2257981afaae37a4454ad57e779125da Author: Iavor S. Dia

[commit: ghc] type-nats: Limit debugging output to when there's something to report. (3cbfe4f)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/3cbfe4fe27d5e1fbc396506a8dd86d634796c3cf >--- commit 3cbfe4fe27d5e1fbc396506a8dd86d634796c3cf Author: Iavor S. Dia

[commit: ghc] type-nats: Fixes to restore proper operation of widening function. (f557bf3)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/f557bf3c638759c434a11d367bcb1f91ee56afec >--- commit f557bf3c638759c434a11d367bcb1f91ee56afec Author: Iavor S. Dia

[commit: ghc] type-nats: Add the second half of the rules for subtraction (SubE/SubI). (f200e2e)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/f200e2e413d83c900ac26304bf90dbcd2e4e05a1 >--- commit f200e2e413d83c900ac26304bf90dbcd2e4e05a1 Author: Iavor S. Dia

[commit: ghc] type-nats: A function to get all constraints (unused at the moment) (240cd84)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/240cd84a28e3c0b2092dd665d971777c3322fa61 >--- commit 240cd84a28e3c0b2092dd665d971777c3322fa61 Author: Iavor S. Dia

[commit: ghc] type-nats: Update debug functions for new name/location of unsafeGlobalDynFlags (c19c2fa)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/c19c2fa95c8c844d6ec00288ea83d4a71e1bf252 >--- commit c19c2fa95c8c844d6ec00288ea83d4a71e1bf252 Author: Iavor S. Dia

[commit: ghc] type-nats: Add `TnExp0L` to iff rules. (4e6f3e8)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/4e6f3e872dd952aa6b3c1e70c74cc89af6f1ce18 >--- commit 4e6f3e872dd952aa6b3c1e70c74cc89af6f1ce18 Author: Iavor S. Dia

[commit: ghc] type-nats: Add support for improving with basic rules, and simplify things a bit. (7c7328b)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/7c7328bb43393355f4967e950d43806b47ea9ef1 >--- commit 7c7328bb43393355f4967e950d43806b47ea9ef1 Author: Iavor S. Dia

[commit: ghc] type-nats's head updated: Merge remote-tracking branch 'origin/master' into type-nats (b03bc4a)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'type-nats' now includes: 2334112... Fix broken -fPIC on Darwin/PPC (#7442) b5ce9de... Remove dead code predTreePredType 61f770f... isTauTy should be True for LitTy (see Trac #7459) 0cb35b5... Mac OS X 10.6 needed for

[commit: ghc] type-nats: Merge remote-tracking branch 'origin/master' into type-nats (b03bc4a)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/b03bc4a894ca41f955ac553de785543bcd2d9091 >--- commit b03bc4a894ca41f955ac553de785543bcd2d9091 Merge: 0ff5f40... 83

[commit: ghc] master: Document the behavior of "info!". (909d52e)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/909d52e20405bf18b5fb337e64318112bb553cd8 >--- commit 909d52e20405bf18b5fb337e64318112bb553cd8 Author: Iavor S. Diatch

Re: [commit: ghc] master: Add ":info!" to GHCi. This shows all instances without filtering first. (2ec32a8)

ed in `Control.Lens.Internal' >> instance Functor (Accessor r) -- Defined in `Control.Lens.Internal' >> *instance Monoid r => Applicative (Accessor r)* >> >>-- Defined in `Control.Lens.Internal' >> instance Gettable (Accessor r) >

[commit: ghc] type-nats's head updated: Merge remote-tracking branch 'origin/master' into type-nats (0ff5f40)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'type-nats' now includes: d92bd17... Remove OldCmm, convert backends to consume new Cmm 9295780... Fix warnings 4dc7d04... replaceLabels: null out the cml_cont field of CmmCall a1ebe37... handle MO_Touch, and generate

[commit: ghc] type-nats: Merge remote-tracking branch 'origin/master' into type-nats (0ff5f40)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/0ff5f40bb12d5b9a30008e942ede8f2aac792936 >--- commit 0ff5f40bb12d5b9a30008e942ede8f2aac792936 Merge: 87d2a63... fe

Re: RFC: Singleton equality witnesses

Hello, Here are my thoughts: * I agree that we should use (:==:) for the name, as it is not specific to singletons. * I don't think that we need the Coq style `Not` as in Haskell we already have this function anyway, so the `Right` case would not be giving any new information and just making th

Re: [commit: ghc] master: Add ":info!" to GHCi. This shows all instances without filtering first. (2ec32a8)

r) -- Defined in `Control.Lens.Internal' In contrast, with ":info!" we get everything that GHCi knows about, so it is quite easy to figure out what's going on. -Iavor On Fri, Nov 30, 2012 at 3:42 AM, Simon Marlow wrote: > On 30/11/12 02:03, Iavor Diatchki wrote: &

[commit: ghc] master: Add ":info!" to GHCi. This shows all instances without filtering first. (2ec32a8)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/2ec32a8e1cb323b230b0c228dbee313647892bf4 >--- commit 2ec32a8e1cb323b230b0c228dbee313647892bf4 Author: Iavor S. Diatch

[commit: ghc] master: Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/ghc (495ef78)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/495ef783a687890ac0268eb436392d7e0e036812 >--- commit 495ef783a687890ac0268eb436392d7e0e036812 Merge: 2ec32a8... e9f38

[commit: ghc] type-nats: Fix uses of (<=?) as a function to reduce properly. (87d2a63)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/87d2a63b8d74422c5f3e3d8c06b9f760983c85dc >--- commit 87d2a63b8d74422c5f3e3d8c06b9f760983c85dc Author: Iavor S. Dia

[commit: ghc] type-nats: Add support for rewriting equations, and add support for (-) as an example. (57b1039)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/57b103920b68d4c4ba622ec4dd3f7af9cd2a >--- commit 57b103920b68d4c4ba622ec4dd3f7af9cd2a Author: Iavor S. Dia

[commit: ghc] type-nats: Add type-level '-' as a known name for GHC. (3a77504)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/3a775041ddaa02bfd75917c60427fc87b04eada4 >--- commit 3a775041ddaa02bfd75917c60427fc87b04eada4 Author: Iavor S. Dia

[commit: ghc] type-nats: Comments (also rename `deepSolve` to `solveWanted`) (81bb0d6)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/81bb0d60dca88f12a32ef0c9212abe3785291bbb >--- commit 81bb0d60dca88f12a32ef0c9212abe3785291bbb Author: Iavor S. Dia

[commit: ghc] type-nats: Merge remote-tracking branch 'origin/master' into type-nats (7fe6922)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/7fe692268761f5422620d82d0ac8c88009bb9b3a >--- commit 7fe692268761f5422620d82d0ac8c88009bb9b3a Merge: 191250b... 12

[commit: ghc] type-nats: Remove unused special case-ing. (90a27e7)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/90a27e7a2e35be4ba66545ad8e2a1f0f99fccaf2 >--- commit 90a27e7a2e35be4ba66545ad8e2a1f0f99fccaf2 Author: Iavor S. Dia

[commit: ghc] type-nats's head updated: Add type-level '-' as a known name for GHC. (3a77504)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'type-nats' now includes: d24ffd6... Remove some more unused .gitignore entries 0c4ed55... Move ghc-pkg's generated Version.hs inside the dist directories 5558bea... Rearrange .gitignore a little 795a3fd... More .gitig

[commit: ghc] master: Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/ghc (121768d)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/121768dec30facc5c9ff94cf84bc9eac71e7290b >--- commit 121768dec30facc5c9ff94cf84bc9eac71e7290b Merge: df04d2d... b78b6

[commit: ghc] master: Allow '-' to be used as an infix type constructor. (df04d2d)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/df04d2d875f4f17b04cd8bd396b62b1eadd932e8 >--- commit df04d2d875f4f17b04cd8bd396b62b1eadd932e8 Author: Iavor S. Diatch

[commit: ghc] type-nats: Fix up to build with renamed promoting functions. (191250b)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/191250b426dbdff013bb0ac49f6ed7a3894e5962 >--- commit 191250b426dbdff013bb0ac49f6ed7a3894e5962 Author: Iavor S. Dia

[commit: ghc] type-nats: Merge remote-tracking branch 'origin/master' into type-nats (b6ef352)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/b6ef3529236dcd24a6aa38f80605294a05defc13 >--- commit b6ef3529236dcd24a6aa38f80605294a05defc13 Merge: fb80c00... 1b

[commit: ghc] type-nats's head updated: Merge remote-tracking branch 'origin/master' into type-nats (b6ef352)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'type-nats' now includes: c8bac7c... Elaborate the typechecker's trace slightly 7435825... Add kind-defaulting in simplifyInfer (fixes Trac #7332) 9ab868e... Comments only 81594da... Use isCheapApp in exprIsWorkFree

[commit: ghc] type-nats's head updated: Merge remote-tracking branch 'origin/master' into type-nats (fb80c00)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'type-nats' now includes: aed37ac... Add a ToDo comment a7c0387... Produce new-style Cmm from the Cmm parser 620d885... expand tabs 6e95114... fix a warning e1846d7... Fix a dependency bug in the build system

[commit: ghc] type-nats: Merge remote-tracking branch 'origin/master' into type-nats (fb80c00)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/fb80c004f22f60d8fb21f1d9ffabb8450ee428d8 >--- commit fb80c004f22f60d8fb21f1d9ffabb8450ee428d8 Merge: 7a5f592... 81

[commit: ghc] type-nats's head updated: Merge remote-tracking branch 'origin/master' into type-nats (7a5f592)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'type-nats' now includes: 4026038... Nicer pretty printing for tuple kinds ad0139a... Merge branch 'master' of http://darcs.haskell.org/ghc 7fdc2a3... Add missing case in TcUnify.matchExpectedFunKind f6983ef... Change

[commit: ghc] type-nats: Merge remote-tracking branch 'origin/master' into type-nats (7a5f592)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/7a5f592b449ae7841bf58fc21df60aa3b3a96d0a >--- commit 7a5f592b449ae7841bf58fc21df60aa3b3a96d0a Merge: 2355fdc... 4a

[commit: ghc] type-nats's head updated: Merge remote-tracking branch 'origin/tc-untouchables' into type-nats (2355fdc)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'type-nats' now includes: 7babb1b... Big changes on tc-untouchables branch 5b4fef6... When floating constraints outwards, promote the floated type variables 0d55e1e... Avoid emitting Given constraints for spontaneous unifi

[commit: ghc] type-nats: Merge remote-tracking branch 'origin/tc-untouchables' into type-nats (2355fdc)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/2355fdca27b17213b2f8d77a75eb83016ce32193 >--- commit 2355fdca27b17213b2f8d77a75eb83016ce32193 Merge: 723a2bc... 6e

[commit: ghc] type-nats: Merge remote-tracking branch 'origin/master' into type-nats (723a2bc)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/723a2bc697c3ae06a3391a08a7d1b51c68fe581b >--- commit 723a2bc697c3ae06a3391a08a7d1b51c68fe581b Merge: 6be7783... 42

[commit: ghc] type-nats: Bugfix: don't generate infinitely many obvious facts. (5b73674)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/5b73674a4649a835360cfd330d758399420e17bd >--- commit 5b73674a4649a835360cfd330d758399420e17bd Author: Iavor S. Dia

[commit: ghc] type-nats: Add custom improvement rule for `FromNat1`. (6be7783)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/6be778310724e5a0b1317f2f6962728d48645c6b >--- commit 6be778310724e5a0b1317f2f6962728d48645c6b Author: Iavor S. Dia

[commit: ghc] type-nats: Add type constructors for unary view of type-level nats. (b7203d7)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/b7203d7731b86fc96c3fdf661c242179bafa955b >--- commit b7203d7731b86fc96c3fdf661c242179bafa955b Author: Iavor S. Dia

[commit: ghc] type-nats: Some rules (partially) specifying that FromNat1 is injective. (1fa0796)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/1fa0796114153d00b298d6b83e2725fef36790c7 >--- commit 1fa0796114153d00b298d6b83e2725fef36790c7 Author: Iavor S. Dia

[commit: ghc] type-nats: Add names for types/functions for unary of type-level nats. (80edd5a)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/80edd5acfac71075ddaaa8112a451788575b8a71 >--- commit 80edd5acfac71075ddaaa8112a451788575b8a71 Author: Iavor S. Dia

[commit: ghc] type-nats: (for debuging) Make it easier to switch traces on and off (014a2d2)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/014a2d2b479cb3da44adb4059b7f7314b38a9fdf >--- commit 014a2d2b479cb3da44adb4059b7f7314b38a9fdf Author: Iavor S. Dia

[commit: ghc] type-nats: Just a note. (fca0545)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/fca0545b4713183f7f7c5a8a23c77b1ff2ea3234 >--- commit fca0545b4713183f7f7c5a8a23c77b1ff2ea3234 Author: Iavor S. Dia

[commit: ghc] type-nats's head updated: Merge remote branch 'origin/master' into type-nats (bce5989)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'type-nats' now includes: b660cc0... make sure to remove the right link before calling 'ln -s' (could we use 'ln -sf'?) 8aabe8d... Fix fencepost and byte/word bugs in cloneArray/copyArray (#7185) de3a8f7... Cleanup: add mk

[commit: ghc] type-nats: Merge remote branch 'origin/master' into type-nats (bce5989)

fa2... b92c76e... Author: Iavor Diatchki Date: Thu Sep 20 13:59:24 2012 -0700 Merge remote branch 'origin/master' into type-nats aclocal.m4 |5 +- compiler/basicTypes/Literal.lhs| 52 +- compiler/basicT

[commit: ghc] type-nats: Remove leftovers of previous refactoring. (bc46e9b)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/bc46e9b19afef2f806db62046231aee03183b309 >--- commit bc46e9b19afef2f806db62046231aee03183b309 Author: Iavor S. Dia

[commit: ghc] type-nats: Back to generating derived facts (+ comment clarifications & renaming) (3cc3fa2)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/3cc3fa23897bf424dc058789fca6ab9d7e790dca >--- commit 3cc3fa23897bf424dc058789fca6ab9d7e790dca Author: Iavor S. Dia

[commit: ghc] type-nats: Remove unused Outputable instance. (e7f4de8)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/e7f4de84dc3a2155b3870eab30a1b7a2499ed202 >--- commit e7f4de84dc3a2155b3870eab30a1b7a2499ed202 Author: Iavor S. Dia

[commit: ghc] type-nats: Prefer Wanteds over Derived when solving family equations: (62b03d0)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/62b03d048ba69a573ea92c053d3e7cf2c1c88d93 >--- commit 62b03d048ba69a573ea92c053d3e7cf2c1c88d93 Author: Iavor S. Dia

[commit: ghc] type-nats: Add some extra impossible cases (x + 5 ~ x) (0d898ce)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/0d898cef94e7693a876a013ff4bb50dac4a0f943 >--- commit 0d898cef94e7693a876a013ff4bb50dac4a0f943 Author: Iavor S. Dia

[commit: ghc] type-nats: Some simple rules about interactions between computation and ordering. (9df3de5)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/9df3de5f5566735e175d64e193f3c46cf95d2ff1 >--- commit 9df3de5f5566735e175d64e193f3c46cf95d2ff1 Author: Iavor S. Dia

[commit: ghc] type-nats: Fix to avoid missing unsolved constraints (XXX: check with GHC HQ about this) (ca6fa12)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/ca6fa121bbf0ee0cb7a4675face0566e5e1861c7 >--- commit ca6fa121bbf0ee0cb7a4675face0566e5e1861c7 Author: Iavor S. Dia

[commit: ghc] type-nats: Improvements to use of ordering model (and remove traces). (c811cef)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/c811cef219a90b51ebe0d808606d587bd844fbda >--- commit c811cef219a90b51ebe0d808606d587bd844fbda Author: Iavor S. Dia

[commit: ghc] type-nats: Checkpoint. So far: (0de83ff)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/0de83ffaa6815f43b3f801ba6b55699a4897c707 >--- commit 0de83ffaa6815f43b3f801ba6b55699a4897c707 Author: Iavor S. Dia

[commit: ghc] type-nats: A bit more integration for reasoning about order. (81609b6)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/81609b630c719b85a5b0de127d431ae5a0029174 >--- commit 81609b630c719b85a5b0de127d431ae5a0029174 Author: Iavor S. Dia

[commit: ghc] type-nats: Port more of the ordering data structure. (66f4f61)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/66f4f614ea3f6124252411fbb532dee6c41d885e >--- commit 66f4f614ea3f6124252411fbb532dee6c41d885e Author: Iavor S. Dia

[commit: ghc] type-nats: Merge branch 'type-nats' of ssh://darcs.haskell.org/srv/darcs/ghc into type-nats (8659b63)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/8659b63495636fb2fbdcda740dfe8b4fe198 >--- commit 8659b63495636fb2fbdcda740dfe8b4fe198 Merge: 66f4f61... 18

[commit: ghc] type-nats's head updated: Merge remote-tracking branch 'origin/master' into type-nats (1857071)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'type-nats' now includes: 2c6d11f... Re-jig the reporting of names bound multiple times 1a591a0... Refactor the way we infer types for functions in a mutually recursive group a0788a8... Fix missing case in coVarsOfTcCo

[commit: ghc] type-nats: Merge remote-tracking branch 'origin/master' into type-nats (1857071)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/18570719202a94958195eeb6e40c76d7cc4da360 >--- commit 18570719202a94958195eeb6e40c76d7cc4da360 Merge: b0f1171... bc

[commit: ghc] type-nats: Merge remote-tracking branch 'origin/master' into type-nats (b0f1171)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/b0f1171fa871ea1baf1a8a0096dcb10ed198427f >--- commit b0f1171fa871ea1baf1a8a0096dcb10ed198427f Merge: 3d366a8... f2

[commit: ghc] type-nats's head updated: Merge remote-tracking branch 'origin/master' into type-nats (b0f1171)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'type-nats' now includes: cd627bc... Do calcUnfoldingGuidance on the *non* occ-analysed RHS 887e7c4... Make seqType etc take accouunt of kinds that are now non-trivial 0b20ae9... Make SizeIs strict in the bag, which improve

[commit: ghc] type-nats: Add a signature to avoid warning. (3d366a8)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/3d366a830f83c24ae2542e5592ca3cc4f6cf5a19 >--- commit 3d366a830f83c24ae2542e5592ca3cc4f6cf5a19 Merge: 6237dfb... fc

[commit: ghc] type-nats: Start in porting the Leq database data structure. (6237dfb)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/6237dfb18f63be55dd6ebd3adf6d766e7b5496c4 >--- commit 6237dfb18f63be55dd6ebd3adf6d766e7b5496c4 Author: Iavor S. Dia

[commit: ghc] type-nats: Tweak the rules, so that they work for the common case. (6ab9460)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/6ab946000fdb483d1921a1c7f6f068a900bec790 >--- commit 6ab946000fdb483d1921a1c7f6f068a900bec790 Author: Iavor S. Dia

[commit: ghc] type-nats: Disable widening rules for the moment. (fc2a968)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/fc2a968886a5b1335658062b2119e7d45b16c1e7 >--- commit fc2a968886a5b1335658062b2119e7d45b16c1e7 Author: Iavor S. Dia

[commit: ghc] type-nats: Merge remote-tracking branch 'origin/master' into type-nats (b27280b)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/b27280b2afe93f692ecdcba4124e5a5e68e46c94 >--- commit b27280b2afe93f692ecdcba4124e5a5e68e46c94 Merge: 3f2fe73... 46

[commit: ghc] type-nats's head updated: Merge remote-tracking branch 'origin/master' into type-nats (b27280b)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'type-nats' now includes: 647ae1c... New functions to get kernel thread Id + serialisable task Id 810f0be... Fix compile failure on non x86/x86-64 (#7054). 1057547... Don't re-allocate %esi on x86. c9cb46b... Don't loo

[commit: ghc] type-nats: Add a new TyThing for CoAxiomRule. (f99601f)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/f99601f57963b51a7715392c4bb2c61ca21fa049 >--- commit f99601f57963b51a7715392c4bb2c61ca21fa049 Author: Iavor S. Dia

[commit: ghc] type-nats: Use WiredIn names for the axiome rules. (3f2fe73)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/3f2fe73dd103cba840648d5e3d90c9c6f554e73c >--- commit 3f2fe73dd103cba840648d5e3d90c9c6f554e73c Author: Iavor S. Dia

[commit: ghc] type-nats: Move CoAxiomRule from Coercion to TypeRep/Type. (611bf88)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/611bf8832bd865cde9d9699368e8893763f0348a >--- commit 611bf8832bd865cde9d9699368e8893763f0348a Author: Iavor S. Dia

[commit: ghc] type-nats: An experiment with forward-chaining to look for solutions. (7b75920)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/7b759202d40403211ae764cce0f1e22d9a0e151c >--- commit 7b759202d40403211ae764cce0f1e22d9a0e151c Author: Iavor S. Dia

[commit: ghc] type-nats: Some comments on `ActiveRule`s. (cd229c2)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/cd229c2f1ee7382269ef3eafb446ab39cd763402 >--- commit cd229c2f1ee7382269ef3eafb446ab39cd763402 Author: Iavor S. Dia

[commit: ghc] type-nats: Remove unused dynFlags. (6c5b176)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/6c5b176cf863ef49dd6f8e73aade9aedcc8e4386 >--- commit 6c5b176cf863ef49dd6f8e73aade9aedcc8e4386 Author: Iavor S. Dia

[commit: ghc] type-nats: Refactor in preparation for adding some backward reasoning. (53fc066)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/53fc066510ef24fd71910ad30443e76f3a8b0983 >--- commit 53fc066510ef24fd71910ad30443e76f3a8b0983 Author: Iavor S. Dia

[commit: ghc] type-nats: Add improvement rules for (*) and (^). (83373a4)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/83373a471289081caff5d7a7021e1ccbad02e716 >--- commit 83373a471289081caff5d7a7021e1ccbad02e716 Author: Iavor S. Dia

[commit: ghc] type-nats: Improve representation of AxiomRules. (3852050)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/38520502de425efe52bf061724249556f5382d0b >--- commit 38520502de425efe52bf061724249556f5382d0b Author: Iavor S. Dia

[commit: ghc] type-nats: Some simple support for <=. (f77108e)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/f77108e71ea0087caa9f3eb43796b9d1a77d4dc3 >--- commit f77108e71ea0087caa9f3eb43796b9d1a77d4dc3 Author: Iavor S. Dia

[commit: ghc] type-nats: Move type-nat functions into TysWiredIn (instead of TysPrim) (44e504e)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/44e504e6ed0176d39790ec4dc9e7cbf481ac5428 >--- commit 44e504e6ed0176d39790ec4dc9e7cbf481ac5428 Author: Iavor S. Dia

[commit: ghc] type-nats's head updated: Add 2 cancellation rules. (aeee8ce)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'type-nats' now includes: ab67c2a... More codegen refactoring with simonpj f409ff9... Optimise UniqSM 919a298... Optimise FuelUniqSM 46b0313... Snapshot 00c3616... add missing files 1ebefd3... remove unused c

[commit: ghc] type-nats: Merge remote-tracking branch 'origin/master' into type-nats (a39d953)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/a39d953320d2c8bc8b2c25c1cf5cbd7d3503e8da >--- commit a39d953320d2c8bc8b2c25c1cf5cbd7d3503e8da Merge: 5be2982... f3

[commit: ghc] type-nats: Make unsolved "wanted" compute some "derived" constraints. (006ccf0)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/006ccf031b1c4aeb19d90c7f483fb5bf2f588bcf >--- commit 006ccf031b1c4aeb19d90c7f483fb5bf2f588bcf Author: Iavor S. Dia

[commit: ghc] type-nats: Add 2 cancellation rules. (aeee8ce)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/aeee8ce82cc6007845a02c1a5c44a055079251fa >--- commit aeee8ce82cc6007845a02c1a5c44a055079251fa Author: Iavor S. Dia

[commit: ghc] type-nats: Fixes to the rules. (5be2982)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/5be2982152cff8ebaa8993c31bab3f0fb70ab2c0 >--- commit 5be2982152cff8ebaa8993c31bab3f0fb70ab2c0 Author: Iavor S. Dia

[commit: ghc] type-nats: Use GHC's Ct type instead of a custom tuple. (025f8bd)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/025f8bd4ed93ca429b4b6d13e9e0e98870bad7ea >--- commit 025f8bd4ed93ca429b4b6d13e9e0e98870bad7ea Author: Iavor S. Dia

[commit: ghc] type-nats: Organize code by function and add comments to explain what's going on. (b261677)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/b2616770752dbe9069bcfa2b4f1f528e407c3cd2 >--- commit b2616770752dbe9069bcfa2b4f1f528e407c3cd2 Author: Iavor S. Dia

[commit: ghc] type-nats: Remove the unique from CoAxiomRule. (c7ff122)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/c7ff12269aa64c38437e10eaa2aeeb888d3d9cf9 >--- commit c7ff12269aa64c38437e10eaa2aeeb888d3d9cf9 Author: Iavor S. Dia

[commit: ghc] type-nats: Remove the big enumeration of axioms. (ee407c9)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/ee407c931c4fb61f6472deae1420b837662a6723 >--- commit ee407c931c4fb61f6472deae1420b837662a6723 Author: Iavor S. Dia

[commit: ghc] type-nats's head updated: Remove the unique from CoAxiomRule. (c7ff122)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'type-nats' now includes: d209588... A build-system tweak for more readable build output. 7befd21... Merge remote-tracking branch 'origin/master' into pretty-build c08df44... Remove the unused Type field from StgLam 79

[commit: ghc] type-nats: Refactoring: move reasoning into TcTypeNats, leaving only the rules in TcTypeNatRules. (271cbce)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/271cbce613c70d52f73473761a921577f7b5be2e >--- commit 271cbce613c70d52f73473761a921577f7b5be2e Author: Iavor S. Dia

[commit: ghc] type-nats: Checkpoint: one step givens, using new rule representation. (8fe65d3)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/8fe65d3a2626e90008ceb0b89b1c14743dfe8ebe >--- commit 8fe65d3a2626e90008ceb0b89b1c14743dfe8ebe Author: Iavor S. Dia

[commit: ghc] type-nats: A few more functions using the new rule data structure. (733ed8e)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/733ed8e2c37979935abff57e3568aa3d2a0f >--- commit 733ed8e2c37979935abff57e3568aa3d2a0f Author: Iavor S. Dia

[commit: ghc] type-nats: Merge remote-tracking branch 'origin/master' into type-nats (c92efe0)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/c92efe0a8712c96a84e3d8616a3869e833c1c21e >--- commit c92efe0a8712c96a84e3d8616a3869e833c1c21e Merge: 830d6ba... 96

[commit: testsuite] branch 'imp-param-class' deleted

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite Deleted branch: imp-param-class ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

  1   2   3   >