Logs: liberachat/#haskell
| 2021-06-11 00:24:01 | → | Shaeto joins (~Shaeto@94.25.234.158) |
| 2021-06-11 00:24:12 | → | thyriaen joins (~thyriaen@45.178.73.238) |
| 2021-06-11 00:26:12 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-06-11 00:26:13 | × | teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-11 00:26:34 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 272 seconds) |
| 2021-06-11 00:27:59 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-11 00:29:08 | × | Shaeto quits (~Shaeto@94.25.234.158) (Ping timeout: 264 seconds) |
| 2021-06-11 00:29:09 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 272 seconds) |
| 2021-06-11 00:29:30 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-11 00:29:37 | <monochrom> | No, I prefer RecordHashTagSyntax like in SML. |
| 2021-06-11 00:29:46 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-11 00:30:06 | <monochrom> | Record#Syntax |
| 2021-06-11 00:31:05 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-11 00:32:04 | <qrpnxz> | is christopher allen here? |
| 2021-06-11 00:32:05 | × | teaSlurper quits (~chris@81.96.113.213) (Read error: Connection reset by peer) |
| 2021-06-11 00:32:30 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-11 00:36:35 | → | wwalker joins (~wwalker@platinum.solid-constructs.com) |
| 2021-06-11 00:37:55 | × | thyriaen quits (~thyriaen@45.178.73.238) (Quit: Leaving) |
| 2021-06-11 00:40:00 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-06-11 00:40:03 | × | jolly quits (~jolly@208.180.97.158) (Quit: Connection closed) |
| 2021-06-11 00:40:31 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Read error: Connection reset by peer) |
| 2021-06-11 00:40:45 | <wwalker> | I'm trying to build matterhorn, I know essentially nothiung about haskell, except cool tools like matterhorn and ShellCheck are written in it. Anyway... The build fails to build cabal-dependency-licenses |
| 2021-06-11 00:41:02 | <wwalker> | https://gist.github.com/wwalker/a38c3fee2f868c158ab7f55c43d9a56e has the build log showing the errors. |
| 2021-06-11 00:41:24 | <wwalker> | any pointers (links to troubleshooting build failures?) |
| 2021-06-11 00:41:28 | → | vicfred_ joins (~vicfred@fixed-187-191-38-173.totalplay.net) |
| 2021-06-11 00:42:15 | → | Shaeto joins (~Shaeto@94.25.234.158) |
| 2021-06-11 00:43:48 | × | vicfred quits (~vicfred@user/vicfred) (Ping timeout: 252 seconds) |
| 2021-06-11 00:44:15 | <wwalker> | https://paste.tomsmeding.com/Bvpp1X0e More complete than the gist, and in the website specified in the topic. |
| 2021-06-11 00:44:24 | × | Deide quits (~Deide@user/deide) (Quit: Seeee yaaaa) |
| 2021-06-11 00:45:20 | × | zebrag quits (~chris@user/zebrag) (Ping timeout: 264 seconds) |
| 2021-06-11 00:46:44 | × | Shaeto quits (~Shaeto@94.25.234.158) (Ping timeout: 245 seconds) |
| 2021-06-11 00:46:53 | → | sayola joins (~vekto@dslc-082-082-145-205.pools.arcor-ip.net) |
| 2021-06-11 00:49:19 | × | vicfred_ quits (~vicfred@fixed-187-191-38-173.totalplay.net) (Quit: Leaving) |
| 2021-06-11 00:50:16 | <hololeap> | Axman6: they support stuff like `.myField` which would be a function from any type that has a "myField" field to whatever myField is... if that makes sense |
| 2021-06-11 00:50:53 | <Axman6> | hmm, doesn't RecordDotSyntax do that? whatever we use in DAML lets us do that |
| 2021-06-11 00:51:09 | <Axman6> | so you can do map (.someField) |
| 2021-06-11 00:51:13 | <hololeap> | I thought that RecordDotSyntax wasn't implemented yet |
| 2021-06-11 00:51:22 | → | Shaeto joins (~Shaeto@94.25.234.158) |
| 2021-06-11 00:51:40 | <yushyin> | it is since ghc9.2 |
| 2021-06-11 00:51:48 | <yushyin> | check out the 9.2 prerelease |
| 2021-06-11 00:51:51 | <hololeap> | Oh, I'm still on 8.10 |
| 2021-06-11 00:51:58 | <Axman6> | ah I thought it was out in 9.0 |
| 2021-06-11 00:52:14 | <hololeap> | that will be a game changer for sure |
| 2021-06-11 00:53:15 | <yushyin> | NoFieldSelectors will already be a big game changer |
| 2021-06-11 00:54:17 | <Axman6> | the other nice thing we have in DAML is record "with" syntax - you can say create Foo with fooId; bar = BarA; baz = None. it's a nice alternative to record wildcards which requires less syntax |
| 2021-06-11 00:55:39 | <Axman6> | (it looks better over multiple lines, I'll see if I can find a gfood example) |
| 2021-06-11 00:55:40 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-11 00:55:50 | × | Shaeto quits (~Shaeto@94.25.234.158) (Ping timeout: 244 seconds) |
| 2021-06-11 00:58:19 | <Axman6> | https://github.com/digital-asset/ex-models/blob/b6b95f3797e8a0a563dbf450d091d215a4aba306/chess/daml/Tests/SpecialRules.daml#L40 |
| 2021-06-11 00:58:36 | <Axman6> | line 44 shows how it's usually used |
| 2021-06-11 01:01:28 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a) |
| 2021-06-11 01:01:38 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-11 01:02:59 | × | MidAutumnMoon quits (~MidAutumn@user/midautumnmoon) (Read error: Connection reset by peer) |
| 2021-06-11 01:03:14 | → | MidAutumnMoon joins (~MidAutumn@user/midautumnmoon) |
| 2021-06-11 01:05:14 | <lyxia> | wwalker: maybe try asking on Matterhorn's community server linked in their readme |
| 2021-06-11 01:05:51 | → | pdxleif joins (~leif@75.164.44.108) |
| 2021-06-11 01:05:54 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a) (Ping timeout: 245 seconds) |
| 2021-06-11 01:08:14 | <lyxia> | wwalker: I think you'll have to install an older distribution of Haskell (one with Cabal <= 2.5) but the developers of matterhorn themselves might have more comprehensive pointers to get a working setup. |
| 2021-06-11 01:09:36 | → | Shaeto joins (~Shaeto@94.25.234.158) |
| 2021-06-11 01:09:46 | → | gorignak joins (~gorignak@047-037-033-079.res.spectrum.com) |
| 2021-06-11 01:10:39 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-06-11 01:11:46 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-06-11 01:13:49 | × | xff0x_ quits (~xff0x@2001:1a81:5309:4200:43f:9f66:b597:77c7) (Ping timeout: 245 seconds) |
| 2021-06-11 01:14:08 | × | pdxleif quits (~leif@75.164.44.108) (Ping timeout: 264 seconds) |
| 2021-06-11 01:14:42 | × | Shaeto quits (~Shaeto@94.25.234.158) (Ping timeout: 272 seconds) |
| 2021-06-11 01:15:45 | → | xff0x_ joins (~xff0x@2001:1a81:5346:bf00:2779:734e:bb13:8382) |
| 2021-06-11 01:18:44 | → | Shaeto joins (~Shaeto@94.25.234.158) |
| 2021-06-11 01:22:00 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Quit: Leaving) |
| 2021-06-11 01:22:56 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-06-11 01:23:06 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-11 01:23:13 | × | Shaeto quits (~Shaeto@94.25.234.158) (Ping timeout: 244 seconds) |
| 2021-06-11 01:24:22 | × | jaevanko quits (~jaevanko@2600:1700:1330:2bef:2af8:ee9a:b15a:6b86) (Quit: Leaving) |
| 2021-06-11 01:24:25 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-11 01:27:51 | → | Shaeto joins (~Shaeto@94.25.234.158) |
| 2021-06-11 01:32:31 | × | Shaeto quits (~Shaeto@94.25.234.158) (Ping timeout: 244 seconds) |
| 2021-06-11 01:32:54 | → | yd502 joins (~yd502@180.168.212.6) |
| 2021-06-11 01:33:38 | → | yd502_ joins (~yd502@180.168.212.6) |
| 2021-06-11 01:35:30 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 252 seconds) |
| 2021-06-11 01:35:45 | → | yd502__ joins (~yd502@180.168.212.6) |
| 2021-06-11 01:36:58 | → | Shaeto joins (~Shaeto@94.25.234.158) |
| 2021-06-11 01:37:09 | × | yd502 quits (~yd502@180.168.212.6) (Ping timeout: 252 seconds) |
| 2021-06-11 01:38:15 | × | yd502_ quits (~yd502@180.168.212.6) (Ping timeout: 252 seconds) |
| 2021-06-11 01:41:44 | × | Shaeto quits (~Shaeto@94.25.234.158) (Ping timeout: 264 seconds) |
| 2021-06-11 01:43:27 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-11 01:46:49 | <qrpnxz> | am i reading this right that an Alternative Monad is automatically a MonadPlus? |
| 2021-06-11 01:50:25 | × | Igfoo quits (~ian@matrix.chaos.earth.li) (Ping timeout: 272 seconds) |
| 2021-06-11 01:55:12 | → | Shaeto joins (~Shaeto@94.25.234.158) |
| 2021-06-11 01:55:23 | × | eight quits (~eight@user/eight) (Remote host closed the connection) |
| 2021-06-11 01:57:01 | → | Igfoo joins (~ian@matrix.chaos.earth.li) |
| 2021-06-11 01:57:45 | <glguy> | doesn't sound right |
| 2021-06-11 01:58:10 | <glguy> | class (Alternative m, Monad m) => MonadPlus m where |
| 2021-06-11 01:58:29 | <glguy> | In order to be a MonadPlus you must already be a Monad and an Alternative |
| 2021-06-11 01:58:54 | <glguy> | then you can make a MonadPlus instance for free that will default to using Alternative |
| 2021-06-11 01:58:59 | <glguy> | instance MonadPlus YourTypeHere |
| 2021-06-11 02:00:18 | × | Shaeto quits (~Shaeto@94.25.234.158) (Ping timeout: 272 seconds) |
| 2021-06-11 02:00:47 | → | eight joins (~eight@user/eight) |
| 2021-06-11 02:01:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-11 02:01:26 | × | funsafe quits (~funsafe@2601:1c1:4200:938f:389d:16a4:ae2d:65aa) (Ping timeout: 252 seconds) |
| 2021-06-11 02:01:35 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-11 02:02:58 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a) |
All times are in UTC.