| 2024-08-16 00:07:08 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-08-16 00:08:35 +0200 | marcelospe | (~marcelosp@143.107.45.1) |
| 2024-08-16 00:13:22 +0200 | Square3 | (~Square4@user/square) |
| 2024-08-16 00:16:15 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-08-16 00:16:39 +0200 | Vajb | (~Vajb@n4v0h48xv84fiqflept-1.v6.elisa-mobile.fi) (Remote host closed the connection) |
| 2024-08-16 00:16:56 +0200 | Vajb | (~Vajb@n4v0h48xv84fiqflept-1.v6.elisa-mobile.fi) |
| 2024-08-16 00:17:26 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-08-16 00:26:51 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-08-16 00:29:36 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-08-16 00:36:32 +0200 | marcelospe | (~marcelosp@143.107.45.1) (Remote host closed the connection) |
| 2024-08-16 00:36:55 +0200 | marcelospe | (~marcelosp@143.107.45.1) |
| 2024-08-16 00:42:25 +0200 | AlexNoo_ | (~AlexNoo@178.34.161.76) |
| 2024-08-16 00:45:43 +0200 | AlexZenon | (~alzenon@178.34.160.210) (Ping timeout: 264 seconds) |
| 2024-08-16 00:46:19 +0200 | AlexNoo | (~AlexNoo@178.34.160.210) (Ping timeout: 264 seconds) |
| 2024-08-16 00:47:51 +0200 | metabulation | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-08-16 00:49:22 +0200 | AlexZenon | (~alzenon@178.34.161.76) |
| 2024-08-16 00:58:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-16 00:59:04 +0200 | marcelospe | (~marcelosp@143.107.45.1) (Remote host closed the connection) |
| 2024-08-16 01:03:18 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-08-16 01:10:19 +0200 | <haskellbridge> | <thirdofmay18081814goya> ":t x" returns "Expr a". Would it also be true if it instead returned "f (Term f)"? |
| 2024-08-16 01:10:30 +0200 | <haskellbridge> | <thirdofmay18081814goya> (can this question be answered without context?) |
| 2024-08-16 01:12:47 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) |
| 2024-08-16 01:12:47 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) (Changing host) |
| 2024-08-16 01:12:47 +0200 | nek0 | (~nek0@user/nek0) |
| 2024-08-16 01:13:50 +0200 | nek0 | (~nek0@user/nek0) (Client Quit) |
| 2024-08-16 01:14:08 +0200 | nek0 | (~nek0@user/nek0) |
| 2024-08-16 01:14:16 +0200 | billchenchina- | (~billchenc@103.118.42.229) (Ping timeout: 252 seconds) |
| 2024-08-16 01:14:31 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2024-08-16 01:14:57 +0200 | sawilagar_ | (~sawilagar@user/sawilagar) (Ping timeout: 244 seconds) |
| 2024-08-16 01:16:07 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-16 01:28:18 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 245 seconds) |
| 2024-08-16 01:37:27 +0200 | wroathe | (~wroathe@mobile-166-175-56-137.mycingular.net) |
| 2024-08-16 01:37:27 +0200 | wroathe | (~wroathe@mobile-166-175-56-137.mycingular.net) (Changing host) |
| 2024-08-16 01:37:27 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-16 01:46:48 +0200 | <EvanR> | no |
| 2024-08-16 01:47:04 +0200 | <EvanR> | f (Term f) by itself means forall f . f (Term f) |
| 2024-08-16 01:47:21 +0200 | <EvanR> | but it's not true f can be anything, f = Expr only |
| 2024-08-16 01:47:39 +0200 | <EvanR> | and it is a which is quantified |
| 2024-08-16 01:48:44 +0200 | <EvanR> | you can enabled explicit forall in ghci to help distinguish "foralled" type variables vs type variables sometimes seen referring to a fixed but perhaps unknown type |
| 2024-08-16 01:48:47 +0200 | <haskellbridge> | <thirdofmay18081814goya> EvanR: ah this is a clear way of putting it, thanks! |
| 2024-08-16 01:49:56 +0200 | <haskellbridge> | <thirdofmay18081814goya> EvanR: hm, when this is enabled, is there such a thing as a type "a -> a" as distinguished from "forall a . a -> a"? |
| 2024-08-16 01:50:14 +0200 | <haskellbridge> | <thirdofmay18081814goya> * different |
| 2024-08-16 01:51:27 +0200 | <EvanR> | it will correctly show id :: forall a . a -> a |
| 2024-08-16 01:51:37 +0200 | <EvanR> | your Literal (StrLit "hello") is like [] |
| 2024-08-16 01:51:39 +0200 | <EvanR> | :t [] |
| 2024-08-16 01:51:40 +0200 | <lambdabot> | [a] |
| 2024-08-16 01:51:47 +0200 | <EvanR> | nothing about the construction pins down the a |
| 2024-08-16 01:52:09 +0200 | <EvanR> | :t Nothing |
| 2024-08-16 01:52:10 +0200 | <lambdabot> | Maybe a |
| 2024-08-16 01:53:10 +0200 | <EvanR> | :t Just 'z' |
| 2024-08-16 01:53:11 +0200 | <lambdabot> | Maybe Char |
| 2024-08-16 01:54:39 +0200 | <haskellbridge> | <thirdofmay18081814goya> EvanR: hm I see, but does there ever arise a case where "forall a . Maybe a" is distinct from "Maybe a", or are all places you can find "Maybe a" written actually implicitly mean "forall a . Maybe a"? |
| 2024-08-16 01:56:22 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-16 02:09:37 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb233897a37840cbfb18.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-08-16 02:10:48 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-16 02:16:47 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-16 02:20:05 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-08-16 02:20:44 +0200 | <jle`> | forall a pretty much gives you the scope. it's like \a -> .. in the term level. so sometimes you'll have a `Maybe a` but the "a" comes from something higher up |
| 2024-08-16 02:21:22 +0200 | <jle`> | ie if you use `Maybe a` inside a function where `a` comes from the type of the whole function itself |
| 2024-08-16 02:21:27 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-16 02:21:40 +0200 | <jle`> | it's basically the difference between [x] and \x -> [x] |
| 2024-08-16 02:24:45 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2024-08-16 02:25:38 +0200 | euleritian | (~euleritia@dynamic-176-006-139-221.176.6.pool.telefonica.de) |
| 2024-08-16 02:31:59 +0200 | <Leary> | thirdofmay18081814goya: https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/scoped_type_variables.html |
| 2024-08-16 02:37:48 +0200 | tcard | (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) (Quit: Leaving) |
| 2024-08-16 02:39:37 +0200 | <haskellbridge> | <thirdofmay18081814goya> ty for answers! |
| 2024-08-16 02:45:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-08-16 02:45:54 +0200 | tcard | (~tcard@p4653210-ipxg23201hodogaya.kanagawa.ocn.ne.jp) |
| 2024-08-16 03:13:29 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) |
| 2024-08-16 03:14:30 +0200 | Guest96 | (~Guest96@130.41.233.18) |
| 2024-08-16 03:15:15 +0200 | troojg | (~troojg@user/troojg) |
| 2024-08-16 03:16:37 +0200 | tcard | (~tcard@p4653210-ipxg23201hodogaya.kanagawa.ocn.ne.jp) (Ping timeout: 248 seconds) |
| 2024-08-16 03:39:12 +0200 | Guest96 | (~Guest96@130.41.233.18) (Quit: Client closed) |
| 2024-08-16 03:44:32 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2024-08-16 03:46:13 +0200 | tomku | (~tomku@user/tomku) (Remote host closed the connection) |
| 2024-08-16 03:46:18 +0200 | wroathe | (~wroathe@mobile-166-175-56-137.mycingular.net) |
| 2024-08-16 03:46:18 +0200 | wroathe | (~wroathe@mobile-166-175-56-137.mycingular.net) (Changing host) |
| 2024-08-16 03:46:18 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-16 03:46:28 +0200 | tomku | (~tomku@user/tomku) |
| 2024-08-16 03:54:03 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2024-08-16 04:01:19 +0200 | euleritian | (~euleritia@dynamic-176-006-139-221.176.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-08-16 04:12:04 +0200 | euleritian | (~euleritia@dynamic-176-006-132-153.176.6.pool.telefonica.de) |
| 2024-08-16 04:13:22 +0200 | ZharMeny | (~user@user/ZharMeny) (Quit: ;) |
| 2024-08-16 04:17:57 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2024-08-16 04:20:06 +0200 | wroathe | (~wroathe@mobile-166-175-56-137.mycingular.net) |
| 2024-08-16 04:20:06 +0200 | wroathe | (~wroathe@mobile-166-175-56-137.mycingular.net) (Changing host) |
| 2024-08-16 04:20:06 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-16 04:21:52 +0200 | td_ | (~td@i53870931.versanet.de) (Ping timeout: 272 seconds) |
| 2024-08-16 04:23:32 +0200 | td_ | (~td@i53870937.versanet.de) |
| 2024-08-16 04:30:02 +0200 | Inst | (~Inst@user/Inst) (Ping timeout: 258 seconds) |
| 2024-08-16 04:41:24 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 260 seconds) |
| 2024-08-16 04:41:30 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:8050:8596:3662:a79e) |
| 2024-08-16 04:42:10 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
| 2024-08-16 04:46:56 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:8050:8596:3662:a79e) (Quit: Client closed) |
| 2024-08-16 04:50:56 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:8050:8596:3662:a79e) |
| 2024-08-16 04:58:58 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:8050:8596:3662:a79e) (Remote host closed the connection) |
| 2024-08-16 04:59:20 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:8050:8596:3662:a79e) |
| 2024-08-16 05:03:02 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:8050:8596:3662:a79e) (Remote host closed the connection) |
| 2024-08-16 05:05:07 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:8050:8596:3662:a79e) |
| 2024-08-16 05:06:07 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:8050:8596:3662:a79e) (Remote host closed the connection) |
| 2024-08-16 05:12:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-16 05:14:25 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-08-16 05:16:27 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-08-16 05:26:55 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) |
| 2024-08-16 05:32:08 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 258 seconds) |
| 2024-08-16 05:33:50 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-16 05:33:55 +0200 | kiwiirc | (~kiwiirc@103.166.150.118) |
| 2024-08-16 05:48:23 +0200 | kiwiirc | (~kiwiirc@103.166.150.118) (Ping timeout: 256 seconds) |
| 2024-08-16 05:53:23 +0200 | aforemny_ | (~aforemny@i59F516D0.versanet.de) |
| 2024-08-16 05:53:42 +0200 | aforemny | (~aforemny@i59F516CB.versanet.de) (Ping timeout: 272 seconds) |
| 2024-08-16 05:54:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2024-08-16 06:23:53 +0200 | euleritian | (~euleritia@dynamic-176-006-132-153.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-16 06:24:11 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-16 06:25:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-08-16 06:26:10 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-16 06:26:12 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-16 06:26:35 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-16 06:52:17 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-08-16 06:54:31 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-08-16 06:56:59 +0200 | euleritian | (~euleritia@dynamic-176-006-141-221.176.6.pool.telefonica.de) |
| 2024-08-16 07:01:05 +0200 | ubiquituum | (~user@user/ubiquituum) |
| 2024-08-16 07:01:34 +0200 | ubiquituum | (~user@user/ubiquituum) (Remote host closed the connection) |
| 2024-08-16 07:10:09 +0200 | euleritian | (~euleritia@dynamic-176-006-141-221.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-16 07:12:04 +0200 | euleritian | (~euleritia@dynamic-176-006-141-221.176.6.pool.telefonica.de) |
| 2024-08-16 07:18:38 +0200 | euleritian | (~euleritia@dynamic-176-006-141-221.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-16 07:19:18 +0200 | euleritian | (~euleritia@dynamic-176-006-141-221.176.6.pool.telefonica.de) |
| 2024-08-16 07:20:27 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) (Quit: RedFlamingos) |
| 2024-08-16 07:30:05 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-08-16 07:41:23 +0200 | michalz | (~michalz@185.246.207.203) |
| 2024-08-16 07:49:45 +0200 | Blasius_ | (~Blasius@90.201.223.82) (Ping timeout: 258 seconds) |
| 2024-08-16 07:50:21 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-08-16 07:56:54 +0200 | neuroevolutus | (~neuroevol@37.19.200.135) |
| 2024-08-16 08:07:50 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-08-16 08:08:19 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-08-16 08:09:03 +0200 | Blasius | (~Blasius@90.201.223.82) |
| 2024-08-16 08:09:09 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-08-16 08:13:34 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-08-16 08:17:18 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-08-16 08:19:09 +0200 | neuroevolutus | (~neuroevol@37.19.200.135) (Quit: Client closed) |
| 2024-08-16 08:26:45 +0200 | ChanServ | (ChanServ@services.libera.chat) (shutting down) |
| 2024-08-16 08:27:33 +0200 | ChanServ | (ChanServ@services.libera.chat) |
| 2024-08-16 08:27:33 +0200 | zinc.libera.chat | +o ChanServ |
| 2024-08-16 08:31:42 +0200 | ft | (~ft@p4fc2aa15.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-08-16 08:37:15 +0200 | Blasius_ | (~Blasius@90.201.223.82) |
| 2024-08-16 08:40:00 +0200 | sawilagar_ | (~sawilagar@user/sawilagar) |
| 2024-08-16 08:41:09 +0200 | Blasius | (~Blasius@90.201.223.82) (Ping timeout: 260 seconds) |
| 2024-08-16 08:45:40 +0200 | sawilagar_ | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2024-08-16 08:51:53 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-16 08:59:24 +0200 | euleritian | (~euleritia@dynamic-176-006-141-221.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-16 09:00:49 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-08-16 09:12:13 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-08-16 09:38:57 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Ping timeout: 276 seconds) |
| 2024-08-16 09:39:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-16 09:40:54 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-16 09:45:26 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Ping timeout: 255 seconds) |
| 2024-08-16 09:48:47 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-08-16 09:57:47 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb8829a89a20b1ea13d1.dip0.t-ipconnect.de) |
| 2024-08-16 10:00:17 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-16 10:13:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-16 10:19:07 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-16 10:22:07 +0200 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2024-08-16 10:26:51 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-08-16 10:28:27 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-16 10:30:17 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-16 10:31:04 +0200 | Inst | (~Inst@user/Inst) |
| 2024-08-16 10:38:01 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-08-16 10:38:41 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-08-16 10:41:23 +0200 | chele | (~chele@user/chele) |
| 2024-08-16 10:42:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-16 10:52:43 +0200 | <hc> | Hi all, got question about phantom type, I'm experimenting with haskell typesystem |
| 2024-08-16 10:53:02 +0200 | <hc> | So I got data Foo a = A | B | C |
| 2024-08-16 10:53:25 +0200 | <hc> | I'd like to implement a show instance whose output will depend on the value of a |
| 2024-08-16 10:54:08 +0200 | <hc> | But I can't get it to work, I've tried to create instances like instance Foo Bool, instance Foo String, etc. but the compiler refuses to choose them, even when a is further constrained down |
| 2024-08-16 10:54:15 +0200 | <hc> | Any suggestions what I should do? :) |
| 2024-08-16 11:01:51 +0200 | sawilagar_ | (~sawilagar@user/sawilagar) |
| 2024-08-16 11:03:27 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Read error: Connection reset by peer) |
| 2024-08-16 11:04:06 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-16 11:07:54 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-08-16 11:14:25 +0200 | <Leary> | % data Foo a = A | B | C |
| 2024-08-16 11:14:25 +0200 | <yahb2> | <no output> |
| 2024-08-16 11:14:35 +0200 | <Leary> | % instance Typeable a => Show (Foo a) where showsPrec p foo = showParen (p >= 10) $ showString (case foo of { A -> 'A'; B -> 'B'; C -> 'C' } : " :: Foo ") . showsPrec 10 (typeRep foo) |
| 2024-08-16 11:14:35 +0200 | <yahb2> | <no output> |
| 2024-08-16 11:14:40 +0200 | <Leary> | % A :: Foo Int |
| 2024-08-16 11:14:40 +0200 | <yahb2> | A :: Foo Int |
| 2024-08-16 11:14:45 +0200 | <Leary> | % B :: Foo (Either Word Char) |
| 2024-08-16 11:14:45 +0200 | <yahb2> | B :: Foo (Either Word Char) |
| 2024-08-16 11:15:05 +0200 | <Leary> | hc: We can't tell you what you're doing wrong if you don't show us code. |
| 2024-08-16 11:19:32 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) () |
| 2024-08-16 11:20:23 +0200 | <hc> | Leary: Thanks, let me prepare the code, one sec |
| 2024-08-16 11:21:28 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-16 11:22:07 +0200 | <hc> | Leary: Here's the code: https://paste.tomsmeding.com/l3tlG1fd |
| 2024-08-16 11:22:13 +0200 | <hc> | It's just an experiment to learn a bit about type level programming |
| 2024-08-16 11:22:29 +0200 | <hc> | What I'd like to do is remove lines 17 and 18 |
| 2024-08-16 11:27:55 +0200 | <Leary> | The code appears to work as it is. I'm not sure why you want to remove those lines, or what you expect to happen without them. |
| 2024-08-16 11:29:08 +0200 | <hc> | Leary: I want to make it more generic |
| 2024-08-16 11:29:17 +0200 | <hc> | Leary: Because right now the code is duplicated for the purpose of making it work |
| 2024-08-16 11:30:17 +0200 | ubert | (~Thunderbi@91.141.68.38.wireless.dyn.drei.com) |
| 2024-08-16 11:31:20 +0200 | <Leary> | Okay, rather than removing 17-18, I should think you would want to unify 23-27. Write `instance GetBottleKind (Bottle a) => Show (Bottle a)`? |
| 2024-08-16 11:32:08 +0200 | <Leary> | If what you want is to automatically go from the type name to a string, then you can use Typeable instead, as I did above. |
| 2024-08-16 11:32:09 +0200 | <hc> | Hmm, that would get me a working program but not do what I'm trying to do ;) |
| 2024-08-16 11:40:27 +0200 | <hc> | Or perhaps could you explain to my why it doesn't work the way I'm trying to do it |
| 2024-08-16 11:41:06 +0200 | <hc> | I.e., why doesn't this code compile: https://paste.tomsmeding.com/eOG0eeCZ |
| 2024-08-16 11:43:51 +0200 | <Leary> | It's exactly as the error says. You're using `getBottleType` in `instance Show (Bottle a)` without having imposed a `GetBottleKind (Bottle a)` constraint. |
| 2024-08-16 11:44:07 +0200 | <Leary> | Why do you think it should work? |
| 2024-08-16 11:44:12 +0200 | <hc> | I've tried to impose the constraint in various ways but haven't figured out how to do it. |
| 2024-08-16 11:44:17 +0200 | <hc> | How do I enforce the constraint? |
| 2024-08-16 11:44:22 +0200 | hc | is a haskell novice still |
| 2024-08-16 11:45:05 +0200 | <Leary> | Exactly as I wrote ~four lines ago? |
| 2024-08-16 11:45:16 +0200 | <hc> | kk, let my try |
| 2024-08-16 11:45:57 +0200 | <hc> | It says, after enabling FlexibleContexts: |
| 2024-08-16 11:45:58 +0200 | <hc> | • The constraint ‘GetBottleKind (Bottle a)’ |
| 2024-08-16 11:45:58 +0200 | <hc> | is no smaller than the instance head ‘Show (Bottle a)’ |
| 2024-08-16 11:47:31 +0200 | <Leary> | You can just heed its advice and enable UndecidableInstances, though the better path is to change `class GetBottleKind a` to have method `getBottleType :: Bottle a -> String`, then impose a `GetBottleKind a` constraint instead. |
| 2024-08-16 11:47:56 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-08-16 11:48:36 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) |
| 2024-08-16 11:48:38 +0200 | <hc> | Oh nice, thanks! It works with UndecidableInstances :-) |
| 2024-08-16 11:49:00 +0200 | <hc> | Thanks a bunch, I knew there must be a way. I agree that it's not optimal. I'm just trying to learn the type system one step at a time |
| 2024-08-16 11:53:37 +0200 | misterfish | (~misterfis@87.215.131.102) (Remote host closed the connection) |
| 2024-08-16 12:07:17 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Ping timeout: 248 seconds) |
| 2024-08-16 12:11:39 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-16 12:18:42 +0200 | thyriaen | (~thyriaen@2001:4bc9:1fb8:12d1:6245:cbff:fe9f:48b1) |
| 2024-08-16 12:21:24 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-08-16 12:34:54 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-08-16 12:35:27 +0200 | Inst | (~Inst@user/Inst) (Ping timeout: 252 seconds) |
| 2024-08-16 12:36:39 +0200 | Inst | (~Inst@user/Inst) |
| 2024-08-16 12:44:40 +0200 | fut | (~futar@129.234.0.168) |
| 2024-08-16 12:46:41 +0200 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 248 seconds) |
| 2024-08-16 12:49:22 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2024-08-16 13:00:26 +0200 | AlexNoo_ | AlexNoo |
| 2024-08-16 13:01:46 +0200 | troydm | (~troydm@user/troydm) |
| 2024-08-16 13:03:31 +0200 | troydm | (~troydm@user/troydm) (Client Quit) |
| 2024-08-16 13:03:45 +0200 | troydm | (~troydm@user/troydm) |
| 2024-08-16 13:05:37 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) () |
| 2024-08-16 13:08:44 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 260 seconds) |
| 2024-08-16 13:09:03 +0200 | euleritian | (~euleritia@dynamic-176-006-145-127.176.6.pool.telefonica.de) |
| 2024-08-16 13:17:04 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-08-16 13:20:39 +0200 | thyriaen | (~thyriaen@2001:4bc9:1fb8:12d1:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2024-08-16 13:28:42 +0200 | Inst | (~Inst@user/Inst) (Ping timeout: 252 seconds) |
| 2024-08-16 13:34:30 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3414-e209-4c3a-f6ac-ee72-45b5.rev.sfr.net) |
| 2024-08-16 13:44:25 +0200 | wlhn | (~wlhn@dl6-5j8gfh1n484fp87pt-3.rev.dnainternet.fi) (Quit: Leaving) |
| 2024-08-16 13:53:23 +0200 | fut | (~futar@129.234.0.168) (Quit: leaving) |
| 2024-08-16 13:54:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-16 13:57:37 +0200 | jvml | (~user@198.137.18.149) |
| 2024-08-16 13:58:28 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-08-16 14:01:27 +0200 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-16 14:17:12 +0200 | ft | (~ft@p4fc2aa15.dip0.t-ipconnect.de) |
| 2024-08-16 14:18:43 +0200 | hades | (~hades@109.251.198.18) |
| 2024-08-16 14:33:11 +0200 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2024-08-16 14:34:22 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-08-16 14:36:41 +0200 | troydm | (~troydm@user/troydm) |
| 2024-08-16 14:39:05 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-08-16 14:40:36 +0200 | jvml | (~user@198.137.18.149) (ERC 5.4 (IRC client for GNU Emacs 28.2)) |
| 2024-08-16 14:51:05 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-16 14:56:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-16 15:12:49 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-08-16 15:13:18 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-08-16 15:14:57 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-16 15:15:27 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-16 15:21:16 +0200 | Square3 | (~Square4@user/square) |
| 2024-08-16 15:22:29 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 248 seconds) |
| 2024-08-16 15:22:51 +0200 | Square | (~Square@user/square) |
| 2024-08-16 15:26:52 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 272 seconds) |
| 2024-08-16 15:41:17 +0200 | euleritian | (~euleritia@dynamic-176-006-145-127.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-16 15:41:38 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-16 15:45:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2024-08-16 15:45:53 +0200 | joeyh | (~joeyh@kitenet.net) (Read error: Connection reset by peer) |
| 2024-08-16 15:46:10 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-16 15:48:13 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-08-16 15:48:53 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-08-16 15:51:38 +0200 | CATS | (apic@brezn3.muc.ccc.de) (Quit: Lost terminal) |
| 2024-08-16 16:00:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2024-08-16 16:01:02 +0200 | euleritian | (~euleritia@dynamic-176-006-145-127.176.6.pool.telefonica.de) |
| 2024-08-16 16:01:18 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-08-16 16:05:39 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Ping timeout: 260 seconds) |
| 2024-08-16 16:05:43 +0200 | Luj91 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-08-16 16:14:27 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3414-e209-4c3a-f6ac-ee72-45b5.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-16 16:20:50 +0200 | rvalue- | (~rvalue@user/rvalue) |
| 2024-08-16 16:21:53 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 258 seconds) |
| 2024-08-16 16:26:38 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-08-16 16:26:54 +0200 | rvalue- | rvalue |
| 2024-08-16 16:28:47 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-08-16 16:30:21 +0200 | Inst | (~Inst@user/Inst) |
| 2024-08-16 16:31:53 +0200 | hades | (~hades@109.251.198.18) (Leaving) |
| 2024-08-16 16:45:31 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-16 16:52:10 +0200 | wroathe | (~wroathe@mobile-166-175-56-137.mycingular.net) |
| 2024-08-16 16:52:10 +0200 | wroathe | (~wroathe@mobile-166-175-56-137.mycingular.net) (Changing host) |
| 2024-08-16 16:52:10 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-16 16:58:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-16 17:07:20 +0200 | ZharMeny | (~user@user/ZharMeny) (Ping timeout: 255 seconds) |
| 2024-08-16 17:08:16 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-08-16 17:12:14 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: on the move) |
| 2024-08-16 17:14:36 +0200 | petrichor | (~znc-user@user/petrichor) |
| 2024-08-16 17:20:35 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-08-16 17:21:55 +0200 | img | (~img@user/img) |
| 2024-08-16 17:25:38 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-16 17:29:44 +0200 | Square | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2024-08-16 17:30:03 +0200 | wroathe | (~wroathe@mobile-166-175-56-137.mycingular.net) |
| 2024-08-16 17:30:03 +0200 | wroathe | (~wroathe@mobile-166-175-56-137.mycingular.net) (Changing host) |
| 2024-08-16 17:30:03 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-16 17:30:26 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-08-16 17:31:45 +0200 | petrichor | (~znc-user@user/petrichor) |
| 2024-08-16 17:41:35 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:8050:8596:3662:a79e) |
| 2024-08-16 17:45:28 +0200 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-16 17:53:22 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-16 17:55:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-16 17:57:28 +0200 | bilegeek | (~bilegeek@2600:1008:b012:dc59:4986:69cf:1f88:f4c9) |
| 2024-08-16 18:06:55 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 258 seconds) |
| 2024-08-16 18:07:57 +0200 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-08-16 18:09:11 +0200 | kimiamania2 | (~65804703@user/kimiamania) |
| 2024-08-16 18:17:14 +0200 | kimiamania2 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-08-16 18:18:13 +0200 | kimiamania2 | (~65804703@user/kimiamania) |
| 2024-08-16 18:21:41 +0200 | euleritian | (~euleritia@dynamic-176-006-145-127.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-16 18:21:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-16 18:24:39 +0200 | kimiamania2 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-08-16 18:25:29 +0200 | kimiamania2 | (~65804703@user/kimiamania) |
| 2024-08-16 18:28:14 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) () |
| 2024-08-16 18:28:33 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-08-16 18:28:55 +0200 | euleritian | (~euleritia@dynamic-176-006-145-127.176.6.pool.telefonica.de) |
| 2024-08-16 18:29:18 +0200 | euleritian | (~euleritia@dynamic-176-006-145-127.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-16 18:29:35 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-08-16 18:41:13 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-08-16 18:41:26 +0200 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-08-16 18:53:05 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-08-16 18:54:14 +0200 | connrs | (~connrs@user/connrs) |
| 2024-08-16 18:55:36 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 258 seconds) |
| 2024-08-16 18:55:50 +0200 | tomku | (~tomku@user/tomku) |
| 2024-08-16 18:56:40 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-08-16 18:56:52 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-08-16 18:58:44 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2024-08-16 19:04:27 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:8050:8596:3662:a79e) (Ping timeout: 276 seconds) |
| 2024-08-16 19:05:48 +0200 | wroathe | (~wroathe@mobile-166-175-56-137.mycingular.net) |
| 2024-08-16 19:05:48 +0200 | wroathe | (~wroathe@mobile-166-175-56-137.mycingular.net) (Changing host) |
| 2024-08-16 19:05:48 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-16 19:09:51 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:8050:8596:3662:a79e) |
| 2024-08-16 19:10:03 +0200 | Inst_ | (~Inst@user/Inst) |
| 2024-08-16 19:12:21 +0200 | Inst | (~Inst@user/Inst) (Ping timeout: 248 seconds) |
| 2024-08-16 19:22:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-16 19:25:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-16 19:35:20 +0200 | mikess | (~mikess@user/mikess) |
| 2024-08-16 19:35:58 +0200 | <c_wraith> | Is there a tool to tell you when there's a newer package on hackage than what you're building with? |
| 2024-08-16 19:36:51 +0200 | FragByte_ | (~christian@user/fragbyte) |
| 2024-08-16 19:37:51 +0200 | FragByte | (~christian@user/fragbyte) (Ping timeout: 252 seconds) |
| 2024-08-16 19:37:51 +0200 | FragByte_ | FragByte |
| 2024-08-16 19:38:01 +0200 | pavonia | (~user@user/siracusa) |
| 2024-08-16 19:39:12 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-16 19:41:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-16 19:43:44 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-08-16 19:46:18 +0200 | <geekosaur> | not maintained, that I can see |
| 2024-08-16 19:51:16 +0200 | spew | (~spew@201.141.102.132) |
| 2024-08-16 20:00:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-16 20:00:30 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-16 20:08:14 +0200 | Inst_ | Inst |
| 2024-08-16 20:08:40 +0200 | <c_wraith> | That feels like something that should exist. And maybe should just be a flag in cabal |
| 2024-08-16 20:09:00 +0200 | <c_wraith> | Since cabal needs to do all that work anywya |
| 2024-08-16 20:09:07 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2024-08-16 20:15:01 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-16 20:21:07 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-08-16 20:24:52 +0200 | califax | (~califax@user/califx) |
| 2024-08-16 20:25:00 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-16 20:27:34 +0200 | bilegeek_ | (~bilegeek@74.sub-174-208-231.myvzw.com) |
| 2024-08-16 20:29:01 +0200 | <glguy> | c_wraith: "cabal outdated"? |
| 2024-08-16 20:29:26 +0200 | <glguy> | that's not "than your building with" but "than your bounds accept" though |
| 2024-08-16 20:30:06 +0200 | bilegeek | (~bilegeek@2600:1008:b012:dc59:4986:69cf:1f88:f4c9) (Ping timeout: 252 seconds) |
| 2024-08-16 20:34:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-08-16 20:35:46 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-08-16 20:36:51 +0200 | <c_wraith> | I suppose if you've run cabal freeze, it works out to the same thing |
| 2024-08-16 20:38:58 +0200 | <Hecate> | c_wraith: I believe you're looking for `cabal outdated`, or just re-run `cabal freeze` :) |
| 2024-08-16 20:39:41 +0200 | <c_wraith> | re-running cabal freeze changes nothing unless you've got it to build against other dependencies first |
| 2024-08-16 20:40:18 +0200 | <Hecate> | c_wraith: and `cabal outdated`? |
| 2024-08-16 20:40:25 +0200 | <c_wraith> | also, apparently I need to add the --v2-freeze-file flag to make cabal outdated work... |
| 2024-08-16 20:40:54 +0200 | <c_wraith> | because cabal outdated tells me everything is up to date unless I do |
| 2024-08-16 20:40:55 +0200 | <Hecate> | yep, `--project-dir and --project-file must only be used with --v2-freeze-file.` |
| 2024-08-16 20:41:14 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3414-e209-4d09-a8b0-8e40-a8fe.rev.sfr.net) |
| 2024-08-16 20:41:17 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-08-16 20:41:59 +0200 | <c_wraith> | why does "cabal outdated" even run when it does nothing without extra flags? |
| 2024-08-16 20:42:25 +0200 | <glguy> | It's not the case that it does *nothing*, I use it without flags all the time |
| 2024-08-16 20:42:34 +0200 | <glguy> | (and get useful outputs) |
| 2024-08-16 20:42:42 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-08-16 20:43:20 +0200 | wroathe | (~wroathe@c-66-41-76-89.hsd1.mn.comcast.net) |
| 2024-08-16 20:43:21 +0200 | wroathe | (~wroathe@c-66-41-76-89.hsd1.mn.comcast.net) (Changing host) |
| 2024-08-16 20:43:21 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-16 20:45:22 +0200 | dom0 | (~u0_a141@31.4.183.247) |
| 2024-08-16 21:03:30 +0200 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2024-08-16 21:11:09 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:8050:8596:3662:a79e) (Remote host closed the connection) |
| 2024-08-16 21:16:46 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-08-16 21:17:36 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-16 21:18:04 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-08-16 21:23:09 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-08-16 21:30:53 +0200 | tjbc_ | tjbc |
| 2024-08-16 21:31:19 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3414-e209-4d09-a8b0-8e40-a8fe.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-16 21:32:38 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-16 21:32:41 +0200 | tjbc | (~tjbc@user/fliife) (Quit: ZNC - https://znc.in) |
| 2024-08-16 21:34:54 +0200 | tjbc | (~tjbc@user/fliife) |
| 2024-08-16 21:36:23 +0200 | neuroevolutus | (~neuroevol@37.19.200.148) |
| 2024-08-16 21:46:13 +0200 | neuroevolutus | (~neuroevol@37.19.200.148) (Quit: Client closed) |
| 2024-08-16 21:49:18 +0200 | neuroevolutus | (~neuroevol@37.19.200.148) |
| 2024-08-16 21:56:04 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) (Ping timeout: 260 seconds) |
| 2024-08-16 22:00:04 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-08-16 22:09:46 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection) |
| 2024-08-16 22:10:28 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) |
| 2024-08-16 22:11:03 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-08-16 22:17:33 +0200 | Inst_ | (~Inst@user/Inst) |
| 2024-08-16 22:20:00 +0200 | Inst | (~Inst@user/Inst) (Ping timeout: 252 seconds) |
| 2024-08-16 22:23:18 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-08-16 22:25:04 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-08-16 22:30:30 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds) |
| 2024-08-16 22:34:01 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-16 22:34:47 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2024-08-16 22:35:05 +0200 | tcard__ | (~tcard@p3696129-ipxg22301hodogaya.kanagawa.ocn.ne.jp) |
| 2024-08-16 22:36:41 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) (Remote host closed the connection) |
| 2024-08-16 22:44:57 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-16 22:49:48 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2024-08-16 22:53:55 +0200 | neuroevolutus | (~neuroevol@37.19.200.148) (Quit: Client closed) |
| 2024-08-16 22:54:08 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-08-16 22:57:05 +0200 | euleritian | (~euleritia@dynamic-176-002-004-036.176.2.pool.telefonica.de) |
| 2024-08-16 22:58:02 +0200 | wroathe | (~wroathe@c-66-41-76-89.hsd1.mn.comcast.net) |
| 2024-08-16 22:58:02 +0200 | wroathe | (~wroathe@c-66-41-76-89.hsd1.mn.comcast.net) (Changing host) |
| 2024-08-16 22:58:02 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-16 23:01:15 +0200 | kimiamania2 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-08-16 23:01:36 +0200 | kimiamania2 | (~65804703@user/kimiamania) |
| 2024-08-16 23:03:25 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-16 23:14:21 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 258 seconds) |
| 2024-08-16 23:14:34 +0200 | tomku | (~tomku@user/tomku) |
| 2024-08-16 23:16:55 +0200 | euleritian | (~euleritia@dynamic-176-002-004-036.176.2.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-08-16 23:17:21 +0200 | euleritian | (~euleritia@dynamic-176-007-149-082.176.7.pool.telefonica.de) |
| 2024-08-16 23:18:47 +0200 | neuroevolutus | (~neuroevol@37.19.200.148) |
| 2024-08-16 23:24:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-16 23:32:05 +0200 | euleritian | (~euleritia@dynamic-176-007-149-082.176.7.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2024-08-16 23:34:31 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-16 23:35:00 +0200 | euleritian | (~euleritia@dynamic-176-001-213-151.176.1.pool.telefonica.de) |
| 2024-08-16 23:35:59 +0200 | neuroevolutus | (~neuroevol@37.19.200.148) (Ping timeout: 256 seconds) |
| 2024-08-16 23:38:13 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-08-16 23:38:49 +0200 | Square | (~Square@user/square) |
| 2024-08-16 23:39:19 +0200 | spew | (~spew@201.141.102.132) (Quit: spew) |
| 2024-08-16 23:40:29 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-08-16 23:42:29 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2024-08-16 23:42:43 +0200 | tomku | (~tomku@user/tomku) |
| 2024-08-16 23:54:58 +0200 | euleritian | (~euleritia@dynamic-176-001-213-151.176.1.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-08-16 23:55:07 +0200 | euleritian | (~euleritia@dynamic-176-001-224-242.176.1.pool.telefonica.de) |