Logs: freenode/#haskell
| 2020-11-08 00:06:04 | <Tattletale> | My guess is that there's something else with your project that is causing the problem |
| 2020-11-08 00:06:20 | <Tattletale> | Note that while I can compile and run the program, it doesn't actually print anything |
| 2020-11-08 00:06:24 | <daydaynatation> | Are you on a mac machine? |
| 2020-11-08 00:06:28 | <Tattletale> | No, Windows |
| 2020-11-08 00:06:34 | <daydaynatation> | wsl? |
| 2020-11-08 00:06:41 | <Tattletale> | No WSL |
| 2020-11-08 00:06:55 | <daydaynatation> | I can also compile without problem |
| 2020-11-08 00:07:10 | <Tattletale> | I used this version of inline-c-cpp: 0.4.0.2 |
| 2020-11-08 00:07:37 | <daydaynatation> | me too |
| 2020-11-08 00:07:40 | <Tattletale> | What was the problem you were experiencing daydaynatation? |
| 2020-11-08 00:08:26 | <daydaynatation> | I can ghc myfile, to produce an executable. But I'd like simply use runghc on my file |
| 2020-11-08 00:08:30 | <daydaynatation> | without compiling it first |
| 2020-11-08 00:08:35 | <Tattletale> | Oh |
| 2020-11-08 00:08:40 | <Tattletale> | I was using stack build |
| 2020-11-08 00:09:00 | <Tattletale> | So runghc was complaining about main? |
| 2020-11-08 00:09:25 | <daydaynatation> | inline-c-cpp:0:62: error: |
| 2020-11-08 00:09:25 | <daydaynatation> | |
| 2020-11-08 00:09:37 | <daydaynatation> | • Variable not in scope: main :: IO a0 |
| 2020-11-08 00:10:29 | <xsperry> | runghc needs main as well |
| 2020-11-08 00:11:04 | <daydaynatation> | I have a main |
| 2020-11-08 00:11:19 | <Tattletale> | Here's the pastebin daydaynatation posted earlier: https://pastebin.com/CkXuRvK4 |
| 2020-11-08 00:14:20 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-11-08 00:15:05 | × | daydaynatation quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 2020-11-08 00:15:17 | → | merkum joins (4a8dace1@cpe-74-141-172-225.kya.res.rr.com) |
| 2020-11-08 00:16:20 | → | conal joins (~conal@64.71.133.70) |
| 2020-11-08 00:16:28 | × | merkum quits (4a8dace1@cpe-74-141-172-225.kya.res.rr.com) (Remote host closed the connection) |
| 2020-11-08 00:20:07 | × | Tattletale quits (~Tattletal@unaffiliated/sundancertp) (Quit: rcirc on GNU Emacs 27.1) |
| 2020-11-08 00:22:05 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2020-11-08 00:22:29 | → | irc_user joins (uid423822@gateway/web/irccloud.com/x-slumwyhvoxvagmka) |
| 2020-11-08 00:23:01 | × | _ashbreeze_ quits (~mark@72-161-252-32.dyn.centurytel.net) (Ping timeout: 264 seconds) |
| 2020-11-08 00:23:14 | × | jedws quits (~jedws@101.184.150.81) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-08 00:23:30 | → | hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2020-11-08 00:23:59 | × | machinedgod quits (~machinedg@207.253.244.210) (Quit: leaving) |
| 2020-11-08 00:24:19 | → | jedws joins (~jedws@101.184.150.81) |
| 2020-11-08 00:24:28 | × | falafel quits (~falafel@2601:247:c400:1390:7811:313f:d0f3:f9f4) (Remote host closed the connection) |
| 2020-11-08 00:25:03 | → | machinedgod joins (~machinedg@207.253.244.210) |
| 2020-11-08 00:25:43 | × | hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 2020-11-08 00:26:15 | × | machinedgod quits (~machinedg@207.253.244.210) (Client Quit) |
| 2020-11-08 00:26:23 | → | softwarm joins (4408f588@ip68-8-245-136.sd.sd.cox.net) |
| 2020-11-08 00:26:35 | × | LKoen_ quits (~LKoen@53.253.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2020-11-08 00:29:20 | → | xerox_ joins (~xerox@unaffiliated/xerox) |
| 2020-11-08 00:29:28 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-08 00:30:12 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-08 00:44:09 | → | _ashbreeze_ joins (~mark@72-161-252-32.dyn.centurytel.net) |
| 2020-11-08 00:44:46 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) |
| 2020-11-08 00:45:35 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) (Client Quit) |
| 2020-11-08 00:46:13 | → | machinedgod joins (~machinedg@207.253.244.210) |
| 2020-11-08 00:46:22 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) |
| 2020-11-08 00:46:29 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) (Client Quit) |
| 2020-11-08 00:48:04 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) |
| 2020-11-08 00:48:04 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2020-11-08 00:49:01 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 2020-11-08 00:50:40 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-11-08 00:52:09 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2020-11-08 00:56:26 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) () |
| 2020-11-08 00:56:30 | → | conal joins (~conal@64.71.133.70) |
| 2020-11-08 00:56:30 | → | cmeiklejohn1 joins (~cmeiklejo@84.39.117.57) |
| 2020-11-08 00:56:53 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 2020-11-08 00:59:27 | × | machinedgod quits (~machinedg@207.253.244.210) (Ping timeout: 260 seconds) |
| 2020-11-08 00:59:31 | × | Codaraxis quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection) |
| 2020-11-08 00:59:42 | × | Tops2 quits (~Tobias@dyndsl-095-033-016-160.ewe-ip-backbone.de) (Quit: Leaving.) |
| 2020-11-08 00:59:49 | × | sh9 quits (~sh9@softbank060116136158.bbtec.net) (Ping timeout: 256 seconds) |
| 2020-11-08 01:00:13 | × | _ashbreeze_ quits (~mark@72-161-252-32.dyn.centurytel.net) (Ping timeout: 264 seconds) |
| 2020-11-08 01:00:14 | → | Tops2 joins (~Tobias@dyndsl-095-033-016-160.ewe-ip-backbone.de) |
| 2020-11-08 01:00:46 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2020-11-08 01:00:52 | → | Codaraxis joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2020-11-08 01:00:56 | × | Codaraxis quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection) |
| 2020-11-08 01:01:25 | → | Codaraxis joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2020-11-08 01:04:08 | → | machinedgod joins (~machinedg@207.253.244.210) |
| 2020-11-08 01:04:17 | → | Tario joins (~Tario@201.192.165.173) |
| 2020-11-08 01:07:07 | → | sh9 joins (~sh9@softbank060116136158.bbtec.net) |
| 2020-11-08 01:07:20 | × | Rudd0^ quits (~Rudd0@185.189.115.108) (Remote host closed the connection) |
| 2020-11-08 01:08:05 | × | Cthalupa quits (~cthulhu@47.186.47.75) (Ping timeout: 240 seconds) |
| 2020-11-08 01:08:57 | → | Cthalupa joins (~cthulhu@47.186.47.75) |
| 2020-11-08 01:09:11 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-11-08 01:11:10 | → | jcowan joins (sid325434@gateway/web/irccloud.com/x-evadozowlzlhtjmy) |
| 2020-11-08 01:12:07 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 2020-11-08 01:12:16 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Client Quit) |
| 2020-11-08 01:12:45 | <jcowan> | I would like some help seeing if I correctly understand multiple-parameter type classes. |
| 2020-11-08 01:13:08 | <jcowan> | Suppose I have a class Thing instantiated by two types Thing1 and Thing2. |
| 2020-11-08 01:14:07 | <jcowan> | Thing is a commutative group (though I don't need to formalize this) whose operation is *. |
| 2020-11-08 01:14:46 | × | jedws quits (~jedws@101.184.150.81) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-08 01:15:02 | <jcowan> | Now it is the case that if you multiply a Thing1 by a Thing1, you get a Thing1, and ditto for Thing2. But if you multiply a Thing1 by a Thing2, you get a Thing1 or a Thing2, depending on the particular objects you are multiplying. |
| 2020-11-08 01:15:34 | <jcowan> | Is Thing a multi-parameter type class? |
| 2020-11-08 01:19:15 | → | jedws joins (~jedws@101.184.150.81) |
| 2020-11-08 01:19:31 | <davean> | No, thats not a type class. Because you need to know what you get back. You could return Either Thing1 Things2 but not Thing1 or Thing2 without it being type level computed |
| 2020-11-08 01:20:15 | <koz_> | You could do it with an associated type I think? |
| 2020-11-08 01:20:33 | <davean> | koz_: not if he can't compute which he gets back at the type level. |
| 2020-11-08 01:20:38 | <koz_> | (but that's outside the scope of MPTCs) |
| 2020-11-08 01:20:46 | <koz_> | Ah, I see. |
| 2020-11-08 01:21:03 | <koz_> | Yeah, reading again carefully, that sounds like something needing dependent types, if the result type depends on a value. |
| 2020-11-08 01:21:09 | <davean> | Right |
| 2020-11-08 01:21:11 | <koz_> | However, the `Either` option is a good one. |
| 2020-11-08 01:21:32 | <davean> | Now I think he's conceptualizing it wrong probably given the other things he said, but who knows. Thats a judgement call! |
| 2020-11-08 01:21:51 | × | Majiir quits (~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2020-11-08 01:21:52 | <davean> | I'm putting medium money on an X-Y problem |
| 2020-11-08 01:25:05 | × | Tops2 quits (~Tobias@dyndsl-095-033-016-160.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2020-11-08 01:26:40 | → | Majiir joins (~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net) |
| 2020-11-08 01:27:25 | × | Lord_of_Life_ quits (~Lord@46.217.216.42) (Ping timeout: 240 seconds) |
| 2020-11-08 01:27:53 | × | jedws quits (~jedws@101.184.150.81) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
All times are in UTC.