To All,
I recently encountered an issue while trying to demodularize my modules to
create a single bytecode file. Apparently raco demod has issues with the
racket gui code.
Hence, I've created a source code level demodularizer. It basically reads the
require statements in the source code and i
Well probably check-equal?, check-match, check-pred, check, and check-exn would
be the main ones, with check-equal? probably being the most important, but what
would be really cool would be something that could generalize over all rackunit
checks, so that even checks defined with define-check, d
On Sunday, April 26, 2015 at 6:18:41 AM UTC-7, Alex Knauth wrote:
> Wow this is awesome!
> Can you get to support rackunit too?
Thanks Alex. Which rackunit test variants would you prioritize?
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To
Yes, at least one. See Racket manifesto. Any takers? Start with Shriram's
dissertation perhaps we need to go back there.
On Apr 26, 2015, at 4:43 PM, Neil Toronto wrote:
> On 04/26/2015 02:39 PM, Matthias Felleisen wrote:
>>
>> Once again, this is an instance where you'd really like to abst
Thanks!
2015-04-26 23:23 GMT+02:00 Robby Findler :
> Thanks, I've pushed a fix.
>
> Meanwhile, if you use control-x;m (on a mac or on linux when control
> isn't your menu key) you should be able to rename. Or if your
> identifiers always have space between them, then you won't have
> trouble eit
Thanks, I've pushed a fix.
Meanwhile, if you use control-x;m (on a mac or on linux when control
isn't your menu key) you should be able to rename. Or if your
identifiers always have space between them, then you won't have
trouble either.
Robby
On Sun, Apr 26, 2015 at 11:25 AM, Jens Axel Søgaard
On 04/26/2015 02:39 PM, Matthias Felleisen wrote:
Once again, this is an instance where you'd really like to abstract the library
over the language into which its exports are imported. This is a constant
struggle for me, and I'd like to solve it.
Typed Racket has a good solution in the small
On Apr 26, 2015, at 3:13 PM, Alexander D. Knauth wrote:
>
> On Apr 26, 2015, at 2:39 PM, Matthias Felleisen wrote:
>
>>
>> On Apr 26, 2015, at 9:18 AM, Alexander D. Knauth wrote:
>>
>>> I wanted to see if it could work for tests within (module+ test …), and it
>>> does (even though check-ex
On Apr 26, 2015, at 2:39 PM, Matthias Felleisen wrote:
>
> On Apr 26, 2015, at 9:18 AM, Alexander D. Knauth wrote:
>
>> I wanted to see if it could work for tests within (module+ test …), and it
>> does (even though check-expect doesn’t, which is weird for check-expect but
>> awesome for thi
ALex, Mira might be best served if you submitted all these things as issues via
github. -- Matthias
On Apr 26, 2015, at 1:04 PM, Alexander D. Knauth wrote:
> Also DrRacket doesn’t seem to want to quit. I click on the quit option in
> the menu, it asks me if I really want to quit, I say I do
On Apr 26, 2015, at 9:18 AM, Alexander D. Knauth wrote:
> I wanted to see if it could work for tests within (module+ test …), and it
> does (even though check-expect doesn’t, which is weird for check-expect but
> awesome for this)
Keep in mind that check-expect is supposed to work well for BS
I am just trying to define a redex language that accepts 1, (1 + 1), (1 + 1
+ 1), etc.
As I have experienced, this is not trivial.
Moreover (not included in my example) I want + to be available both monadic
and diadic.
Of course my example is a simplified version of what I want to do finally.
Redex
Also DrRacket doesn’t seem to want to quit. I click on the quit option in the
menu, it asks me if I really want to quit, I say I do, and then it closes the
window, but doesn’t quit the application. I tell it to quit again, nothing
happens, and then if I tell my computer to force quit DrRacket,
Hi All,
I have found a problem. The question is whether
the problem is in the example or in the alpha renaming
done by DrRacket:
#lang racket
;;; Minimal example that shows a problem when renaming
;;; identifiers that bind an identifer whose name
;;; is inside a string literal.
;;; The example b
I just opened a new tab and the box went away and everything was back to normal
again, and stayed normal when I closed the tab.
On Apr 26, 2015, at 12:19 PM, Alexander D. Knauth wrote:
> I just noticed a light grey box above the #lang line that wasn’t there
> before, and if I click in that gre
I just noticed a light grey box above the #lang line that wasn’t there before,
and if I click in that grey box it behaves as if I clicked in the #lang line.
It seems like DrRacket is displaying the grey box but pretending it’s not
there.
The check-syntax arrows also behave as if my mouse was o
I was playing around with this a bit and I noticed something weird and I’m not
sure what happened.
Now it seems like when I click the cursor somewhere, DrRacket behaves as if I
had clicked one line below where I actually clicked.
On Apr 25, 2015, at 8:10 PM, Mira Leung wrote:
> Racketeer is a
Hi Matthias,
Sofar I have the following:
(require redex)
(define-language jk
(t n v
(side-condition (t x_1 ...) (term (check (x_1 ...)
; mark x_1 in stead of x.
; without suffix _1 x is not bound in the guard.
(x + t)
(n number)
(v (variable-except +)))
(define-metafunc
Wow this is awesome!
Can you get to support rackunit too?
I wanted to see if it could work for tests within (module+ test …), and it does
(even though check-expect doesn’t, which is weird for check-expect but awesome
for this), but while this works:
#lang racket
(require test-engine/racket-tests)
19 matches
Mail list logo
