Re: [racket-users] [racket users] scribble using @ as text?

[Sorawee Porncharoenwase]

See
https://docs.racket-lang.org/scribble/reader.html#%28part._.The_.Scribble_.Syntax_at_a_.Glance%29

On Thu, Sep 24, 2020 at 2:26 PM Kevin Forchione  wrote:

> Hi guys,
> I’ve been racking my brains and going through scribble manuals trying to
> figure out how to do something as simple as proceed a sentence like: The @
> is used in a scribble command. I’m sure I’m overlooking something very
> basic, since the @ is referenced all over scribble documentation.
>
> Any help is appreciated!
>
> Kevin
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/8187F519-D648-472C-8B99-45B28DFD4BC0%40gmail.com
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CADcuegsHZ_DOazYruMiB3Pjr%2Bjis4K4wvVQOAC4DntWZZRqeNQ%40mail.gmail.com.

[racket-users] Memory usage of (port->lines ...) is extreamly high

[Hong Yang]

Hi Racketer

I'm trying to load a log file which size is 600MB, then I found the program 
exhausted 3 GB resident memory just for load all the content of it via 
(port->lines...). I do have enough RAM but it looks like some thing went 
wrong here, and I do need to load them all into RAM for my use case so 
(read-line ...) doesn't help me.

Any comment would be preciated.

Here is may programe:

#!/usr/bin/racket
#lang racket

; Load input as list of lines
(define (input-load-lines file-name)
  (if (file-exists? file-name)
  (let* ([input (open-input-file file-name)]
 [lines (port->lines input)])
(close-input-port input)
lines)
  empty))

; Racket 7.8, compile from source code, (none cs mode)
; 100M of log requires 0.5G runtime memory
; 300M of log requires 1.5G runtime memory
; 600M of log requires 3.0G runtime memory
;
; Reference
;   racket/collects/racket/port.rkt :106
;   racket/collects/racket/private/portlines.rkt :11

(define input (input-load-lines "main.log"))

; 214M(VIRT)/101M(RSS) without open any file
(let loop()
  (sleep 5) ; Waiting here so that I can check it via top/ps
  (set! input empty) ; event not help with this line
  (loop))

Thanks
Hong

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/aab5d58b-19f3-44ce-8f16-add9324120c6n%40googlegroups.com.

[racket-users] Re: Memory usage of (port->lines ...) is extreamly high

[Hong Yang]

Update with memory dump log attached.

1. With out (set! input empty), call (collect-garbage) doesn't help
2. Call (set! input empty) and (collect-garbage), memory reduce dramaticly.

; 214M(VIRT)/101M(RSS) without open any file
(let loop()
  (sleep 5)  ; Waiting here so that I can check it via top/ps
  (dump-memory-stats)
  (collect-garbage)
  (set! input empty)  ; Even not help with this line, it works after called 
(collect-garbage) explicity.
  (loop))

On Thursday, September 24, 2020 at 6:14:55 PM UTC+8 Hong Yang wrote:

> Hi Racketer
>
> I'm trying to load a log file which size is 600MB, then I found the 
> program exhausted 3 GB resident memory just for load all the content of it 
> via (port->lines...). I do have enough RAM but it looks like some thing 
> went wrong here, and I do need to load them all into RAM for my use case so 
> (read-line ...) doesn't help me.
>
> Any comment would be preciated.
>
> Here is may programe:
>
> #!/usr/bin/racket
> #lang racket
>
> ; Load input as list of lines
> (define (input-load-lines file-name)
>   (if (file-exists? file-name)
>   (let* ([input (open-input-file file-name)]
>  [lines (port->lines input)])
> (close-input-port input)
> lines)
>   empty))
>
> ; Racket 7.8, compile from source code, (none cs mode)
> ; 100M of log requires 0.5G runtime memory
> ; 300M of log requires 1.5G runtime memory
> ; 600M of log requires 3.0G runtime memory
> ;
> ; Reference
> ;   racket/collects/racket/port.rkt :106
> ;   racket/collects/racket/private/portlines.rkt :11
>
> (define input (input-load-lines "main.log"))
>
> ; 214M(VIRT)/101M(RSS) without open any file
> (let loop()
>   (sleep 5) ; Waiting here so that I can check it via top/ps
>   (set! input empty) ; event not help with this line
>   (loop))
>
> Thanks
> Hong
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/07c41b96-87ba-473a-ad0e-0cec71dc4024n%40googlegroups.com.
Begin Dump
Begin Racket3m
   :   3337 106784
:   9088 603240
  :   4798 165528
 :   6005 240200
  :  150961086912
  :744  29760
   :672  16128
 :  7224
:   7251 232032
  :   9774 408728
   : 11352
 : 19608
 :109   4096
 :182   5824
   : 24768
:312  16392
  :762  91440
  :   1083  69312
   :   2800 204656
   :  1 48
   :896  21504
   :  4208
  :657  35264
   :  14350 577272
   :  5240
   :  9432
  : 1019636731640
  :  2 64
  :  3 96
  :2670211   85446752
 : 35   1120
   :   3355 107360
:5317620  170163840
:  1 32
  :  214441922784
   :   1407  33768
  :549 188856
 :276  68448
 :  10061 241464
  :  1   1200
   : 96   3840
:798  63840
:   6938 393864
:   7594 394760
:   4248 269232
   :  132761129824
   :   1732  55424
:169  12168
  :592 181936
:   7047 394632
   :321  17976
 :508  67336
 :  1 48
:  2 64
   :  1 48
   :  1152
  : 30   3832
 : 58   2320
  : 14560
  :  1 48
  : 43   1032
 :  1 48
 :  1 24
  :  1 64
 :219   5256
  :  2 64
:  12494 399808
  :  2192
  : 14   1456
  : 12480
 :  1 32
  :  3 598160
   :  1304
   :  1112
:  1104
:277  22160
:  1 40
:273  24024
  : 94   4512
:  6288
   :  6384
  :  1 24
  :  133571068560
:   1229 

Re: [racket-users] Re: Memory usage of (port->lines ...) is extreamly high

[Laurent]

Quick comment: of you don't need to load the whole file but want to parse
it line by line, use `in-lines` which is memory-efficient.

On Thu, Sep 24, 2020, 11:46 Hong Yang  wrote:

> Update with memory dump log attached.
>
> 1. With out (set! input empty), call (collect-garbage) doesn't help
> 2. Call (set! input empty) and (collect-garbage), memory reduce dramaticly.
>
> ; 214M(VIRT)/101M(RSS) without open any file
> (let loop()
>   (sleep 5)  ; Waiting here so that I can check it via top/ps
>   (dump-memory-stats)
>   (collect-garbage)
>   (set! input empty)  ; Even not help with this line, it works after
> called (collect-garbage) explicity.
>   (loop))
>
> On Thursday, September 24, 2020 at 6:14:55 PM UTC+8 Hong Yang wrote:
>
>> Hi Racketer
>>
>> I'm trying to load a log file which size is 600MB, then I found the
>> program exhausted 3 GB resident memory just for load all the content of it
>> via (port->lines...). I do have enough RAM but it looks like some thing
>> went wrong here, and I do need to load them all into RAM for my use case so
>> (read-line ...) doesn't help me.
>>
>> Any comment would be preciated.
>>
>> Here is may programe:
>>
>> #!/usr/bin/racket
>> #lang racket
>>
>> ; Load input as list of lines
>> (define (input-load-lines file-name)
>>   (if (file-exists? file-name)
>>   (let* ([input (open-input-file file-name)]
>>  [lines (port->lines input)])
>> (close-input-port input)
>> lines)
>>   empty))
>>
>> ; Racket 7.8, compile from source code, (none cs mode)
>> ; 100M of log requires 0.5G runtime memory
>> ; 300M of log requires 1.5G runtime memory
>> ; 600M of log requires 3.0G runtime memory
>> ;
>> ; Reference
>> ;   racket/collects/racket/port.rkt :106
>> ;   racket/collects/racket/private/portlines.rkt :11
>>
>> (define input (input-load-lines "main.log"))
>>
>> ; 214M(VIRT)/101M(RSS) without open any file
>> (let loop()
>>   (sleep 5) ; Waiting here so that I can check it via top/ps
>>   (set! input empty) ; event not help with this line
>>   (loop))
>>
>> Thanks
>> Hong
>>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/07c41b96-87ba-473a-ad0e-0cec71dc4024n%40googlegroups.com
> 
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CABNTSaG_X9qSmAvP%3D0SWp2ozF9FePBi38_%2B5wQGaQaaf5N21mg%40mail.gmail.com.

Re: [racket-users] Re: Memory usage of (port->lines ...) is extreamly high

[Hong Yang]

Thanks Laurent, I tried (in-lines...), and yes, it's memory-efficient, but 
I still curious and concern why (port->lines ...) takes so many memory.

Best regards
Hong

On Thursday, September 24, 2020 at 6:55:10 PM UTC+8 laurent...@gmail.com 
wrote:

> Quick comment: of you don't need to load the whole file but want to parse 
> it line by line, use `in-lines` which is memory-efficient.
>
> On Thu, Sep 24, 2020, 11:46 Hong Yang  wrote:
>
>> Update with memory dump log attached.
>>
>> 1. With out (set! input empty), call (collect-garbage) doesn't help
>> 2. Call (set! input empty) and (collect-garbage), memory reduce 
>> dramaticly.
>>
>> ; 214M(VIRT)/101M(RSS) without open any file
>> (let loop()
>>   (sleep 5)  ; Waiting here so that I can check it via top/ps
>>   (dump-memory-stats)
>>   (collect-garbage)
>>   (set! input empty)  ; Even not help with this line, it works after 
>> called (collect-garbage) explicity.
>>   (loop))
>>
>> On Thursday, September 24, 2020 at 6:14:55 PM UTC+8 Hong Yang wrote:
>>
>>> Hi Racketer
>>>
>>> I'm trying to load a log file which size is 600MB, then I found the 
>>> program exhausted 3 GB resident memory just for load all the content of it 
>>> via (port->lines...). I do have enough RAM but it looks like some thing 
>>> went wrong here, and I do need to load them all into RAM for my use case so 
>>> (read-line ...) doesn't help me.
>>>
>>> Any comment would be preciated.
>>>
>>> Here is may programe:
>>>
>>> #!/usr/bin/racket
>>> #lang racket
>>>
>>> ; Load input as list of lines
>>> (define (input-load-lines file-name)
>>>   (if (file-exists? file-name)
>>>   (let* ([input (open-input-file file-name)]
>>>  [lines (port->lines input)])
>>> (close-input-port input)
>>> lines)
>>>   empty))
>>>
>>> ; Racket 7.8, compile from source code, (none cs mode)
>>> ; 100M of log requires 0.5G runtime memory
>>> ; 300M of log requires 1.5G runtime memory
>>> ; 600M of log requires 3.0G runtime memory
>>> ;
>>> ; Reference
>>> ;   racket/collects/racket/port.rkt :106
>>> ;   racket/collects/racket/private/portlines.rkt :11
>>>
>>> (define input (input-load-lines "main.log"))
>>>
>>> ; 214M(VIRT)/101M(RSS) without open any file
>>> (let loop()
>>>   (sleep 5) ; Waiting here so that I can check it via top/ps
>>>   (set! input empty) ; event not help with this line
>>>   (loop))
>>>
>>> Thanks
>>> Hong
>>>
>> -- 
>> You received this message because you are subscribed to the Google Groups 
>> "Racket Users" group.
>> To unsubscribe from this group and stop receiving emails from it, send an 
>> email to racket-users...@googlegroups.com.
>> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/racket-users/07c41b96-87ba-473a-ad0e-0cec71dc4024n%40googlegroups.com
>>  
>> 
>> .
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/f761c588-da7e-43d4-9b05-b917f64f4b52n%40googlegroups.com.

Re: [racket-users] [relation-rules] found the same binder

[Beatriz Moreira]

Thank you, the problem was that I was defining f_0 as multiple patterns of* 
(c_0 -> f_0)...* and only comparing it to one instance of f_0.

A quinta-feira, 24 de setembro de 2020 à(s) 02:27:45 UTC+1, Robby Findler 
escreveu:

> I'm not sure exactly what you're trying to accomplish so take this with a 
> grain of salt, but that error message means that redex doesn't really know 
> how to interpret your rules. Here's a simpler example that has the same 
> error message.
>
>   (reduction-relation
>L
>(--> (+ (+ n ...) n)
> 5))
>
> In this case you might be intending to say that all of the "n"s inside the 
> inner plus should be the same and should also be the same as the one in 
> outer plus.
>
> Redex's pattern matcher isn't smart enough to do that for you, so you'd 
> need to write something explicitly that makes sure you get what you want, 
> running example below.
>
> Maybe in your actual code you can use a similar idea. I would also say 
> that your patterns look huge so it is probably in your interest to 
> introduce something to break things down into simpler pieces somehow and 
> judgment-forms are one tool to help with that.
>
> hth,
> Robby
>
>
> #lang racket
> (require redex)
>
> (define-language L
>   (e ::= (+ e ...) n)
>   (n ::= natural))
>
> (define red
>   (reduction-relation
>L
>(--> (+ (+ n_2 ...) n_1)
> 5
> (judgment-holds (matching n_1 (n_2 ...)))
> )))
>
> (define-judgment-form L
>   #:mode (matching I I)
>   #:contract (matching n (n ...))
>
>   [---
>(matching n ())]
>
>   [(matching n_1 (n_2 ...))
>
>(matching n_1 (n_1 n_2 ...))])
>   
>
> (test--> red
>  (term (+ (+ 1 1 1 1) 1))
>  5)
>
>
> On Tue, Sep 22, 2020 at 12:18 PM Beatriz Moreira  
> wrote:
>
>> Hello,
>> I have a bunch of relation rules, but in one of them i need to check if 
>> f_0 is the same as i have in one of the environments, but the error  
>> *reduction-relation: 
>> found the same binder, f_0, at different depths, 0 and 1 ... F_01 ... (T 
>> f_0 ((T_00 x_00) ...) (return e)) F_02 ...)) (contract C_2 ((T_2 x_21) ... 
>> K_2 F_2... *appears and i would like to know if there's an alternative.
>>
>> The part of the code where the error is is below and the link for the 
>> repository is this : 
>> https://bitbucket.org/beatrizmoreira/msc/src/master/fwsollast.rkt
>>
>> Thank you!
>>
>>
>> (--> [(in-hole E (c -> f -> value (n) ((s : (c_0 -> f_0)) ...))) env-ß 
>> env-σ ((contract C_1 {(T_1 x_11) ... K_1 F_1 ...}) ... (contract C {(T_0 
>> x_01) ... K F_01 ... (T f_0 ((T_00 x_00) ... ) {return e}) F_02 ...}) 
>> (contract C_2 {(T_2 x_21) ... K_2 F_2 ...}) ...)]
>> [(in-hole E (return (call env-ß CT c 
>>   (top-σ env-σ) f n ((s : (c_0 -> f_0)) 
>> ... (decl (uptbal (uptbal env-ß (ref env-ß c) n) (top-σ env-σ) ,(- 
>> (term 0)(term n))) ((s -> (c_0 -> f_0)) ...)) (call-σ env-σ (ref env-ß c)) 
>> ((contract C_1 {(T_1 x_11) ... K_1 F_1 ...}) ... (contract C {(T_0 x_01) 
>> ... K F_01 ... (T f_0 ((T_00 x_00) ... ) {return e}) F_02 ...}) (contract 
>> C_2 {(T_2 x_21) ... K_2 F_2 ...}) ...)]
>> (side-condition)
>> "CALL2")
>>
>> -- 
>> You received this message because you are subscribed to the Google Groups 
>> "Racket Users" group.
>> To unsubscribe from this group and stop receiving emails from it, send an 
>> email to racket-users...@googlegroups.com.
>> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/racket-users/6ab63e3a-72f8-4ae9-a43a-64dcb07a9320n%40googlegroups.com
>>  
>> 
>> .
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/d3d0ecb9-c6db-4b9f-88d0-61933d9f0f2an%40googlegroups.com.

Re: [racket-users] Re: Memory usage of (port->lines ...) is extreamly high

[Sam Tobin-Hochstadt]

port->lines produces a list with all the lines in it. That list is what
uses all the memory. Using in-lines avoids producing the whole list at
once.

Sam

On Thu, Sep 24, 2020, 8:53 AM Hong Yang  wrote:

> Thanks Laurent, I tried (in-lines...), and yes, it's memory-efficient, but
> I still curious and concern why (port->lines ...) takes so many memory.
>
> Best regards
> Hong
>
> On Thursday, September 24, 2020 at 6:55:10 PM UTC+8 laurent...@gmail.com
> wrote:
>
>> Quick comment: of you don't need to load the whole file but want to parse
>> it line by line, use `in-lines` which is memory-efficient.
>>
>> On Thu, Sep 24, 2020, 11:46 Hong Yang  wrote:
>>
>>> Update with memory dump log attached.
>>>
>>> 1. With out (set! input empty), call (collect-garbage) doesn't help
>>> 2. Call (set! input empty) and (collect-garbage), memory reduce
>>> dramaticly.
>>>
>>> ; 214M(VIRT)/101M(RSS) without open any file
>>> (let loop()
>>>   (sleep 5)  ; Waiting here so that I can check it via top/ps
>>>   (dump-memory-stats)
>>>   (collect-garbage)
>>>   (set! input empty)  ; Even not help with this line, it works after
>>> called (collect-garbage) explicity.
>>>   (loop))
>>>
>>> On Thursday, September 24, 2020 at 6:14:55 PM UTC+8 Hong Yang wrote:
>>>
 Hi Racketer

 I'm trying to load a log file which size is 600MB, then I found the
 program exhausted 3 GB resident memory just for load all the content of it
 via (port->lines...). I do have enough RAM but it looks like some thing
 went wrong here, and I do need to load them all into RAM for my use case so
 (read-line ...) doesn't help me.

 Any comment would be preciated.

 Here is may programe:

 #!/usr/bin/racket
 #lang racket

 ; Load input as list of lines
 (define (input-load-lines file-name)
   (if (file-exists? file-name)
   (let* ([input (open-input-file file-name)]
  [lines (port->lines input)])
 (close-input-port input)
 lines)
   empty))

 ; Racket 7.8, compile from source code, (none cs mode)
 ; 100M of log requires 0.5G runtime memory
 ; 300M of log requires 1.5G runtime memory
 ; 600M of log requires 3.0G runtime memory
 ;
 ; Reference
 ;   racket/collects/racket/port.rkt :106
 ;   racket/collects/racket/private/portlines.rkt :11

 (define input (input-load-lines "main.log"))

 ; 214M(VIRT)/101M(RSS) without open any file
 (let loop()
   (sleep 5) ; Waiting here so that I can check it via top/ps
   (set! input empty) ; event not help with this line
   (loop))

 Thanks
 Hong

>>> --
>>> You received this message because you are subscribed to the Google
>>> Groups "Racket Users" group.
>>> To unsubscribe from this group and stop receiving emails from it, send
>>> an email to racket-users...@googlegroups.com.
>>> To view this discussion on the web visit
>>> https://groups.google.com/d/msgid/racket-users/07c41b96-87ba-473a-ad0e-0cec71dc4024n%40googlegroups.com
>>> 
>>> .
>>>
>> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/f761c588-da7e-43d4-9b05-b917f64f4b52n%40googlegroups.com
> 
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAK%3DHD%2Bb1-goK4tz0Yh8axfZdvwq%3DzNCFfva8zu5Sj46%3Dri6Yjw%40mail.gmail.com.

Re: [racket-users] Why are these @defthing blocks typeset incorrectly?

[Sage Gerard]

I opted for the read-syntax based solution. For those reading, it's convenient 
to use `replace-context` from `syntax/strip-context` to donate lexical info.

The form of the transformer I used is:

@(define-syntax (reformat stx)

(replace-context stx

(read-syntax #f (open-input-string (with-output-to-string
(lambda () (pretty-write `(begin . [...]

~slg

‐‐‐ Original Message ‐‐‐
On Wednesday, September 23, 2020 8:07 PM, Philip McGrath 
 wrote:

> I have encountered this problem. I don't have a real solution, but maybe my 
> hacky solution will be good enough.
>
> On Wed, Sep 23, 2020 at 7:37 PM Sorawee Porncharoenwase 
>  wrote:
>
>> I think Scribble uses source location equipped with syntax objects to figure 
>> out spacing. Since you generate stuff on the fly, there’s no source 
>> location, so the rendered text is screwed up.
>
> This is indeed the explanation. My hacky solution (you can see it 
> [here](https://github.com/DigitalRicoeur/pydrnlp/blob/666c1e00b67c0cc1ee6b5e3fbcfbec498b3173ac/support/python-lang/stx.rkt#L201-L208))
>  is to build up term for Scribble to typeset—the equivalent of what you do 
> [here](https://github.com/zyrolasting/xiden/blob/cb60c9d3ad06b60097b38e19d2d6f565ff9738c0/docs/reference/settings.scrbl#L37-L42),
>  I think—using `syntax` rather than `quasiquote`. IIRC (I haven't touched 
> this code in a while), it didn't work to use `quasisyntax`/`unsyntax`, so I 
> used `define/syntax-parse` to bind pattern variables to the generated 
> sub-terms. This way, Scribble picks up the source locations from the template 
> and uses spaces as it should.
>
> This is a hack, though: in my case, I'm building a `let*` expression with 
> potentially several binding pairs, and they will run off the margin of the 
> page. There are probably various other problems: I remember this code being a 
> bit annoying to write.
>
> -Philip

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CiSghugs88ldFptWHmfNDO0714NsRwS52CdG6Gmn8BowdGmT_q_xCdvBbGdzCPoHuxDvALOlqphQ8wnSWXvpLY9m5-m6dtFDOCYh5pOj1eQ%3D%40sagegerard.com.

[racket-users] [Reduction Relation] where clause

[Beatriz Moreira]

Hello,
I was reading your documentation for the Reduction Relations (4.4), and we 
can use side-conditions and other extras like where and bind. But I cannot 
implement them in my code. Can someone show me an example of how do I use 
the clause *where*? For example, how do I verify that a variable *f* is the 
same f as the one in the pattern-sequence *T f ( T x ).*
Thank you!

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/83123805-8d83-486d-9680-05551aaced8bn%40googlegroups.com.

Re: [racket-users] [racket users] scribble using @ as text?

[Jay McCarthy]

I went too fast: @"@"

--
Jay McCarthy
Associate Professor @ CS @ UMass Lowell
http://jeapostrophe.github.io
Vincit qui se vincit.


On Thu, Sep 24, 2020 at 5:30 PM Jay McCarthy  wrote:

> @["@"]
>
> --
> Jay McCarthy
> Associate Professor @ CS @ UMass Lowell
> http://jeapostrophe.github.io
> Vincit qui se vincit.
>
>
> On Thu, Sep 24, 2020 at 5:26 PM Kevin Forchione  wrote:
>
>> Hi guys,
>> I’ve been racking my brains and going through scribble manuals trying to
>> figure out how to do something as simple as proceed a sentence like: The @
>> is used in a scribble command. I’m sure I’m overlooking something very
>> basic, since the @ is referenced all over scribble documentation.
>>
>> Any help is appreciated!
>>
>> Kevin
>>
>> --
>> You received this message because you are subscribed to the Google Groups
>> "Racket Users" group.
>> To unsubscribe from this group and stop receiving emails from it, send an
>> email to racket-users+unsubscr...@googlegroups.com.
>> To view this discussion on the web visit
>> https://groups.google.com/d/msgid/racket-users/8187F519-D648-472C-8B99-45B28DFD4BC0%40gmail.com
>> .
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAJYbDa%3D3m2u%2B_stntZn-3R7in5geF4TFUScZNVGcNRXythPiUA%40mail.gmail.com.

Re: [racket-users] [racket users] scribble using @ as text?

[Sorawee Porncharoenwase]

I think you meant `@"@"`? `@["@"]` is an application.

On Thu, Sep 24, 2020 at 2:31 PM Jay McCarthy  wrote:

> @["@"]
>
> --
> Jay McCarthy
> Associate Professor @ CS @ UMass Lowell
> http://jeapostrophe.github.io
> Vincit qui se vincit.
>
>
> On Thu, Sep 24, 2020 at 5:26 PM Kevin Forchione  wrote:
>
>> Hi guys,
>> I’ve been racking my brains and going through scribble manuals trying to
>> figure out how to do something as simple as proceed a sentence like: The @
>> is used in a scribble command. I’m sure I’m overlooking something very
>> basic, since the @ is referenced all over scribble documentation.
>>
>> Any help is appreciated!
>>
>> Kevin
>>
>> --
>> You received this message because you are subscribed to the Google Groups
>> "Racket Users" group.
>> To unsubscribe from this group and stop receiving emails from it, send an
>> email to racket-users+unsubscr...@googlegroups.com.
>> To view this discussion on the web visit
>> https://groups.google.com/d/msgid/racket-users/8187F519-D648-472C-8B99-45B28DFD4BC0%40gmail.com
>> .
>>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/CAJYbDa%3DhPr-cLA1-9t0oVdC2y1sGRa4RWh_UmOudzj%2BNHLAmSg%40mail.gmail.com
> 
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CADcuegsM2X8Q9bYFqu0hK3sc8bKPvEv4wiCtWaT%3DoxOoN75jTw%40mail.gmail.com.

Re: [racket-users] [racket users] scribble using @ as text?

[Jay McCarthy]

@["@"]

--
Jay McCarthy
Associate Professor @ CS @ UMass Lowell
http://jeapostrophe.github.io
Vincit qui se vincit.


On Thu, Sep 24, 2020 at 5:26 PM Kevin Forchione  wrote:

> Hi guys,
> I’ve been racking my brains and going through scribble manuals trying to
> figure out how to do something as simple as proceed a sentence like: The @
> is used in a scribble command. I’m sure I’m overlooking something very
> basic, since the @ is referenced all over scribble documentation.
>
> Any help is appreciated!
>
> Kevin
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/8187F519-D648-472C-8B99-45B28DFD4BC0%40gmail.com
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAJYbDa%3DhPr-cLA1-9t0oVdC2y1sGRa4RWh_UmOudzj%2BNHLAmSg%40mail.gmail.com.

[racket-users] [racket users] scribble using @ as text?

[Kevin Forchione]

Hi guys,
I’ve been racking my brains and going through scribble manuals trying to figure 
out how to do something as simple as proceed a sentence like: The @ is used in 
a scribble command. I’m sure I’m overlooking something very basic, since the @ 
is referenced all over scribble documentation. 

Any help is appreciated!

Kevin

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/8187F519-D648-472C-8B99-45B28DFD4BC0%40gmail.com.