[cabalised
martin.hofmann@uni-bamberg.de**20090515135107] rmdir ./src/log
binary ./ModuleDependencies.dia
oldhex
*1f8b0800000000000203ed9ddb72e3361286eff3142ee75686893310edccd666b2a9a42aa9a432
*c9b58bb639b636b4a895e899f1cd3efb0224655b278a1208d99af95d3507d92d369ba67ee203ba
*1bfff8e7e7bbfce463369d8d8af19b534a92d3936c7c555c8fc6376f4efffaf3c73373facfb7df
*fce37a947ee7fedc4cd3bb13f78ef1ccbf7a737a5b9693efcecf3f7dfa44f287595a1653928fee
*c92c3bff5f9ae7e9b9333a3f7dfbcdc9c9f3035ca765eabfd77c372dcbe9e8f2becc4ec6e95df6
*e6f432bdfafb665adc8faf4f6babc6eeaac88be9c9c7347f73faed87eaebf4bc39ccf9c2715a8e
*3d496fb2cb6996febdf9d089fbb2769f434fb2e9f261ef26c56ce44cca87c98ac986e3f8bf9fd9
*3456336734be79fbedbfc4b7f52935df783ad6ba13dde8a4bc4ba737a3f1aa1f776df2fa423062
*1863ee62486b6ca285a6f36bb2bbbbcbc3bacb0feb6e7a5877a3d9c5a49896d37454aebabc2c8a
*3c4bc7b5d7727a9fedef677695e6ee166b0b2b208a0fa3b22cb69cff87349f7509a0fef6e3a76d
*d74feecd7474ddfec15db0d870944fa3ebf2f6e273a4cb551ffd21d2d13f8e66a3cb3c5b77f6a3
*71d9dbe11ffa39fcf26fa752efa7b707de0df5d1363e1eae4d2633b9fbe3e1e67e749dcdb6dc66
*8b361b8e74db989d6fbbeacb765d2f4cfdada58775e5224f1fb26973f8ef9f1ed327cd2fb8519c
*6757a1b8fc4f765536e1fdf5eb2f276727bf38b1cc7e776f768fe2d3a791871b778caedf9cfe96
*2c5ea2e5a0dc019dfaad5ca349f17823714184d26a4029515ccbe5f057c563939bcbcb652f5317
*4b3abec9b3274fd47b4a88345a0e1525c6bf160951665fcf599edd5d5c15d3f1ea48a1ef202b57
*95b0ac06faf8e0d284d9e75f3ac0d76d36bab92d5b9cd9fd0eee1e53d985ff90deaf5cb3e5915d
*92ece7e2c328cf3bb8581c97eee6a2cc3e9791a39895d9342bfca771d9c37c7cb97674b98b8ba5
*e1ebc2c1df3f8ccbf4737717f5376b0d0912151a2a2a3221dc7fde842249544df18e2a0d912461
*4e522451fea55444c755943e22ec22285412963cffe21105c529b392cf9d2908cc972c30bf1437
*0ec46e5e406158a8c2684b8449f8e04cbb41058b2931de13f79e8c1b43388db19c24deb371ffc4
*d5985e62ec24329c4871a8518b5334b1e00ca3982f5a64de15631fe4fe2253bfae586a2d59fd58
*4c6bb03aa1bba1d5bb3c9dcdd688130f1527c6066722a224314aac742e482287cc12a3dc0b4ae2
*8a51404c5d24483b165c187a8898e044a8ed83d25a6ffb34cf7fc826d9f83a1b5f8db259f067ec
*001fe3abe2ee2e1b97d18e9f5ebaf7a6572b0eda663177ba44f793c9349bcd2e1e7f308beeaa98
*64d3b474fa11cdd57c3ab063508bb3d8fb38ea1852b8a3e67e8b76e53e4dd349fc682a2fe907f7
*f1bcb8ba4d5734f45141c59ecfefe62a5d54039e3c1bdfaceae8d3b4b00ef351a61511c4fa853c
*8ed9e20fd9e28fd8a2c5302ea677697ef1a1589562ffbd930fe9dd287f78737a578c8bd924bd72
*80352b1ffca0c78d60ea43bc73e3c95136ddcfff5ca6f7390363964ee1ecfb22bffeed321ffd77
*dfcfd7a4c81fee8ae9e47674b5d7192d9f50d0c95cf931a3ffeff65399a54e721ecfe2f157f353
*967fcccad1555a5d99c0dfd0dea763d69f4ed8b5694464c753593d93a0b378f6e9d93a104c8849
*16bf443ff7e8e13c2f7c580fe776f1c6db0efdbddee7b1dc3dbf813b5c4ab5081176cfd9d267e3
*baf376367c1ac99c6f7944dd4df2b4cc623dc6e7c79f2daeeb769917dcc4dc22781dd338001e30
*22ac3534e62aa6f3e3dd08e7662828918ac981205aecedb6e31266787c9d16308976013dd30776
*e41cfec77d0ef8067c03be01df806fc037e01bf00df8067c03be01df80ef06be65287c8b2aab97
*c74cc311d2af797b2f4361093703ca888a09dc613175616d4e385f90037ae4acbd6bc22a601bb0
*0dd8066c03b601db806dc036601bb00dd8066c7fd1b0ad82619b1231f0251b92f298c04d1dfc56
*7e12ea985b11a30754ba4f15e551b13b38ba2ee82d8958c2e12347ef7f7fae20cd7f64c0dfe06f
*f037f81bfc0dfe067f83bfc1dfe06ff037f81bfc5df1b70ece34a78333aa888dda2b2ba92abca9
*1e7245b8f1ff154447cd2f0f8baa1b74f3a0e5f4d7c0d93f3d4c8af2369b21a71c980dcc066603
*b381d9c06c6036301b980dcc06667f7598fdd8e3eae1196bd386b54d306b73a2946ef0372a7073
*df39b6766486c2b7a8a67cc088ddbfaebb9896b717552cfb44d862690867ad96eef429a77c07cb
*b0ba791f68e11ec5ab4f896c7c7fb7ae61fde2cf92969f859c537a5f16d3e23ee6e7267af7c603
*b4b96c9bef3886598eeb69fae9229d4e8b4f3d01e155311e3b79f0c2bc72c9e73f39b94dc7d7cd
*10bd2caa79c593a79fbe39552bf7f49af7d2e6bd62f1bd74751382a513ea499fedd1e8339344c8
*477d766e75a5d63e4fe8f5a9739b9d0bc426bbd80988324419a27c7851e6f14479d3da140ddfce
*8512e644837162a20e979d9bca8bad16a8bc4e311ab71e333cb26e6b544e74932fa8ff915fb07a
*efe7cfb05e85f52aac5761bd0aeb5558afc27a15d6abb05e85f52aac5761bd0aeb554ff3a194f6
*3021aacd1c87232f5831da38d2432e08ad97af14893d21ba36be164b6a1788bd6d92b5bb6540fe
*2d26463131fad54f8cd224606654bfc0cc68f08e91ca0d3daa65171b5195bd93ca871c2a41181f
*9ca9bd1f03dda64543c3fa2a1bd5fdfcdb0f699962461433a29811c58c28664431238a1951cc88
*62461433a29811c58c280ae56be40ede075d08427d9266e2fe89d9a9ceb9a9bc30df1a9e7a974c
*07f1f0f62e75c19175e16e412c3df682f99f6f8ae9afc538bd066d83b641dba06dd036681bb40d
*da066d83b641dba06de41f3dcb3f12e13bb11155950d3a02367b035dd70c24ce1b575658ed7bc4
*abaa469371226226216d0eb2cd5612a385ed94b2b4936d40a9d571a722ed4f0cc8444226d26326
*d2529da5d9251369398de96095f354f6a9d436612ae604a92252ce5d49a6868a11abaaac21210f
*25d48b31b60b75abf2ba93977407bbfd33be90290a7d863e07e9337b297d0ede66692e1f8a441d
*445ba27ca729ef467a5d964e970fd0766a6d749bcd12623bb69cea6c899653906648739834b323
*ec3945757fcaac6492c45467a1096b54d2ddea7aaecf3471624dd561f47929c6cda682d056ddd5
*44a9ce662e449e04850875863a439df71d38cb8def8d576215dcad55277ecbd0332149ccd90cef
*a5762287da106a7d5b28c1098f5a67151c5b97842f4db48b267c71ead5647ffd719f673f641fb3
*bc98f88525e48021070c3960c801430e1872c09003861c30e48021070c3960c80143c5554de0c1
*fdf825afea92fc3f1109dc1fbe7622872a21b25ab697495863e6ad041e1c5b3702e78b0da08fbd
*d5c9fb87b1dfaf7434fbf7d80d6ad1051a040e02078183c041e020701038081c040e020781a30a
*eb5986120bde85492a7783731d04c55d33fba96ce8db0ebd5be9dd324bb4b05153fb3785d862e9
*735db7e486ce6b0076314d3c45a31934329590a9b46fa6920d49f1e7f15295da659af62bd32666
*d292f4f9fd8d2b9b1835d4c23db815ab328ae80195daa84e5a2df4b6ada35d004c5401ec60ba7f
*6618841a420da10e126af34219ff2cb877ff938070c245d4ae064a12667d21937765adf642cd2a
*a1e69a181d55a93787d966eb549d6bd15a21201d0e5431ed60cbcda2aca3b101c41a62bd8b589b
*00b1662fb0fb340b6ef8aa38d181cad149a339f1954cde8f2f9a75bacc7d0d00577ef3e6a89bad
*04c7d7aded6b6298089fd17b353908bfa7d372e46f55641f20fb00d907c83e40f601b20f907d80
*ec03641f20fb00d907c83e40fe7f0de0a2870afc0650e316e0cff15b0eb57230ac1bfa8e5d811f
*145b17f496446a2dc269f8d5a0f78ff7e36a92e85d9ae7a06fd037e81bf40dfaeec0c6a06fd037
*e81bf40dfa067d83bebf0afa0e6ee9af2db1323e7e3b2f73fa3692287a18fa0e8dad1b7ebb68be
*24fc7e7f7f392770d037e81bf40dfa067d83be41dfa06fd037e81bf40dfa46e5fdb34a21754495
*429a93841bbdbe52c826097f95a542ed859a9c085385d4d9b29a87088a157542a813429dd0be75
*42e2a5aaeff53149b520d4ce5d79a9369cb0c498baa8f375d674b2f6fda70d235afa0876b10d98
*99865243a9a1d4214a2d5faafcdef450d6a99c74556ac9a256760a43946ff2ec1df9d24eee19ab
*6a681575b3bd4df1ad6d90c2a5163b9932bbb0cdf69a5e5696243ea376c9b0777deea8c16def83
*3e439f5fad3e33de631f2b71307d0eeefacf9d7e299f054045a59731f7abe64dc28173a59d66fa
*2d51add72e13265d5b357a738c6db694686b6d97dd53773035c462100d918648ef25d23a44a3d9
*e1bba2f0f06eb08c70c3d480722279ccd1b377c46b47c248df0e5608490754121d796b961e22ec
*d819852eec8fca8ebe334ae93ef7e31992c3901c86e430248721390c8d51901c86e43024872139
*0cc961480e436956cde0c1adfeb921894763461d22c764709ffb656a47cc31b8488865091d3047
*c67119bc8f08bb3038ab5a483fbfb38f9cc1ff743720001c000e00078003c001e000700038001c
*000e00078003c01b000fdec2c971b1aeb85812111bc035af1d710fe09424d603b8262a3280f710
*611700e784c9050037470ee07f8d471fdc931f080e04078203c181e040702038101c080e040782
*03c181e03582f31e105c7940e509496223b8aa10dc125baf81d77e995f128f8ce0c111765b03b7
*7241238e3d0ffdcf6c7a8735700038001c000e00078003c001e000700038001c000e006f003c78
*774ea1eafa6c26888d0ae0ce1133b523e30bc12961b25e03a77101bc8f08bb15821bf5456d14f2
*af7139bac73a38301c180e0c078603c381e1c0706038301c180e0c07863fc7f0e06d3a857018ec
*5789955f9e8e89e1ce116f1c7187e18c30e55f5ac2785c0cef21c22e18ee4bce9f4b04a5478ee1
*3ffff86773c7fe94cefecef21c300e18078c03c601e38071c038601c300e18078c03c6b16be7d3
*06165cf541e4559f729350153331dd1207a9bcea882ea91a7abf55c734cd858eb97bc58600371a
*1a2205a7ad7b5cf8bd827c28dd4dab9674417162ef0aec5df135ef5da102f6ae709fd197d9a993
*07efd42905e1c6986623097e2081e6920f9d67c18d3d84446f0cb2c5d42c6e77d1aed2dd2c21d2
*106988748848f3e42855daf4aad242c5dda59353d5a8b4504f2a2d09e7c21e4ca585eaaad2ed3b
*75ba78b4527c07cb2ab1567c9ddbc0051128641a32dd874cbfd4b6f73c7cb3cef940afea081f75
*306d88558d273f98769e4df55a12137930bd31c81653e137addb664977b3f43d003198864a43a5
*f755691aa2d2ec85545a247da874a52055dbd0c82aad13ad2a4f8d4a2bff9a276e501d5fa5d706
*d9626adcb3639bf652e9e3e96ee9dbc440a5a1d250e97d559a85a8347f29950eded5a9ea2cc507
*9c121ab79ed6f9e1959fc4f7b3126e50cbe8809b80fd9cbb2d1bae8f6f8d212322d172174be363
*d9b614c9eb30132323aa7347056e7b1fd419eafc7ad59987a8b38ca7ce9b4a2c4470b77fc39c34
*267c70a688a42ca6343b4fc2349e149343630913da0cce842fb6885a65d14b905dca2c14514acb
*f0ecaf575366f1ae187b81fcfe7e945fa3e1016a2c5063811a0bd458a0c6023516a8b1408d056a
*2c5063811a0b343c98d338ef81c605f5a0ead92e368d73557b62a2a6716a1c8d2724913a368c87
*c7d80dc6350b0ae53500f8afc5f57d9e35180efe067f83bfc1dfe06ff037f81bfc0dfe067f83bf
*c1dfe0ef9abf83fbfe1b4a8c67534168a2a3e237255a558e3c6e7bfa96dad1b7223c367df71061
*17f8d644d38595f063df78effdc3b8bccd66a319581c2c0e16078b83c5c1e26071b038581c2c0e
*16078ba3dfe06add50f00e004612a3449323ce584c229784b3ca13a7ced3d028c2fc6b07ea9669
*13b3786863909b4d39615b1aa0384bad77b2ac32018222457527ea87bee6fa211152dd295eacba
*53f5a0d25e41aadc216d121357a619b5de55e25d69e5859a524b0782c844effd88e82ad41be2dc
*68cb96f2a9d61a2a65bb1b5653c6417142a621d35fb54c8794798a976a6825747f32cd136aa3f6
*4a11dac9b41c9c395fd49a44e8a11fb9baf1344d88df0efa302abd1c668b4a0bbaa59fa076e22b
*bb1bba3899b5e83b0899864cbf844ccb975269d3430e8296d60cdc40376e0e82f4a9009c3a47b4
*ca41702f13e7377eb3944d11ae5a2aed9e1fee39d2dd727bb7946a73478e6e29d067e873983e8b
*57da2da55da06d6f7be0684de3ee499ba8ca0da34361dd785af14334ee5e1f5edb0638e8d98db1
*33b4f9cbd9ff267886a37e9da70fd9f4ed37f50bf7e7669adebdfde6fff6ee10f399f70100
newhex
*
rmfile ./ModuleDependencies.dia
addfile ./Setup.hs
addfile ./igor2.cabal
hunk ./Setup.hs 1
+import Distribution.Simple
+main = defaultMain
hunk ./igor2.cabal 1
+Name:			igor2
+Version:		0.5.8
+Description:		Igor2 is an inductive programming system which generalises programs from I/O examples
+License:		GPL
+Author:			Martin Hofmann
+Maintainer:		martin.hofmann@uni-bamberg.de
+Build-Type: 		Simple
+Cabal-version:		>=1.6
+hs-source-dirs:		src
+
+Executable igor2
+	Main-is:        Main.hs
+	Build-Depends:	bytestring-0.9.1.4, utf8-string-0.3.4, mtl-1.1.0.2,  MonadCatchIO-mtl-0.1.0.1, syb, array-0.2.0.0, containers-0.2.0.0, filepath-1.1.0.1, old-locale-1.0.0.1, old-time-1.0.0.1, unix-2.3.1.0, directory-1.0.0.2, pretty-1.0.1.0, process-1.0.1.0, Cabal-1.6.0.1, editline-0.2.1.0, random-1.0.0.1, haskell98, hpc-0.5.0.2, packedstring-0.1.0.1, template-haskell, ghc-6.10.1, ghc-mtl-1.0.0.0, base-3.0.3.0, parsec-2.1.0.1, haskell-src-1.0.1.3, time-1.1.2.2, ghc-paths-0.1.0.5, hint-0.3.1.0, cpphs-1.6, haskell-src-exts-0.4.8, ansi-terminal-0.5.0, ansi-wl-pprint-0.5.0, bimap-0.2.4, fgl-5.4.2.2
hunk ./src/Syntax/Antiunifier.hs 316
-    -- retrieval! So I loock p in the list, which is search linear.
+    -- retrieval! So I look up in the list, which is searched linear.
hunk ./src/UI/UIStarter.hs 248
-    
hunk ./src/UI/UIStarter.hs 331
- | Reset
- | Test Int [Name] [Name] String
hunk ./src/UI/UIStarter.hs 332
+ | Reset
hunk ./src/UI/UIStarter.hs 334
+ | Test Int [Name] [Name] String
+ | GenAndTest Int [Name] [Name] String
hunk ./src/UI/UIStarter.hs 356
-    , (":test <i> <tgts> [with <bgks>] on \"command\"",
+    , (":test [<i>] <tgts> [with <bgks>] on \"command\"",
hunk ./src/UI/UIStarter.hs 516
-pTest = do{ i       <- liftM fromInteger integer
+pTest = do{ i       <- liftM (maybe 0 fromInteger) $ optionMaybe integer