Logs: liberachat/#haskell
| 2021-08-05 16:59:39 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-05 17:02:26 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-08-05 17:02:58 | × | Guest6960 quits (~chris@81.96.113.213) (Ping timeout: 240 seconds) |
| 2021-08-05 17:03:46 | → | berberman_ joins (~berberman@user/berberman) |
| 2021-08-05 17:04:42 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 256 seconds) |
| 2021-08-05 17:05:27 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-05 17:05:30 | chris | is now known as Guest7075 |
| 2021-08-05 17:06:27 | × | michalz quits (~michalz@185.246.204.37) (Remote host closed the connection) |
| 2021-08-05 17:06:44 | × | azeem quits (~azeem@176.200.247.52) (Read error: Connection reset by peer) |
| 2021-08-05 17:08:12 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-05 17:08:18 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-08-05 17:09:12 | → | azeem joins (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) |
| 2021-08-05 17:09:19 | → | xkuru joins (~xkuru@user/xkuru) |
| 2021-08-05 17:09:22 | × | pe200012 quits (~pe200012@113.105.10.33) (Ping timeout: 258 seconds) |
| 2021-08-05 17:09:45 | → | kayvank` joins (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2021-08-05 17:09:45 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2021-08-05 17:10:22 | → | mattil joins (~mattilinn@87-92-27-109.bb.dnainternet.fi) |
| 2021-08-05 17:11:33 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-05 17:11:48 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 272 seconds) |
| 2021-08-05 17:12:34 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 2021-08-05 17:13:48 | ← | kayvank` parts (~user@52-119-115-185.PUBLIC.monkeybrains.net) () |
| 2021-08-05 17:13:52 | → | pbrisbin joins (~patrick@pool-108-52-124-197.phlapa.fios.verizon.net) |
| 2021-08-05 17:15:17 | × | Guest7075 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-05 17:15:54 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-05 17:15:59 | chris | is now known as Guest9870 |
| 2021-08-05 17:16:56 | × | Guest9870 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-05 17:18:42 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-08-05 17:19:55 | → | sczar joins (~zed@49.36.176.147) |
| 2021-08-05 17:20:49 | × | sczar quits (~zed@49.36.176.147) (Client Quit) |
| 2021-08-05 17:20:51 | → | dagit joins (~dagit@2601:1c2:1b7f:9fa0:459f:eccd:9a2b:f09a) |
| 2021-08-05 17:21:44 | × | kayvank quits (~kayvank@52-119-115-185.PUBLIC.monkeybrains.net) (Quit: Client closed) |
| 2021-08-05 17:22:38 | → | pschorf joins (~user@c-73-77-28-188.hsd1.tx.comcast.net) |
| 2021-08-05 17:25:46 | × | azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-08-05 17:27:14 | → | shailangsa joins (~shailangs@host86-186-142-59.range86-186.btcentralplus.com) |
| 2021-08-05 17:27:14 | → | azeem joins (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) |
| 2021-08-05 17:29:22 | × | pschorf quits (~user@c-73-77-28-188.hsd1.tx.comcast.net) (Remote host closed the connection) |
| 2021-08-05 17:29:58 | → | pavonia joins (~user@user/siracusa) |
| 2021-08-05 17:30:43 | → | peterhil joins (~peterhil@mobile-access-5d6aa6-103.dhcp.inet.fi) |
| 2021-08-05 17:34:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 2021-08-05 17:34:21 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-08-05 17:34:39 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-08-05 17:35:12 | → | ukari joins (~ukari@user/ukari) |
| 2021-08-05 17:38:04 | → | moveeax joins (~moveeax@202.14.121.94) |
| 2021-08-05 17:42:12 | × | azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Ping timeout: 272 seconds) |
| 2021-08-05 17:43:26 | × | mikoto-chan quits (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Read error: No route to host) |
| 2021-08-05 17:44:01 | → | mikoto-chan joins (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) |
| 2021-08-05 17:44:17 | → | azeem joins (~azeem@176.200.210.197) |
| 2021-08-05 17:47:10 | → | pschorf joins (~user@c-73-77-28-188.hsd1.tx.comcast.net) |
| 2021-08-05 17:47:17 | × | peterhil quits (~peterhil@mobile-access-5d6aa6-103.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-08-05 17:48:51 | × | azeem quits (~azeem@176.200.210.197) (Ping timeout: 258 seconds) |
| 2021-08-05 17:51:30 | → | azeem joins (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) |
| 2021-08-05 17:55:31 | ← | PinealGlandOptic parts (~PinealGla@37.115.210.35) () |
| 2021-08-05 17:59:04 | × | moveeax quits (~moveeax@202.14.121.94) (Quit: Connection closed) |
| 2021-08-05 18:00:04 | → | slack1256 joins (~slack1256@181.203.118.140) |
| 2021-08-05 18:01:05 | <slack1256> | Am I right in thinking that multiple functional dependencies are not supported on type families? I am working this example `type family UserFrom addresslike = userlike | userlike -> addresslike, addresslike -> userlike where`. |
| 2021-08-05 18:01:47 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-08-05 18:03:27 | <slack1256> | Well that example is incorrect anyways. But I still want to know if multiple functional dependencies (injection constrains) are allowed on different parameters. |
| 2021-08-05 18:03:46 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-08-05 18:04:18 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-08-05 18:04:18 | → | sheepduck joins (~sheepduck@user/sheepduck) |
| 2021-08-05 18:05:32 | <pavonia> | You can have type families with fundeps? |
| 2021-08-05 18:06:38 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-08-05 18:06:53 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-08-05 18:07:57 | → | Sgeo_ joins (~Sgeo@user/sgeo) |
| 2021-08-05 18:08:00 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-08-05 18:10:31 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-05 18:10:35 | chris | is now known as Guest2623 |
| 2021-08-05 18:11:34 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 256 seconds) |
| 2021-08-05 18:12:45 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-08-05 18:12:47 | × | Guest2623 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-05 18:13:42 | → | mikemike joins (~acerion@176.221.121.90) |
| 2021-08-05 18:14:10 | × | mikemike quits (~acerion@176.221.121.90) (Client Quit) |
| 2021-08-05 18:15:40 | <geekosaur> | a\pavonia, yes, that enables you to declare injective type families |
| 2021-08-05 18:16:39 | → | moveeax joins (~moveeax@202.14.121.94) |
| 2021-08-05 18:17:47 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-05 18:17:51 | chris | is now known as Guest1529 |
| 2021-08-05 18:19:07 | → | peterhil joins (~peterhil@mobile-access-5d6aa6-103.dhcp.inet.fi) |
| 2021-08-05 18:22:29 | × | Guest1529 quits (~chris@81.96.113.213) (Ping timeout: 252 seconds) |
| 2021-08-05 18:23:40 | × | moveeax quits (~moveeax@202.14.121.94) (Quit: Connection closed) |
| 2021-08-05 18:25:51 | → | mikemike joins (~acerion@176.221.121.90) |
| 2021-08-05 18:30:05 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-05 18:30:07 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-08-05 18:30:11 | <Athas> | Is there an easy way to declare everything in a file NOINLINE? |
| 2021-08-05 18:30:38 | × | peterhil quits (~peterhil@mobile-access-5d6aa6-103.dhcp.inet.fi) (Ping timeout: 258 seconds) |
| 2021-08-05 18:31:31 | <geekosaur> | not that I'm aware of |
| 2021-08-05 18:31:54 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-08-05 18:33:12 | <geekosaur> | aside from Big Hammers like OPTIONS_GHC -O0 |
| 2021-08-05 18:33:41 | <Athas> | Will that even prevent other modules from inlining definitions in the affected module? |
| 2021-08-05 18:33:43 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2021-08-05 18:33:47 | × | mikemike quits (~acerion@176.221.121.90) (Quit: leaving) |
| 2021-08-05 18:34:32 | <geekosaur> | I think so, but that might be a question for #ghc |
| 2021-08-05 18:38:35 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:cf01:7cd6:622f:9fda) |
| 2021-08-05 18:40:27 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 276 seconds) |
| 2021-08-05 18:41:21 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-05 18:41:29 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-05 18:41:36 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-08-05 18:43:45 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-05 18:43:49 | chris | is now known as Guest1164 |
| 2021-08-05 18:44:33 | → | mastarija joins (~mastarija@78-3-210-70.adsl.net.t-com.hr) |
| 2021-08-05 18:45:05 | × | Guest1164 quits (~chris@81.96.113.213) (Remote host closed the connection) |
All times are in UTC.