aboutsummaryrefslogtreecommitdiffstats
path: root/tests (follow)
Commit message (Collapse)AuthorAgeFilesLines
* updated hpcAdam Vogt2014-05-021-10/+0
| | | | | | Ignore-this: a7f72dfb7414f48c55441eda6aaa1236 darcs-hash:20140502184904-1499c-b3f8164fb4cce1e3d40feaa5f0346066d3efc7f2.gz
* update testsuite (mostly due Jesper Reenberg)Adam Vogt2014-05-0218-1182/+1219
| | | | | | | | | | Ignore-this: a5e926aa4e397e70d56e3c9db7108d5b * use quickcheck2 * run them using cabal's test-suite field * split up Properties into separate files darcs-hash:20140502180146-1499c-dc8c09c3ec76a42a0e146925adce960435dc81db.gz
* loc.hs: hlintifygwern02010-02-141-2/+2
| | | | | | Ignore-this: c447928ce68d0a968b55af3539c979fa darcs-hash:20100213231537-f7719-a5c1073d4a25076f08de63521bc37f5833fc7a5b.gz
* Correct warnings with ghc-6.12Adam Vogt2010-01-181-3/+3
| | | | | | | | | | | | | | | | Ignore-this: a48ed095b72aedec9eeb88781ace66dc Changes include: - compatibility with base-4 or 3 (base-2 untested) by using extensible-exceptions. This adds an additional dependency for users of ghc<6.10) - list all dependencies again when -ftesting (change in Cabal-1.8.0.2) - remove unnecessary imports - suppress -fwarn-unused-do-bind, with appropriate Cabal-1.8 workaround, described here: http://www.haskell.org/pipermail/xmonad/2010-January/009554.html darcs-hash:20100118181532-1499c-5c496678ef76f2f50b43b0fc4582cfef7c237654.gz
* add W.shiftMaster, fix float/tile-reordering bugDevin Mullins2008-09-111-0/+17
| | | | darcs-hash:20080911053909-78224-d050fdbedac4eb39a96f30ec0679a9b67d274091.gz
* add currentTag convenience functionDevin Mullins2008-05-121-0/+4
| | | | darcs-hash:20080511224258-78224-93d0cc4af977965e2e27e96efb67a6f362ebbbc1.gz
* more testsDon Stewart2008-03-231-1/+13
| | | | darcs-hash:20080323003436-cba2c-f896cff759d6413571b6c32f2a78f64e6399feea.gz
* some tests for the size increment handling in Operations.hsDon Stewart2008-03-231-0/+18
| | | | darcs-hash:20080322234952-cba2c-5bc18928813ea1674988a6857a15eedde696bf7d.gz
* more properties for splitting horizontally and verticallyDon Stewart2008-03-221-0/+46
| | | | darcs-hash:20080322201835-cba2c-df24122dea6b44f14c6e20ce94a79708d3a8e777.gz
* test message handling of Full layoutDon Stewart2008-03-221-2/+10
| | | | darcs-hash:20080322192728-cba2c-661520de0c39367c99077e9487e0ff1054c4f024.gz
* QuickCheck properties to fully specify the Tall layout, and its messagesDon Stewart2008-03-221-8/+71
| | | | darcs-hash:20080322041801-cba2c-7b768f19071ebe953f51577d3111d53b6afb3bb4.gz
* add hpc generation scriptDon Stewart2008-03-221-0/+10
| | | | darcs-hash:20080322041640-cba2c-63c9e0a162cea3ea3eb919516c7875f2beecd29d.gz
* add QuickCheck property for Full: it produces one window, it is fullscreen, ↵Don Stewart2008-03-221-1/+14
| | | | | | and it is the current window darcs-hash:20080322002026-cba2c-3642c7cb7aab09cd86ab0e7c7ac43840f0c7f1a6.gz
* QC for pureLayout. confirm pureLayout . Tall produces no overlapsDon Stewart2008-03-221-0/+13
| | | | darcs-hash:20080322001229-cba2c-b9d9ced9a89cde9f5399f25355b6d43514a5bdc0.gz
* reenable quickcheck properties for layouts (no overlap, fullscreen)Don Stewart2008-03-221-5/+3
| | | | darcs-hash:20080321234015-cba2c-56ead600613e43978a996f82991d6e5a6f4ca962.gz
* add property for ensureTags behaviour on hidden workspacesDon Stewart2008-03-101-0/+18
| | | | darcs-hash:20080310182557-cba2c-9e539e452dbcb111fc47098dd762811c8334d4d8.gz
* more general properties for view, greedyViewDon Stewart2008-03-071-2/+2
| | | | darcs-hash:20080307181657-cba2c-cbce57144f581da1aa34ef78dcadba41f7207a5d.gz
* bit more code coverageDon Stewart2008-03-071-0/+5
| | | | darcs-hash:20080307180905-cba2c-723aab5ae3ca821207bdc70dbd05a8da8d1822ea.gz
* more tests. slightly better test coverageDon Stewart2008-02-271-5/+7
| | | | darcs-hash:20080227180113-cba2c-74897f1ccbdc69956bd99c9a90aa3b11c469a4fe.gz
* test geometry settingDon Stewart2008-02-271-0/+7
| | | | darcs-hash:20080227175554-cba2c-e4615f2c9c25cea28ab0abbdb2ce9291247069c4.gz
* incorrect invariant test for greedyViewDon Stewart2008-02-251-1/+9
| | | | darcs-hash:20080225180350-cba2c-95b57af5f105496a17148c49578ae83d1e0f0a35.gz
* Roll testing into the main executable, use Cabal to build the testsSpencer Janssen2008-01-192-11/+3
| | | | darcs-hash:20080119091215-a5988-8f5f48e8c40a0f39abdf6ffe4d4dc938ab8c7ef1.gz
* HierarchifySpencer Janssen2007-11-011-2/+2
| | | | darcs-hash:20071101180846-a5988-25ba1c9ce37a35c1533e4075cc9494c6f7dd5ade.gz
* This is a massive update, here's what has changed:Spencer Janssen2007-11-011-1/+0
| | | | | | | | | | | | | | * Read is no longer a superclass of Layout * All of the core layouts have moved to the new Layouts.hs module * Select has been replaced by the new statically typed Choose combinator, which is heavily based on David Roundy's NewSelect proposal for XMonadContrib. Consequently: - Rather than a list of choosable layouts, we use the ||| combinator to combine several layouts into a single switchable layout - We've lost the capability to JumpToLayout and PrevLayout. Both can be added with some effort darcs-hash:20071101064318-a5988-c07c434c7a1108078d6123a4b36040ed6597772b.gz
* Replace 'findIndex' with 'findTag', which more accurately describes what the ↵Brent Yorgey2007-10-221-5/+5
| | | | | | | | | function does. I realize this is a big change, but the name 'findIndex' was confusing for me, since I expected it to return some sort of integer. What it actually does, of course, is return a workspace tag, which might be more general than an index. Of course, this change breaks several contrib modules; I'll submit a patch to make the change there as well. darcs-hash:20071022204105-bd4d7-9f5d5b8ce00c61b4830fde329f528b2d79af2fa6.gz
* Whitespace fixes for Properties.hsSpencer Janssen2007-10-151-11/+11
| | | | darcs-hash:20071015022757-a5988-8e5172ea769e1c99abf1cc7f7630f3aa9dd68856.gz
* The empty line isntcomment.Ferenc Wagner2007-10-061-1/+0
| | | | | | There is a separate filter for that case. darcs-hash:20071006191231-e7ae2-b8b0c7acd3cdf6119ef6d40cc08f8d054838c306.gz
* add mapWorkspace testsDevin Mullins2007-10-061-0/+8
| | | | | | (just completely duplicated the two mapLayout tests :) darcs-hash:20071006073129-78224-d1303612fd8e2f9ede740831b031a88914ee833a.gz
* comment out type error'd propertyDon Stewart2007-10-061-0/+2
| | | | darcs-hash:20071006102225-cba2c-50bba511cd0c7de03f86b98547ca7114b1592375.gz
* add floating propertyDon Stewart2007-10-061-0/+6
| | | | darcs-hash:20071006100654-cba2c-bd3552becda4ce11803c40285685230c41bcce66.gz
* Add mapLayoutSpencer Janssen2007-10-051-0/+7
| | | | darcs-hash:20071004234537-a5988-504015d5c938a232d1355c0f3c602cf366c20aea.gz
* extract Properties module for re-use by contrib testsDevin Mullins2007-10-042-0/+9
| | | | | | | | | | | I want to reuse Properties' Arbitrary instance (as well as the T and NonNegative types) in an upcoming set of SwapWorkspaces QC props. `module Main where import Main` doesn't work too well. :) If this patch is accepted, the darcs 'test' pref should be modified to "-itests tests/Main.hs". darcs-hash:20071004075852-78224-6f84d89566894e33266a7c3b4d0cde5be7ec2918.gz
* Add StackSet.allWindowsSpencer Janssen2007-10-011-0/+3
| | | | darcs-hash:20071001163959-a5988-243d115545b70eafcaaedd9440ddf525ea15aa32.gz
* deeper test for differentiate. back to 100% coverageDon Stewart2007-09-301-1/+1
| | | | darcs-hash:20070930075018-cba2c-48c2b170e452ef6db4957c1088ef9ab4d42a7505.gz
* properties for tag renamingDon Stewart2007-09-301-0/+21
| | | | darcs-hash:20070930074641-cba2c-f0ba43bf6d62f372dfee8dfdadf4fe66677e0510.gz
* test lookupWorkspace more deeplyDon Stewart2007-09-301-0/+10
| | | | darcs-hash:20070930073822-cba2c-7b661e5bdbdcf99b64f785897af2ecc4278471ea.gz
* 100% coverage of alternative branchesDon Stewart2007-09-291-2/+9
| | | | darcs-hash:20070928235745-cba2c-c8d9bd87100da803d11d00300bfd6486bbc29911.gz
* add some more properties for failure casesDon Stewart2007-09-291-0/+29
| | | | darcs-hash:20070928233230-cba2c-291d995afedb1c3d1cf1ac4f8e69170b24029551.gz
* add (unused) Layout to StackSet.David Roundy2007-09-201-14/+16
| | | | darcs-hash:20070920212843-72aca-4c73a99b58ebd9d1d179c5e627cbf4823493f4ab.gz
* add prop for 'differentiate'Don Stewart2007-09-281-0/+5
| | | | darcs-hash:20070927231928-cba2c-84668ba6dab69541e063eaabf57724c13a28a916.gz
* new QC properties: floating a window is reversible, screens includes current ↵Don Stewart2007-09-281-0/+18
| | | | | | screen darcs-hash:20070927220431-cba2c-1f2e67435aec367ee45d0bcbf1e9178f83ff8a71.gz
* Add 3 QC properties for focusMaster: local, idempotent, preserves invariantDon Stewart2007-09-271-2/+19
| | | | darcs-hash:20070927214401-cba2c-4d5e8646bcc9d21b844f56e7cea13b9af26de7c1.gz
* Fix float behaviour, add shiftWin.Karsten Schoelzel2007-09-101-0/+23
| | | | | | | | | | First, if float is called with window which is on a hidden workspace, then the window will remain on that hidden workspace. Now the focus should change more as expected: float w darcs-hash:20070910090329-eb3a1-ae150bf783b36fb4811e92d81b4917066c8733b7.gz
* Add greedyView, make it the default action for mod-werSpencer Janssen2007-08-151-0/+36
| | | | darcs-hash:20070815025504-a5988-00ff316a056c48cc07c5e90925702d2ac09ae666.gz
* QuickCheck filter preserves orderKarsten Schoelzel2007-07-281-0/+12
| | | | darcs-hash:20070728184534-eb3a1-68bbf44ab26db69a4aa75fb97cb516ebf6c963bb.gz
* Move screen details into StackSetSpencer Janssen2007-06-291-26/+31
| | | | darcs-hash:20070629213917-a5988-3ad31d8f028efcec41c9c4805c01c2d42c0009b2.gz
* add 2 properties to state where focus goes on delete of focused windowDon Stewart2007-06-261-1/+24
| | | | darcs-hash:20070626040907-9c5c1-397ec2ac01fda2e3f307605bf0f765bbc5724350.gz
* make workspace tag not need to be a Num.David Roundy2007-06-141-42/+29
| | | | | | | | | This change also removes the barely used 'size' field, and replaces it with a tagMember predicate. The idea is to move towards the ability to make the workspace tag be a String, which by default might be "1".."9", but could also be customized to be something meaningful to the user. darcs-hash:20070614140709-72aca-dbc1ce07bf964e4cff69deef95b453a0051ef782.gz
* make focus, up and down complete functions.David Roundy2007-06-121-13/+9
| | | | | | | This is a rerun of my change to make (Stack a) never be empty. Gives us more type-safety. darcs-hash:20070612150555-72aca-5f6e43aa33979c71679a73b44d93f9e2b8f9d2a8.gz
* Add StackSet.filterSpencer Janssen2007-06-111-1/+1
| | | | darcs-hash:20070611165154-a5988-8c46751ffd4bd03249656e3b467b8e7569c48b09.gz