Logs: freenode/#haskell
| 2021-05-09 13:06:16 | → | mrchampion joins (~mrchampio@38.18.109.23) |
| 2021-05-09 13:11:08 | → | chimera joins (~chimera@168-182-134-95.pool.ukrtel.net) |
| 2021-05-09 13:15:32 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds) |
| 2021-05-09 13:16:43 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-05-09 13:16:43 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 2021-05-09 13:16:43 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 2021-05-09 13:19:18 | ← | seven_three parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.2)") |
| 2021-05-09 13:23:34 | <kuribas> | Is it possible to use XsdToHaskell with duplicateRecordFields? |
| 2021-05-09 13:24:26 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 2021-05-09 13:24:35 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-09 13:25:13 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
| 2021-05-09 13:25:53 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-09 13:27:12 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-09 13:27:29 | <kuribas> | Why does haxml redefine primite types? |
| 2021-05-09 13:27:42 | <kuribas> | http://hackage.haskell.org/package/HaXml-1.25.5/docs/Text-XML-HaXml-Schema-PrimitiveTypes.html |
| 2021-05-09 13:31:48 | <kuribas> | Text.XML.HaXml.Schema.PrimitiveTypes.Int looks exactly like Int to me. |
| 2021-05-09 13:31:57 | <kuribas> | I don't see why it would need to be redefined. |
| 2021-05-09 13:33:17 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-09 13:34:20 | → | nullniverse joins (~null@unaffiliated/nullniverse) |
| 2021-05-09 13:34:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-05-09 13:35:22 | × | neiluj quits (~jco@unaffiliated/neiluj) (Remote host closed the connection) |
| 2021-05-09 13:35:46 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds) |
| 2021-05-09 13:38:59 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-09 13:39:05 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2021-05-09 13:40:14 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 2021-05-09 13:40:43 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-05-09 13:41:06 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-09 13:41:07 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
| 2021-05-09 13:42:04 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 2021-05-09 13:42:51 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-09 13:43:26 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-09 13:45:07 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-09 13:45:17 | × | rond_ quits (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
| 2021-05-09 13:45:31 | <kuribas> | great, XsdToHaskell doesn't even seem to work |
| 2021-05-09 13:45:34 | <kuribas> | it's missing some types. |
| 2021-05-09 13:45:54 | → | fendor_ joins (~fendor@178.165.129.14.wireless.dyn.drei.com) |
| 2021-05-09 13:46:45 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 250 seconds) |
| 2021-05-09 13:46:49 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 276 seconds) |
| 2021-05-09 13:47:03 | → | ram19890 joins (~ram@49.205.84.15) |
| 2021-05-09 13:48:16 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:e8b4:b98a:50b8:994d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-09 13:48:50 | × | fendor quits (~fendor@178.165.129.59.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
| 2021-05-09 13:50:43 | × | ad_ quits (~ad@185.169.233.51) (Remote host closed the connection) |
| 2021-05-09 13:52:43 | × | shiraeeshi quits (~shiraeesh@46.34.206.28) (Ping timeout: 252 seconds) |
| 2021-05-09 13:55:03 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-05-09 13:55:21 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
| 2021-05-09 13:58:31 | → | renzhi joins (~renzhi@2607:fa49:6500:bc00::e7b) |
| 2021-05-09 13:59:00 | → | alx741 joins (~alx741@186.178.108.184) |
| 2021-05-09 13:59:49 | <tomsmeding> | kuribas: that Int is just a re-export |
| 2021-05-09 14:00:51 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-05-09 14:01:21 | <kuribas> | right... |
| 2021-05-09 14:01:29 | <kuribas> | there is also XsdString, why not just use String? |
| 2021-05-09 14:01:41 | × | juuandyy quits (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
| 2021-05-09 14:02:15 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:e8b4:b98a:50b8:994d) |
| 2021-05-09 14:02:43 | <tomsmeding> | I guess because they think a string meant for xml has different semantics than a list of characters? |
| 2021-05-09 14:02:49 | <tomsmeding> | i.e. for instances |
| 2021-05-09 14:03:21 | <tomsmeding> | Though they don't have [a] instances for the classes in question |
| 2021-05-09 14:04:35 | → | nbloomf_ joins (~nbloomf@2600:1700:ad14:3020:89ee:f3d4:789d:7129) |
| 2021-05-09 14:04:50 | <tomsmeding> | Ah right they also have instances for ID and such, which are also just newtypes over String |
| 2021-05-09 14:05:23 | <tomsmeding> | kuribas: so they have different strings with different semantics -- one of which happens to be a normal string |
| 2021-05-09 14:05:54 | <kuribas> | hmm, ok. |
| 2021-05-09 14:06:08 | <kuribas> | I'd hoped XsdToHaskell would use standard haskell primitives. |
| 2021-05-09 14:06:23 | <kuribas> | translate String to Text for example. |
| 2021-05-09 14:06:39 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:e8b4:b98a:50b8:994d) (Ping timeout: 245 seconds) |
| 2021-05-09 14:10:25 | × | drbean_ quits (~drbean@TC210-63-209-33.static.apol.com.tw) (Ping timeout: 268 seconds) |
| 2021-05-09 14:11:27 | → | kierra joins (~kierra@195.140.213.38) |
| 2021-05-09 14:12:59 | × | nbloomf_ quits (~nbloomf@2600:1700:ad14:3020:89ee:f3d4:789d:7129) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-09 14:21:14 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 2021-05-09 14:21:20 | → | nullniv15 joins (~null@unaffiliated/nullniverse) |
| 2021-05-09 14:21:30 | × | nullniverse quits (~null@unaffiliated/nullniverse) (Read error: Connection reset by peer) |
| 2021-05-09 14:21:30 | × | nullniv15 quits (~null@unaffiliated/nullniverse) (Read error: Connection reset by peer) |
| 2021-05-09 14:21:59 | → | nullniverse joins (~null@unaffiliated/nullniverse) |
| 2021-05-09 14:22:00 | <kuribas> | how to create a "diff" from two records? |
| 2021-05-09 14:22:49 | → | LKoen joins (~LKoen@156.168.9.109.rev.sfr.net) |
| 2021-05-09 14:22:51 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
| 2021-05-09 14:23:02 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-09 14:23:29 | → | malumore joins (~malumore@151.62.119.114) |
| 2021-05-09 14:23:29 | → | kenran joins (~kenran@i59F67BEC.versanet.de) |
| 2021-05-09 14:24:01 | <kuribas> | ah, I could convert to JSON, then use aeson-diff |
| 2021-05-09 14:25:39 | → | shiraeeshi joins (~shiraeesh@46.34.206.28) |
| 2021-05-09 14:25:49 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 268 seconds) |
| 2021-05-09 14:26:29 | × | vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection) |
| 2021-05-09 14:26:37 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds) |
| 2021-05-09 14:26:45 | → | vgtw joins (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-05-09 14:29:14 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-05-09 14:29:59 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-09 14:30:00 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-09 14:31:00 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-09 14:33:15 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-05-09 14:33:47 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-09 14:34:14 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 2021-05-09 14:35:12 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-09 14:35:27 | × | renzhi quits (~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 260 seconds) |
| 2021-05-09 14:38:11 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-09 14:43:52 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 2021-05-09 14:46:07 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b952744537a9ba826644f.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-05-09 14:47:22 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-09 14:49:04 | × | marinelli quits (~marinelli@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2021-05-09 14:49:24 | → | marinelli joins (~marinelli@gateway/tor-sasl/marinelli) |
| 2021-05-09 14:52:23 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-05-09 14:53:40 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
All times are in UTC.