Logs: liberachat/#haskell
| 2021-08-17 07:27:15 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2021-08-17 07:28:09 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-17 07:28:17 | → | mei joins (~mei@user/mei) |
| 2021-08-17 07:28:29 | × | gambpang quits (~ian@207.181.230.156) (Ping timeout: 268 seconds) |
| 2021-08-17 07:30:29 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-17 07:32:35 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-08-17 07:33:27 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-08-17 07:35:30 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-17 07:35:39 | aforemny_ | is now known as aforemny |
| 2021-08-17 07:38:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-17 07:39:35 | → | cheater joins (~Username@user/cheater) |
| 2021-08-17 07:40:30 | × | Guest327 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-17 07:40:49 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-17 07:43:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-08-17 07:45:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-17 07:45:27 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-08-17 07:46:31 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-08-17 07:47:42 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-17 07:47:46 | → | Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk) |
| 2021-08-17 07:48:21 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-08-17 07:52:32 | × | hendursaga quits (~weechat@user/hendursaga) (Quit: hendursaga) |
| 2021-08-17 07:53:00 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-08-17 07:55:18 | uSaqr | is now known as Suqare |
| 2021-08-17 07:56:10 | × | aarvar quits (~aaron@2601:602:a080:fa0:67c3:55ee:5aa4:c0b6) (Ping timeout: 240 seconds) |
| 2021-08-17 07:56:55 | × | FragByte quits (~christian@user/fragbyte) (Quit: Quit) |
| 2021-08-17 07:57:51 | Suqare | is now known as Sqaure |
| 2021-08-17 07:58:53 | → | burnsidesLlama joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-08-17 08:00:06 | → | FragByte joins (~christian@user/fragbyte) |
| 2021-08-17 08:01:14 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-08-17 08:02:56 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-08-17 08:03:10 | × | p3n_ quits (~p3n@217.198.124.246) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-08-17 08:03:39 | → | p3n joins (~p3n@217.198.124.246) |
| 2021-08-17 08:04:57 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-08-17 08:06:01 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 2021-08-17 08:08:12 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-08-17 08:08:57 | → | ubert1 joins (~Thunderbi@91.141.62.226.wireless.dyn.drei.com) |
| 2021-08-17 08:11:22 | → | burnside_ joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-08-17 08:11:22 | × | burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-08-17 08:16:58 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Read error: Connection reset by peer) |
| 2021-08-17 08:16:59 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-17 08:18:02 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-17 08:19:39 | <Drew[m]1> | Is there a package for providing type level information about what platform a package has been compiled on? |
| 2021-08-17 08:20:27 | × | Obo quits (~roberto@78.77.166.185) (Ping timeout: 245 seconds) |
| 2021-08-17 08:22:40 | <[exa]> | Drew[m]1: why type-level? |
| 2021-08-17 08:24:06 | <maerwald> | shouldn't that be trivial with CPP and type level literals? |
| 2021-08-17 08:24:09 | <[exa]> | (anyway, some compiler data are usually available through preprocessor macros) |
| 2021-08-17 08:24:38 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-08-17 08:24:40 | → | cas68 joins (~cas@60-242-74-252.tpgi.com.au) |
| 2021-08-17 08:26:35 | → | tfeb joins (~tfb@88.98.95.237) |
| 2021-08-17 08:27:37 | × | acowley quits (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (Read error: Connection reset by peer) |
| 2021-08-17 08:29:55 | → | acowley joins (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) |
| 2021-08-17 08:30:51 | <Drew[m]1> | <[exa]> "Drew: why type-level?" <- I was thinking about it's possible to avoid CPP by having cabal conditionally import some version of a module depending on platform, and it occurred to me that at the bare minimum all you'd really need to expose is the platform information at the type level and the platform generic code could use that to decide which other parts of the program to use via type classes |
| 2021-08-17 08:31:23 | × | ubert1 quits (~Thunderbi@91.141.62.226.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
| 2021-08-17 08:32:38 | <Drew[m]1> | I suppose I might be comfortable using CPP to aquire such information in one package so that a client package wouldn't have, but avoiding CPP while varying behavior between platforms is the goal |
| 2021-08-17 08:32:39 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-08-17 08:33:10 | <Drew[m]1> | Whether it's reasonable to do this is something I couldn't possibly comment on |
| 2021-08-17 08:34:18 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-17 08:34:37 | <Drew[m]1> | It needs to be type-level so that like CPP everything is decided at compile-time |
| 2021-08-17 08:37:46 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-17 08:40:02 | → | timCF joins (~timCF@200-149-20-81.sta.estpak.ee) |
| 2021-08-17 08:41:56 | × | shriekingnoise quits (~shrieking@186.137.144.80) (Quit: Quit) |
| 2021-08-17 08:42:00 | → | dschrempf joins (~dominik@2a01-036d-0118-a2d1-83e4-4c8f-3e62-bedd.pool6.digikabel.hu) |
| 2021-08-17 08:42:10 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-08-17 08:43:30 | <maerwald> | I don't think you can do that without CPP or TH |
| 2021-08-17 08:48:10 | <[exa]> | Drew[m]1: in my project I'm specifically doing single modules that have CPP enabled and just expose whatever is needed from CPP into "normal" typed stuff |
| 2021-08-17 08:48:31 | <Drew[m]1> | Well I figure without CPP, to expose the OS and Arch information you'd need a file for every archetecture and a file for every OS.maerwald |
| 2021-08-17 08:48:45 | <[exa]> | (usually version information for printing) |
| 2021-08-17 08:48:58 | <maerwald> | what creates those files? |
| 2021-08-17 08:49:30 | × | tfeb quits (~tfb@88.98.95.237) (Quit: died) |
| 2021-08-17 08:49:47 | → | benin036932 joins (~benin@106.198.88.152) |
| 2021-08-17 08:50:12 | × | timCF quits (~timCF@200-149-20-81.sta.estpak.ee) (Quit: leaving) |
| 2021-08-17 08:51:12 | <Drew[m]1> | Actually if OS information includes versions you'd be doomed. |
| 2021-08-17 08:51:12 | <Drew[m]1> | It would only work without CPP if you only offer very coarse platform info: coarse enough to make it feasable to make one file for every option |
| 2021-08-17 08:52:08 | <[exa]> | anyway, what would you use it for? deciding on implementation/validity of some code based on platform? |
| 2021-08-17 08:53:03 | <Drew[m]1> | Yes, deciding on implementation based on platform |
| 2021-08-17 08:53:21 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 248 seconds) |
| 2021-08-17 08:53:49 | <[exa]> | perhaps having the platform-dependent bits in the separate files would be a kindof isomorphic solution then? |
| 2021-08-17 08:55:27 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-17 08:55:36 | × | benin036932 quits (~benin@106.198.88.152) (Read error: Connection reset by peer) |
| 2021-08-17 08:56:01 | → | themc47 joins (~mc47@xmonad/TheMC47) |
| 2021-08-17 08:56:51 | → | benin036932 joins (~benin@106.198.88.152) |
| 2021-08-17 08:57:01 | → | ubert1 joins (~Thunderbi@91.141.62.226.wireless.dyn.drei.com) |
| 2021-08-17 08:57:20 | <[exa]> | OTOH I don't see if/how it could be practical (technically, if you're switching platforms, then usually some functionality is missing on some platforms as in "code does not compile at all", and you just want to #ifdef the stuff out instead of hoping that type-level conditions magically do the right thing) |
| 2021-08-17 08:57:36 | → | mr-red joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-08-17 08:58:10 | × | mc47 quits (~mc47@xmonad/TheMC47) (Ping timeout: 240 seconds) |
| 2021-08-17 08:58:13 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 258 seconds) |
| 2021-08-17 08:58:16 | <fvr> | you maybe able to use a plugin to feed the info into a type level function , the result of which can choose a different instance |
| 2021-08-17 09:00:23 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-17 09:01:49 | <Drew[m]1> | [exa]: Yeah you're right... whether by CPP or cabal file conditionals that sort of thing still needs to be hidden when compiling on certain platforms |
| 2021-08-17 09:03:25 | <[exa]> | like, not necessarily the case with haskell and I perfectly see your point that it _should_ be possible, but in these cases I prefer to keep stuff as simple as possible |
| 2021-08-17 09:04:06 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-17 09:04:24 | <[exa]> | esp. given the situation that on 99% platforms you get the configuration input from autoconf as defines, and the redmondish one is better treated as a special case anyway |
| 2021-08-17 09:04:43 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-17 09:07:07 | × | dschrempf quits (~dominik@2a01-036d-0118-a2d1-83e4-4c8f-3e62-bedd.pool6.digikabel.hu) (Ping timeout: 245 seconds) |
| 2021-08-17 09:08:10 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-17 09:09:10 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-08-17 09:10:13 | × | cas68 quits (~cas@60-242-74-252.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2021-08-17 09:10:50 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-08-17 09:11:50 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-08-17 09:16:41 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
All times are in UTC.