Logs: freenode/#haskell
| 2021-05-11 10:51:49 | × | fendor quits (~fendor@178.165.129.215.wireless.dyn.drei.com) (Quit: Leaving) |
| 2021-05-11 10:54:01 | → | nineonin_ joins (~nineonine@2604:3d08:777e:900:44b:8070:af85:f145) |
| 2021-05-11 10:55:33 | → | nineonine joins (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) |
| 2021-05-11 10:56:03 | × | theos1 quits (~theos@185.163.110.100) () |
| 2021-05-11 10:58:19 | × | nineonin_ quits (~nineonine@2604:3d08:777e:900:44b:8070:af85:f145) (Ping timeout: 245 seconds) |
| 2021-05-11 10:59:59 | × | nineonine quits (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) (Ping timeout: 245 seconds) |
| 2021-05-11 11:02:39 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 2021-05-11 11:02:40 | × | cocreature quits (~cocreatur@eirene.uberspace.de) (Read error: Connection reset by peer) |
| 2021-05-11 11:04:07 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-05-11 11:05:14 | → | Lycurgus joins (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-11 11:05:43 | → | cocreature joins (~cocreatur@eirene.uberspace.de) |
| 2021-05-11 11:05:52 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-05-11 11:08:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-05-11 11:09:34 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-11 11:09:38 | × | swater quits (bouhier200@perso.iiens.net) (Ping timeout: 265 seconds) |
| 2021-05-11 11:10:01 | → | puke joins (~vroom@217.138.252.196) |
| 2021-05-11 11:10:10 | × | Guest81 quits (~textual@cpe-108-185-120-135.socal.res.rr.com) (Ping timeout: 268 seconds) |
| 2021-05-11 11:10:13 | → | swater joins (bouhier200@perso.iiens.net) |
| 2021-05-11 11:10:58 | × | justan0theruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 276 seconds) |
| 2021-05-11 11:11:09 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-05-11 11:11:24 | → | trepanger_ joins (~z@173-16-201-214.client.mchsi.com) |
| 2021-05-11 11:12:21 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-11 11:14:23 | → | xiinotulp joins (~q@ppp-58-8-176-210.revip2.asianet.co.th) |
| 2021-05-11 11:14:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-11 11:15:13 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-11 11:17:04 | → | guriya joins (a0ee4b2e@160.238.75.46) |
| 2021-05-11 11:17:25 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-05-11 11:17:47 | × | guriya quits (a0ee4b2e@160.238.75.46) (Changing host) |
| 2021-05-11 11:17:47 | → | guriya joins (a0ee4b2e@unaffiliated/guriya) |
| 2021-05-11 11:17:56 | × | plutoniix quits (~q@ppp-58-8-180-74.revip2.asianet.co.th) (Ping timeout: 252 seconds) |
| 2021-05-11 11:20:43 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-11 11:20:49 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-11 11:20:52 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-11 11:22:17 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-05-11 11:22:29 | × | Xnuk quits (~xnuk@45.76.202.58) (Quit: ZNC - https://znc.in) |
| 2021-05-11 11:22:47 | → | Xnuk joins (~xnuk@45.76.202.58) |
| 2021-05-11 11:22:59 | × | lawid quits (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Ping timeout: 260 seconds) |
| 2021-05-11 11:23:01 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-05-11 11:23:20 | → | lawid joins (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) |
| 2021-05-11 11:23:24 | <Gurkenglas> | https://paste.tomsmeding.com/m625nssK why didn't UnicodeSyntax work? |
| 2021-05-11 11:25:09 | × | cheater2 quits (~user@unaffiliated/cheater) (Remote host closed the connection) |
| 2021-05-11 11:25:12 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-05-11 11:25:54 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-11 11:26:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-11 11:26:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-11 11:29:35 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-11 11:31:33 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-11 11:31:40 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-05-11 11:32:26 | <tomsmeding> | Gurkenglas: because that's not what UnicodeSyntax does https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/exts/unicode_syntax.html |
| 2021-05-11 11:32:28 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-11 11:32:30 | → | nineonine joins (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) |
| 2021-05-11 11:32:37 | <tomsmeding> | perhaps unfortunately, but that's an opinion :p |
| 2021-05-11 11:32:39 | × | pmj quits (~pmj@p4fe156fa.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-05-11 11:32:51 | <Gurkenglas> | Ah. Is there a way to use turnstiles? |
| 2021-05-11 11:33:58 | → | drbean_ joins (~drbean@TC210-63-209-98.static.apol.com.tw) |
| 2021-05-11 11:34:16 | <hpc> | according to Data.Char, '⊢' is a lower-case symbol |
| 2021-05-11 11:34:40 | <hpc> | so it's in the same category as '+' and '*' and such |
| 2021-05-11 11:34:42 | <Gurkenglas> | Oh, .hs supports unicode already? I see |
| 2021-05-11 11:34:59 | → | cheater joins (~user@unaffiliated/cheater) |
| 2021-05-11 11:35:37 | <hpc> | Prelude> :set -XTypeOperators |
| 2021-05-11 11:35:38 | <hpc> | Prelude> data (⊢) a = Example |
| 2021-05-11 11:35:40 | <hpc> | ^ works |
| 2021-05-11 11:35:56 | <Gurkenglas> | Thanks! |
| 2021-05-11 11:37:41 | <Gurkenglas> | ...now I'd have to put brackets around every use anywhere of it? :( |
| 2021-05-11 11:37:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-11 11:38:00 | → | sedeki joins (~textual@unaffiliated/sedeki) |
| 2021-05-11 11:38:19 | × | nineonine quits (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) (Ping timeout: 245 seconds) |
| 2021-05-11 11:38:25 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-11 11:38:32 | × | xsperry quits (~as@unaffiliated/xsperry) (Remote host closed the connection) |
| 2021-05-11 11:38:44 | <hpc> | yeah |
| 2021-05-11 11:38:44 | <tomsmeding> | Gurkenglas: haskell doesn't have prefix operators at all. The only prefix operator is negation, which is heavily special-cased in the grammar |
| 2021-05-11 11:39:06 | <Uniaika> | +1 |
| 2021-05-11 11:39:15 | <hpc> | or find another codepoint that's not a symbol, or something like that |
| 2021-05-11 11:39:31 | <tomsmeding> | (okay not so sure about "heavily", I haven't looked at ghc's parser to see if it warrants that word :p ) |
| 2021-05-11 11:39:44 | <Gurkenglas> | How should I find one? Check all the unicode symbols for isUpper? |
| 2021-05-11 11:40:18 | × | sedeki quits (~textual@unaffiliated/sedeki) (Client Quit) |
| 2021-05-11 11:40:33 | <hpc> | isAlpha, or maybe isLetter |
| 2021-05-11 11:40:49 | <Uniaika> | tomsmeding: "bolted in the lexer" leaves less space for nuance |
| 2021-05-11 11:40:54 | <hpc> | isUpper isn't necessary because of TypeOperators |
| 2021-05-11 11:41:26 | <Gurkenglas> | hpc, but I still need to put () around it every time, yes? |
| 2021-05-11 11:42:34 | <hpc> | you put parens around infix operators to make them prefix |
| 2021-05-11 11:42:41 | <hpc> | infix operators are made up of symbolic characters |
| 2021-05-11 11:42:48 | <hpc> | prefix names are made up of letters |
| 2021-05-11 11:42:48 | × | AWizzArd quits (~code@unaffiliated/awizzard) (Read error: Connection reset by peer) |
| 2021-05-11 11:43:23 | <hpc> | so no, if you find a suitable character that's isLetter, you can just use it... oh hmm, except it will need to be isUpper too |
| 2021-05-11 11:43:28 | × | Ishutin quits (~ishutin@92-249-185-177.pool.digikabel.hu) (Ping timeout: 268 seconds) |
| 2021-05-11 11:43:31 | <hpc> | ignore where i said it isn't necessary because of TypeOperators :P |
| 2021-05-11 11:43:52 | <tomsmeding> | I assume it has to be category 'Lu' here? https://en.wikipedia.org/wiki/Template:General_Category_(Unicode) |
| 2021-05-11 11:44:05 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-05-11 11:44:35 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-11 11:44:58 | × | adium quits (adium@unaffiliated/adium) (Quit: Stable ZNC by ##bnc4you) |
| 2021-05-11 11:45:09 | <tomsmeding> | oh Lt is also allowed; isUpper checks Lu || Lt |
| 2021-05-11 11:45:33 | × | APic quits (apic@apic.name) (Ping timeout: 240 seconds) |
| 2021-05-11 11:46:00 | → | adium joins (~adium@unaffiliated/adium) |
| 2021-05-11 11:46:01 | → | APic joins (apic@apic.name) |
| 2021-05-11 11:47:43 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-11 11:48:38 | → | AWizzArd joins (~code@gehrels.uberspace.de) |
| 2021-05-11 11:49:19 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 252 seconds) |
| 2021-05-11 11:49:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-11 11:49:41 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
All times are in UTC.