Re: [racket-users] Re: What’s everyone working on this week?

2019-12-12 Thread Nathaniel Griswold
Regarding your question of using llvm directly. Do people do that? I am going to figure out as I go but was planning to write the garbage collection part of the kernel in C and the procedure application part in machine language. Could I just write llvm directly? (This is my first time using

Re: [racket-users] Re: What’s everyone working on this week?

2019-12-12 Thread Anthony Carrico
On 12/12/19 10:36 PM, Sam Tobin-Hochstadt wrote: Yes, basically. I'd say it's showing how to translate that Racket code (taken from Shriram Krishnmurthi's JFP paper/LL1 talk) into Sham. Nice. Looking forward to less brief summary of the tool. -- Anthony Carrico -- You received this message

Re: [racket-users] Re: What’s everyone working on this week?

2019-12-12 Thread Sam Tobin-Hochstadt
Yes, basically. I'd say it's showing how to translate that Racket code (taken from Shriram Krishnmurthi's JFP paper/LL1 talk) into Sham. Sam On Thu, Dec 12, 2019 at 10:32 PM Anthony Carrico wrote: > > On 12/12/19 10:05 PM, Sam Tobin-Hochstadt wrote: > > You might be interested in our project

Re: [racket-users] Re: What’s everyone working on this week?

2019-12-12 Thread Anthony Carrico
On 12/12/19 10:05 PM, Sam Tobin-Hochstadt wrote: You might be interested in our project Sham So is this compiling a state machine (or, two actually) to llvm and running against a Racket oracle? https://github.com/rjnw/sham/blob/master/test/automata.rkt -- Anthony Carrico -- You received

Re: [racket-users] Re: What’s everyone working on this week?

2019-12-12 Thread Sam Tobin-Hochstadt
You might be interested in our project Sham: https://github.com/rjnw/sham which is a Racket interface for easily using LLVM. Documentation coming soon, but you can see some examples here: https://github.com/rjnw/sham/tree/master/test Sam On Thu, Dec 12, 2019 at 10:03 PM Nathaniel Griswold

Re: [racket-users] Re: What’s everyone working on this week?

2019-12-12 Thread Nathaniel Griswold
Racket to generate llvm > On Dec 12, 2019, at 3:35 PM, Hendrik Boom wrote: > > On Thu, Dec 12, 2019 at 10:49:01AM -0800, Nathaniel Griswold wrote: >> I am almost done with chapter 5 of SICP which i have been working on in >> racket. >> >> My plan now is to write a scheme compiler/interpreter

Re: [racket-users] Re: What’s everyone working on this week?

2019-12-12 Thread Hendrik Boom
On Thu, Dec 12, 2019 at 10:49:01AM -0800, Nathaniel Griswold wrote: > I am almost done with chapter 5 of SICP which i have been working on in > racket. > > My plan now is to write a scheme compiler/interpreter with garbage > collection that runs in native language in racket. I think i will use

Re: [racket-users] Re: racket-mode in emacs and error navigation

2019-12-12 Thread Robby Findler
Error trace is what DrRacket is using under the hood too. Robby On Thu, Dec 12, 2019 at 1:15 PM Nathaniel Griswold wrote: > I have discovered that if i do a C-u C-c C-c i get better error messages > and can navigate to the proper spot. It uses something called errortrace. > So i guess this is

[racket-users] Re: racket-mode in emacs and error navigation

2019-12-12 Thread Nathaniel Griswold
I have discovered that if i do a C-u C-c C-c i get better error messages and can navigate to the proper spot. It uses something called errortrace. So i guess this is a non-issue. On Thursday, December 12, 2019 at 12:53:55 PM UTC-6, Nathaniel Griswold wrote: > > Hello. I really like DrRacket's

[racket-users] racket-mode in emacs and error navigation

2019-12-12 Thread Nathaniel Griswold
Hello. I really like DrRacket's error output but i have recently switched to emacs as i prefer its parenthesis navigation modes and other things about it. One thing i noticed is when i have an error, say application with wrong number of args, if i navigate to error using "C-x `" i don't skip

[racket-users] Re: What’s everyone working on this week?

2019-12-12 Thread Nathaniel Griswold
I am almost done with chapter 5 of SICP which i have been working on in racket. My plan now is to write a scheme compiler/interpreter with garbage collection that runs in native language in racket. I think i will use llvm. On Tuesday, December 10, 2019 at 2:13:49 AM UTC-6, Stephen De Gabrielle