Logs: freenode/#haskell
| 2021-03-09 22:54:33 | <subttle> | The Unicode syntax is simply because I'm using single char `∷` instead of "::" |
| 2021-03-09 22:54:47 | → | p8m_ joins (p8m@gateway/vpn/protonvpn/p8m) |
| 2021-03-09 22:54:51 | <monochrom> | But currently I just have "module F where import Dominoes THE END" and no problem so far. |
| 2021-03-09 22:55:25 | <monochrom> | After enabling GADTs in Dominoes.hs, that is. |
| 2021-03-09 22:55:39 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 260 seconds) |
| 2021-03-09 22:55:41 | <subttle> | Axman6: haha thanks, I have UnicodeSyntax enabled globally anyway |
| 2021-03-09 22:55:47 | <Axman6> | ew |
| 2021-03-09 22:56:39 | Athas_ | is now known as Athas |
| 2021-03-09 22:57:16 | × | fendor quits (~fendor@178.165.128.28.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-03-09 22:57:45 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-03-09 22:58:11 | <subttle> | monochrom: So when you import `(🀰) into another file it works for you? Interesting. I'll keep looking into it, thanks for the help! |
| 2021-03-09 22:58:37 | <subttle> | Axman6: it's the only way to live :D |
| 2021-03-09 22:58:46 | → | Feuermagier joins (~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) |
| 2021-03-09 22:58:48 | × | Feuermagier quits (~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) (Remote host closed the connection) |
| 2021-03-09 22:58:50 | <Axman6> | Reminder me to never colaborate with you :) |
| 2021-03-09 22:58:55 | <monochrom> | I don't know how to reproduce your error. |
| 2021-03-09 22:59:13 | <monochrom> | As said, I can reproduce some other error, but that's easily fixed, as said. |
| 2021-03-09 22:59:26 | <subttle> | Axman6: lmao |
| 2021-03-09 23:00:01 | <subttle> | monochrom: Well, the error originally comes from me trying to finally reorganize this gigantic file: https://github.com/subttle/regular/blob/master/src/Finite.hs#L2532 |
| 2021-03-09 23:02:43 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-03-09 23:03:10 | <Axman6> | subttle: I am curious to see what that app looks like when it's done though, I do kind of love the idea of being able to use the very niche parts of unicode for domain specific stuff, but being impossible to type makes it not so fun froim a programmer's point of view |
| 2021-03-09 23:03:28 | <subttle> | So I split it into a new file NEF.hs (Non Empty Finite) and when I try to import everything from Finite it works fine except for the types `(🁢), (🀰)` |
| 2021-03-09 23:04:43 | <subttle> | Axman6: thanks <3 |
| 2021-03-09 23:05:14 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 260 seconds) |
| 2021-03-09 23:05:21 | × | bergey quits (~user@107.181.19.30) (Ping timeout: 264 seconds) |
| 2021-03-09 23:05:57 | <subttle> | monochrom: I don't expect you to look through the thing to help me figure it out, I'll try to to isolate the issue further, I appreciate your help thus far! |
| 2021-03-09 23:07:39 | → | owl1 joins (~owl@5.134.185.69) |
| 2021-03-09 23:09:17 | × | teej quits (uid154177@gateway/web/irccloud.com/x-dmrpztuemewvoove) (Quit: Connection closed for inactivity) |
| 2021-03-09 23:09:31 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-03-09 23:11:12 | ← | owl1 parts (~owl@5.134.185.69) () |
| 2021-03-09 23:14:26 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-09 23:15:55 | → | teej joins (uid154177@gateway/web/irccloud.com/x-dbeumxrslumknqne) |
| 2021-03-09 23:17:00 | → | kam1 joins (~kam1@83.123.154.198) |
| 2021-03-09 23:19:20 | × | kam1 quits (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 2021-03-09 23:19:39 | × | curiousgay quits (~gay@178.217.208.8) (Ping timeout: 245 seconds) |
| 2021-03-09 23:21:32 | → | romesrf joins (~romesrf@44.190.189.46.rev.vodafone.pt) |
| 2021-03-09 23:23:48 | <subttle> | Ah, okay I figured it out, just in case anyone was wondering. As monochrom suggested I can `import Dominoes` just fine as long as I don't try to explicitly list what I'm importing, OR if I want to be explicit I have to say `type` in front of it |
| 2021-03-09 23:24:37 | × | acidjnk_new quits (~acidjnk@p200300d0c72b95704cd799b0a8031c33.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2021-03-09 23:25:11 | <subttle> | for sake of completeness here is what that looks like `import Dominoes (type (🀰), type (🁢))` |
| 2021-03-09 23:25:30 | → | kam1 joins (~kam1@83.123.154.198) |
| 2021-03-09 23:25:49 | <subttle> | Thanks everyone! |
| 2021-03-09 23:26:08 | <monochrom> | :) |
| 2021-03-09 23:26:13 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-09 23:26:26 | × | xsperry quits (~as@unaffiliated/xsperry) (Remote host closed the connection) |
| 2021-03-09 23:27:10 | → | ozataman joins (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) |
| 2021-03-09 23:28:07 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 2021-03-09 23:28:44 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-09 23:28:48 | × | creuxsader quits (~AdminUser@pool-173-76-103-124.bstnma.fios.verizon.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-03-09 23:28:50 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-09 23:29:14 | → | gitgoood joins (~gitgood@82-132-218-38.dab.02.net) |
| 2021-03-09 23:31:33 | × | cfvnhtsp^ quits (cfvnhtsp@ip98-184-89-2.mc.at.cox.net) (Ping timeout: 256 seconds) |
| 2021-03-09 23:31:36 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-09 23:31:51 | → | cfvnhtsp^ joins (cfvnhtsp@ip98-184-89-2.mc.at.cox.net) |
| 2021-03-09 23:31:56 | × | gitgood quits (~gitgood@82-132-216-176.dab.02.net) (Read error: Connection reset by peer) |
| 2021-03-09 23:33:16 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-09 23:33:29 | → | curiousgay joins (~gay@178.217.208.8) |
| 2021-03-09 23:34:33 | gitgoood | is now known as gitgood |
| 2021-03-09 23:35:24 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 265 seconds) |
| 2021-03-09 23:38:57 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 264 seconds) |
| 2021-03-09 23:40:50 | → | l8star__ joins (~l8star@business-90-187-113-149.pool2.vodafone-ip.de) |
| 2021-03-09 23:41:44 | → | mimi_vx joins (~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) |
| 2021-03-09 23:42:58 | → | irc_user joins (uid423822@gateway/web/irccloud.com/x-kzjqgwvrhyyjysqx) |
| 2021-03-09 23:46:11 | × | kam1 quits (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 2021-03-09 23:46:39 | × | hiroaki__ quits (~hiroaki@2a02:8108:8c40:2bb8:e6c8:817b:b58d:6ff3) (Ping timeout: 272 seconds) |
| 2021-03-09 23:46:41 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:f5c0:50eb:5dcd:a8d4) |
| 2021-03-09 23:46:55 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 2021-03-09 23:47:15 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-03-09 23:48:18 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-03-09 23:50:10 | → | Guest_45 joins (81aeb65c@129.174.182.92) |
| 2021-03-09 23:51:36 | → | APugNamedPugsley joins (~13052@2601:58a:8300:f6a0:3167:53:f72a:f09e) |
| 2021-03-09 23:51:46 | × | ozataman quits (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-03-09 23:52:12 | → | kam1 joins (~kam1@83.123.154.198) |
| 2021-03-09 23:52:45 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-03-09 23:56:41 | × | Guest_45 quits (81aeb65c@129.174.182.92) (Quit: Ping timeout (120 seconds)) |
| 2021-03-09 23:59:21 | × | romesrf quits (~romesrf@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.1) |
| 2021-03-10 00:00:01 | × | cfvnhtsp^ quits (cfvnhtsp@ip98-184-89-2.mc.at.cox.net) () |
| 2021-03-10 00:03:23 | → | elliott_1 joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-10 00:05:10 | × | puke quits (~vroom@217.138.252.212) (Ping timeout: 276 seconds) |
| 2021-03-10 00:08:12 | × | Franciman quits (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-03-10 00:11:40 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-03-10 00:11:55 | → | joseph1 joins (~joseph@cpe-65-31-18-174.insight.res.rr.com) |
| 2021-03-10 00:14:23 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-10 00:14:23 | → | dsrt^ joins (~hph@ip98-184-89-2.mc.at.cox.net) |
| 2021-03-10 00:14:35 | × | swarmcollective quits (~joseph@cpe-65-31-18-174.insight.res.rr.com) (Ping timeout: 240 seconds) |
| 2021-03-10 00:14:45 | → | ozataman joins (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) |
| 2021-03-10 00:16:14 | × | mimi_vx quits (~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) (Ping timeout: 264 seconds) |
| 2021-03-10 00:16:36 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-10 00:16:46 | × | conal_ quits (~conal@66.115.157.49) (Quit: Computer has gone to sleep.) |
| 2021-03-10 00:20:04 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-10 00:22:31 | → | conal joins (~conal@192.145.118.107) |
| 2021-03-10 00:22:35 | × | elliott_1 quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Quit: WeeChat 3.0.1) |
| 2021-03-10 00:25:01 | × | ozataman quits (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-03-10 00:27:09 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-03-10 00:28:57 | → | bennofs__ joins (~quassel@dslb-094-222-058-228.094.222.pools.vodafone-ip.de) |
| 2021-03-10 00:30:30 | × | minoru_shiraeesh quits (~shiraeesh@46.34.206.251) (Ping timeout: 265 seconds) |
| 2021-03-10 00:30:33 | → | Fractalis joins (~Fractalis@2601:987:280:fb20:ad9b:b2c6:b33d:6cda) |
| 2021-03-10 00:32:09 | × | mananamenos quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 245 seconds) |
| 2021-03-10 00:33:04 | × | bennofs_ quits (~quassel@dslb-094-222-034-104.094.222.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2021-03-10 00:37:01 | × | xintron quits (~xintron@unaffiliated/xintron) (Ping timeout: 276 seconds) |
| 2021-03-10 00:37:14 | × | Fractalis quits (~Fractalis@2601:987:280:fb20:ad9b:b2c6:b33d:6cda) (Ping timeout: 264 seconds) |
All times are in UTC.