soegaard2
2019-6-17 13:15:47

soegaard2
2019-6-17 16:50:34

I suggested he temporarily switch to the integrated graphics card to see if it is graphics card related (just a hunch based on https://github.com/gitextensions/gitextensions/issues/5314)



soegaard2
2019-6-17 19:53:27

@greg Does racket-mode support the student languages?


greg
2019-6-17 19:59:25

@soegaard2 I’m not opposed to that, but there hasn’t been much demand. And I haven’t had time to look into it. And it’s not something I’d “dog food”. I know one issue. But as you can see I wasn’t really sure how to proceed, the original submitter didn’t follow up, and no one else chimed in to help. https://github.com/greghendershott/racket-mode/issues/316


soegaard2
2019-6-17 20:01:10

That’s ok. Just checking. FWIW running the student languages as #lang htdp/bsl doesn’t work in DrRacket either. I believe there is something special going on.


samth
2019-6-17 20:02:04

I commented on the issue


soegaard2
2019-6-17 20:02:14

Well - just tried the example and it works.


greg
2019-6-17 20:02:24

Ah OK, I see. On GitHub I do “watch”/follow the DrRacket repo, so, if there’s some change or fix in DrR, I’ll probably see and maybe be able to incorporate as well.


soegaard2
2019-6-17 20:03:05

But I am almost sure you it isn’t meant to be used as a #lang.


samth
2019-6-17 20:07:53

right, it’s not currently working well as a #lang, and there’s long-standing desire to improve that but it hasn’t really happened


soegaard2
2019-6-17 20:08:21

Can you remember what the issues are?


samth
2019-6-17 20:10:20

the semantics of the REPL is one


samth
2019-6-17 20:10:28

but I don’t remember much


samth
2019-6-17 20:10:36

either Robby or Matthias would remember better


robby
2019-6-17 20:16:25

It just requires more, you know, work and time. :(


soegaard2
2019-6-17 20:42:11

Yeah - one needs to prioritize.


pavpanchekha
2019-6-17 22:18:27

I’m a little confused by Racket packaging—anyone has a moment to set me straight?


pavpanchekha
2019-6-17 22:18:47

I’m trying to figure out how to define a package (herbie) to have subpackages like herbie/plugin


samth
2019-6-17 23:06:11

@pavpanchekha what do you mean by “subpackages”


pavpanchekha
2019-6-17 23:06:32

Not really sure—what I mean is that I’d like to be able to (require herbie/plugin)


pavpanchekha
2019-6-17 23:06:39

After someone installs the herbie package


samth
2019-6-17 23:06:42

Probably just having a directory named plugin in the Herbie repository is enough


pavpanchekha
2019-6-17 23:06:52

Is a plugin.rkt enough?


samth
2019-6-17 23:06:58

Yes, should be


pavpanchekha
2019-6-17 23:07:18

Great, thanks!


samth
2019-6-17 23:07:25

Where is the file that you get when doing (require Herbie)?


pavpanchekha
2019-6-17 23:07:44

Actually I have no idea


pavpanchekha
2019-6-17 23:07:50

I imagine it would be main.rkt, but we don’t have one


samth
2019-6-17 23:07:58

If it’s a file named main.rkt then adding plugin.rkt next to it should work


pavpanchekha
2019-6-17 23:08:36

Thanks. I’ll check if it works now, or if I need to create a dummy main.rkt


pavpanchekha
2019-6-18 02:16:05

Thanks, I’ll read the links you posted. Ultimately I did get it working.