Logs: freenode/#haskell
| 2021-04-20 16:18:46 | <geekosaur> | so OtherPunctuation passes. I do wonder at it slightly since |
| 2021-04-20 16:18:55 | <geekosaur> | > generalCategory '"' |
| 2021-04-20 16:18:57 | <lambdabot> | OtherPunctuation |
| 2021-04-20 16:20:06 | <fendor> | so, does this mean an infix data constructor must start with a `:`? |
| 2021-04-20 16:21:23 | <geekosaur> | yes |
| 2021-04-20 16:22:19 | <geekosaur> | (otherwise pattern matching can't distinguish it from an infix variable; compare uppercase vs. lowercase prefix identifiers) |
| 2021-04-20 16:22:42 | <fendor> | that was really hard to figure out from the report, imo. |
| 2021-04-20 16:23:11 | <fendor> | ah, ok, makes sense |
| 2021-04-20 16:23:39 | <fendor> | thanks! |
| 2021-04-20 16:24:21 | <geekosaur> | seemed pretty clear to me in that section: "An operator symbol starting with a colon is a constructor." |
| 2021-04-20 16:25:13 | <geekosaur> | doesn't say anything about type constructors, but anything interesting there is an extension to the Report |
| 2021-04-20 16:27:03 | → | ram19890 joins (~ram@183.83.155.58) |
| 2021-04-20 16:27:18 | <fendor> | this is what I figured as well, but I wasn't quite sure that this meant it is the *only* allowed symbol for an infix constructor |
| 2021-04-20 16:27:49 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-glghvaevbeqxsogf) (Quit: Connection closed for inactivity) |
| 2021-04-20 16:27:52 | × | zva quits (~zava@141.26.31.52) (Ping timeout: 240 seconds) |
| 2021-04-20 16:29:08 | × | ludi491 quits (~hryhorij@156.17.231.95) (Ping timeout: 252 seconds) |
| 2021-04-20 16:29:15 | <geekosaur> | "starting with a colon" seems clear enough to me |
| 2021-04-20 16:33:14 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection) |
| 2021-04-20 16:37:22 | × | kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
| 2021-04-20 16:38:13 | → | myShoggoth joins (~myShoggot@75.164.11.109) |
| 2021-04-20 16:38:46 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
| 2021-04-20 16:39:26 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 240 seconds) |
| 2021-04-20 16:40:18 | × | ram19890 quits (~ram@183.83.155.58) (Quit: Konversation terminated!) |
| 2021-04-20 16:41:42 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-bcrpbrlexhkfsmvn) |
| 2021-04-20 16:43:16 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-iszyocxwqmtvebxh) |
| 2021-04-20 16:46:06 | → | fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-04-20 16:46:29 | × | tmciver quits (~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 246 seconds) |
| 2021-04-20 16:48:32 | → | tmciver joins (~tmciver@cpe-172-101-40-226.maine.res.rr.com) |
| 2021-04-20 16:51:33 | → | ram19890 joins (~ram@183.83.155.58) |
| 2021-04-20 16:52:43 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-04-20 16:53:26 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-20 16:56:05 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-04-20 16:58:44 | → | Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:795e:3018:ba62:6713) |
| 2021-04-20 16:59:57 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-20 17:00:19 | × | tsaka__ quits (~torstein@athedsl-4519432.home.otenet.gr) (Quit: Konversation terminated!) |
| 2021-04-20 17:00:42 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 2021-04-20 17:02:25 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-04-20 17:03:36 | → | tsaka__ joins (~torstein@athedsl-4519432.home.otenet.gr) |
| 2021-04-20 17:04:39 | × | ashesham` quits (~user@d8D87D1B0.access.telenet.be) (Ping timeout: 265 seconds) |
| 2021-04-20 17:05:40 | geekosaur | sets mode -o geekosaur |
| 2021-04-20 17:06:11 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:908a:4a01:c91b:ed2f) |
| 2021-04-20 17:08:22 | × | idhugo__ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds) |
| 2021-04-20 17:11:38 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-04-20 17:18:50 | × | myShoggoth quits (~myShoggot@75.164.11.109) (Ping timeout: 268 seconds) |
| 2021-04-20 17:21:00 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-04-20 17:22:17 | → | conal joins (~conal@64.71.133.70) |
| 2021-04-20 17:26:53 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 265 seconds) |
| 2021-04-20 17:27:32 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 2021-04-20 17:28:57 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-20 17:32:47 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Quit: leaving) |
| 2021-04-20 17:33:00 | → | knupfer joins (~Thunderbi@200116b82b97f0001c582609c5f80b04.dip.versatel-1u1.de) |
| 2021-04-20 17:34:59 | → | gitgood joins (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) |
| 2021-04-20 17:36:50 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-20 17:37:44 | → | myShoggoth joins (~myShoggot@75.164.11.109) |
| 2021-04-20 17:40:05 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:7192:af15:79b1:35f5) (Ping timeout: 250 seconds) |
| 2021-04-20 17:40:50 | → | lawr3nce joins (~lawr3nce@gateway/tor-sasl/lawr3nce) |
| 2021-04-20 17:41:17 | → | idhugo__ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-20 17:43:10 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-20 17:43:32 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 240 seconds) |
| 2021-04-20 17:43:47 | → | seven_three joins (~user@pool-96-233-64-53.bstnma.fios.verizon.net) |
| 2021-04-20 17:43:57 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-20 17:45:17 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-20 17:45:56 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-04-20 17:47:09 | × | basenode quits (~user@gateway/tor-sasl/basenode) (Ping timeout: 240 seconds) |
| 2021-04-20 17:49:55 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-20 17:52:25 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:7cd:23d4:b32c:5140) |
| 2021-04-20 17:53:25 | × | PragCypher_ quits (~cypher@li1507-98.members.linode.com) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2021-04-20 17:54:02 | → | And1 joins (~And1@brewington.uberspace.de) |
| 2021-04-20 17:55:01 | → | PragCypher joins (~cypher@li1507-98.members.linode.com) |
| 2021-04-20 17:55:06 | <And1> | Hello everyone. It seems ghc(up) can be installed on Apple M1/Silicon via `curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | arch -x86_64 /bin/bash` … any ideas why ghc is not installable via `brew install` and is considered to not support Apple M1, yet? |
| 2021-04-20 17:58:10 | <Uniaika> | And1: hi! I think you'd have a better answer with the maintainers of the brew formula |
| 2021-04-20 17:58:36 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2021-04-20 17:59:05 | <geekosaur> | they may be waiting for 9.2 which is scheduled to have preliminary native support, but you'd have to ask them |
| 2021-04-20 17:59:28 | <And1> | Uniaika: Interestingly, I just realized that the command I posted above does not work for me on Apple Silicon, as stated here: https://www.haskell.org/ghcup/ |
| 2021-04-20 17:59:53 | <And1> | It should work with this command, shouldn't it? I get: Unknown architecture: arm64 |
| 2021-04-20 18:00:00 | <Uniaika> | hmm. |
| 2021-04-20 18:00:01 | <Uniaika> | HMM. |
| 2021-04-20 18:00:05 | <Uniaika> | maerwald: ^ |
| 2021-04-20 18:00:07 | <maerwald> | And1: did you install rosetta? |
| 2021-04-20 18:00:36 | <maerwald> | `softwareupdate --install-rosetta` |
| 2021-04-20 18:00:56 | <yushyin> | maerwald: it looks like the new semester has started again ;D |
| 2021-04-20 18:01:27 | <maerwald> | I almost switched to a mac, but they solder the RAM, so LOL... then I went with a thinkpad |
| 2021-04-20 18:01:33 | <maerwald> | still no way to test mac stuff directly |
| 2021-04-20 18:01:41 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:c46c:29eb:6d58:88ee) |
| 2021-04-20 18:01:54 | <And1> | maerwald: Thanks, let me check. (I would not quite believe I was using the M1 successfully without Rosetta for the last ~two months.) |
| 2021-04-20 18:01:56 | <Uniaika> | maerwald: hope it wasn't an X1 Carbon :-P |
| 2021-04-20 18:02:08 | <maerwald> | X1 extreme |
| 2021-04-20 18:02:27 | <hyperisco> | maerwald, have you heard of System76? |
| 2021-04-20 18:02:43 | <And1> | maerwald: Nope. It's installed, but I get the same error for ghcup. |
| 2021-04-20 18:03:06 | <maerwald> | hyperisco: nope |
| 2021-04-20 18:03:07 | <hyperisco> | if I need a laptop again it will definitely be from them |
| 2021-04-20 18:03:12 | <Uniaika> | maerwald: aren't they soldered as well? |
| 2021-04-20 18:03:13 | <maerwald> | looks interesting |
| 2021-04-20 18:03:17 | <maerwald> | Uniaika: no |
| 2021-04-20 18:03:22 | <Uniaika> | maerwald: nice |
| 2021-04-20 18:04:11 | <hyperisco> | their objective is to be fully open sourced, but they face challenges with certain vendors |
| 2021-04-20 18:04:35 | <maerwald> | And1: can you add your experience/problem here https://gitlab.haskell.org/haskell/ghcup-hs/-/issues/101 |
| 2021-04-20 18:04:46 | <Uniaika> | I'd love to have one of those: https://frame.work/ |
| 2021-04-20 18:05:01 | <And1> | maerwald: Sure. |
| 2021-04-20 18:05:34 | <And1> | Uniaika: Maybe the MNT Reform would also be interesting for you then. https://mntre.com/reform/ |
All times are in UTC.