Logs: freenode/#haskell
| 2021-03-22 15:07:37 | <ski> | hm. i guess your `data Cat',&c. stuff |
| 2021-03-22 15:08:02 | <ski> | but that could just as well have been a kind `Type', with type inhabitants `Cat',&c. |
| 2021-03-22 15:08:12 | <ski> | (like with `DataKinds') |
| 2021-03-22 15:08:25 | <ski> | (or well, i suppose that would bring it back to closed again ..) |
| 2021-03-22 15:08:26 | <TheCommieDuck> | rather than SomeRecordType { recordType = "cat" ... } `isType` "animal" I'd have ... = Cat } `isType` Animal |
| 2021-03-22 15:08:56 | <ski> | well, `= Cat' there suggests `Cat' is a value |
| 2021-03-22 15:08:59 | <ski> | of which type ? |
| 2021-03-22 15:09:05 | <TheCommieDuck> | Type? |
| 2021-03-22 15:09:10 | → | benkolera joins (uid285671@gateway/web/irccloud.com/x-sgsohxtqucnsegam) |
| 2021-03-22 15:09:14 | <TheCommieDuck> | recordType :: Type |
| 2021-03-22 15:09:19 | <ski> | so you're back to `data Type = Cat | ...' again ? |
| 2021-03-22 15:09:29 | <TheCommieDuck> | I meant GHC.Type |
| 2021-03-22 15:09:33 | <TheCommieDuck> | (or some equivalent) |
| 2021-03-22 15:09:57 | <ski> | i don't think you can pass around the inhabitants of `GHC.Type', as value at run-time |
| 2021-03-22 15:10:39 | <TheCommieDuck> | it doesn't seem to throw immediate errors except that it can't automagically derive Show. but |
| 2021-03-22 15:13:11 | <ski> | % let frob :: GHC.Type -> (); frob _ = () |
| 2021-03-22 15:13:11 | <yahb> | ski: |
| 2021-03-22 15:13:19 | <ski> | % frob Int |
| 2021-03-22 15:13:20 | <yahb> | ski: ; <interactive>:63:6: error:; * Data constructor not in scope: Int :: GHC.Core.TyCo.Rep.Type; * Perhaps you meant variable `int' (imported from Text.PrettyPrint.HughesPJ) |
| 2021-03-22 15:13:32 | <ski> | not sure how you could actually call `frob' |
| 2021-03-22 15:13:58 | <TheCommieDuck> | yeah, think you're right |
| 2021-03-22 15:14:16 | <TheCommieDuck> | strings it is, ty :P |
| 2021-03-22 15:20:06 | → | malumore_ joins (~malumore@151.62.119.219) |
| 2021-03-22 15:20:35 | × | Major_Biscuit quits (~Major_Bis@82-169-100-198.biz.kpn.net) (Quit: WeeChat 3.0.1) |
| 2021-03-22 15:21:41 | → | Major_Biscuit joins (~Major_Bis@82-169-100-198.biz.kpn.net) |
| 2021-03-22 15:21:43 | × | marinelli quits (~marinelli@gateway/tor-sasl/marinelli) (Ping timeout: 268 seconds) |
| 2021-03-22 15:22:32 | × | malumore quits (~malumore@151.62.119.219) (Ping timeout: 240 seconds) |
| 2021-03-22 15:23:06 | → | marinelli joins (~marinelli@gateway/tor-sasl/marinelli) |
| 2021-03-22 15:28:25 | → | linarcx joins (~user@151.241.50.25) |
| 2021-03-22 15:28:55 | <SoF> | % :t (.) . (.) |
| 2021-03-22 15:28:55 | <yahb> | SoF: forall {b} {c} {a1} {a2}. (b -> c) -> (a1 -> a2 -> b) -> a1 -> a2 -> c |
| 2021-03-22 15:29:29 | → | alx741 joins (~alx741@181.196.69.79) |
| 2021-03-22 15:30:16 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Ping timeout: 256 seconds) |
| 2021-03-22 15:30:17 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 256 seconds) |
| 2021-03-22 15:31:02 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) |
| 2021-03-22 15:31:35 | × | teardown quits (~user@gateway/tor-sasl/mrush) (Ping timeout: 268 seconds) |
| 2021-03-22 15:31:40 | × | lupulo quits (~lupulo@163.117.64.56) (Remote host closed the connection) |
| 2021-03-22 15:32:30 | → | lupulo joins (~lupulo@163.117.64.56) |
| 2021-03-22 15:33:09 | → | conal joins (~conal@66.115.176.171) |
| 2021-03-22 15:33:11 | <tomsmeding> | :t fmap fmap fmap |
| 2021-03-22 15:33:13 | <lambdabot> | (Functor f1, Functor f2) => (a -> b) -> f1 (f2 a) -> f1 (f2 b) |
| 2021-03-22 15:35:54 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 246 seconds) |
| 2021-03-22 15:36:29 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
| 2021-03-22 15:40:16 | → | Sorny joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-03-22 15:41:52 | → | LogicUpgrade joins (57e3c46d@87.227.196.109) |
| 2021-03-22 15:42:58 | × | Sorna quits (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 245 seconds) |
| 2021-03-22 15:43:45 | → | titusg joins (~user@152.229.6.51.dyn.plus.net) |
| 2021-03-22 15:45:59 | <titusg> | I have a problem with coverage reports in cabal. I can generate tests using ghc and hpc, all fine, but cabal test --enable-coverage generates an empty report...? |
| 2021-03-22 15:47:29 | → | fendor_ joins (~fendor@178.115.130.44.wireless.dyn.drei.com) |
| 2021-03-22 15:47:49 | <titusg> | s/generate tests/run tests/ |
| 2021-03-22 15:48:48 | <merijn> | titusg: Did you previously run "cabal build" in that directory? |
| 2021-03-22 15:49:19 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-22 15:49:52 | × | fendor quits (~fendor@178.165.131.239.wireless.dyn.drei.com) (Ping timeout: 276 seconds) |
| 2021-03-22 15:50:42 | × | cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Ping timeout: 268 seconds) |
| 2021-03-22 15:51:33 | → | hexfive joins (~hexfive@50.35.83.177) |
| 2021-03-22 15:51:49 | <titusg> | merjin yes I did |
| 2021-03-22 15:53:00 | <merijn> | titusg: Can you try nuking dist-newstyle and running "cabal build --enable-coverage" before running test? |
| 2021-03-22 15:53:38 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-22 15:54:23 | → | cantstanya joins (~chatting@gateway/tor-sasl/cantstanya) |
| 2021-03-22 15:54:45 | <titusg> | merijn: Just tried that, html is generated but no content |
| 2021-03-22 15:54:54 | <merijn> | hmm |
| 2021-03-22 15:56:21 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Remote host closed the connection) |
| 2021-03-22 15:58:16 | × | peanut_ quits (~peanut@2a02:8388:a101:2600:ab17:250:cc90:c191) (Quit: Leaving) |
| 2021-03-22 15:58:42 | → | ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 2021-03-22 16:00:02 | → | frozenErebus joins (~frozenEre@94.128.81.87) |
| 2021-03-22 16:02:56 | × | azure1 quits (~azure@103.154.230.130) (Ping timeout: 240 seconds) |
| 2021-03-22 16:03:05 | × | ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 256 seconds) |
| 2021-03-22 16:03:19 | × | linarcx quits (~user@151.241.50.25) (Remote host closed the connection) |
| 2021-03-22 16:03:23 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
| 2021-03-22 16:03:51 | → | linarcx joins (~user@151.241.50.25) |
| 2021-03-22 16:04:12 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-22 16:05:10 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-22 16:05:17 | → | fendor joins (~fendor@178.165.131.158.wireless.dyn.drei.com) |
| 2021-03-22 16:07:03 | × | fendor_ quits (~fendor@178.115.130.44.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2021-03-22 16:09:00 | × | coot quits (~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-03-22 16:09:57 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
| 2021-03-22 16:10:20 | × | toorevitimirp quits (~tooreviti@117.182.183.55) (Remote host closed the connection) |
| 2021-03-22 16:11:36 | × | apeyroux quits (~alex@78.20.138.88.rev.sfr.net) (Ping timeout: 246 seconds) |
| 2021-03-22 16:12:49 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-22 16:12:58 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-03-22 16:13:17 | × | cabpa quits (~cabpa@180.190.165.139) (Ping timeout: 256 seconds) |
| 2021-03-22 16:15:13 | × | vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving) |
| 2021-03-22 16:15:38 | × | Raito_Bezarius quits (~Raito@unaffiliated/raito-bezarius/x-8764578) (Ping timeout: 264 seconds) |
| 2021-03-22 16:15:40 | → | toorevitimirp joins (~tooreviti@117.182.183.55) |
| 2021-03-22 16:15:47 | → | elusive joins (~Jeanne-Ka@static-198-54-134-109.cust.tzulo.com) |
| 2021-03-22 16:16:40 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Remote host closed the connection) |
| 2021-03-22 16:16:59 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2021-03-22 16:18:17 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 2021-03-22 16:18:37 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 2021-03-22 16:18:37 | × | toorevitimirp quits (~tooreviti@117.182.183.55) (Remote host closed the connection) |
| 2021-03-22 16:22:04 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-22 16:23:11 | malumore_ | is now known as malumore |
| 2021-03-22 16:24:18 | × | son0p quits (~son0p@181.136.122.143) (Quit: Lost terminal) |
| 2021-03-22 16:24:26 | × | v01d4lph4 quits (~v01d4lph4@223.190.38.71) (Read error: Connection reset by peer) |
| 2021-03-22 16:30:38 | → | azure1 joins (~azure@103.154.230.130) |
| 2021-03-22 16:31:23 | → | Kaeipi joins (~Kaiepi@47.54.252.148) |
| 2021-03-22 16:32:06 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-03-22 16:32:31 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2021-03-22 16:33:17 | <TheCommieDuck> | is there a standard or w/e to signify a function is partial? Kinda like how julia functions have bar for pure and bar! for mutable functions |
| 2021-03-22 16:34:04 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
All times are in UTC.