[racket-users] #:kind (list ... ) in defthing and defproc

[Jos Koot]

The following works well in DrRacket, version 7.8 [3m]

#lang scribble/manual
@deftogether[
(@defthing[#:kind "constant false/on/high" F trit? #:value '0]
 @defthing[#:kind (list "constant true/off/low" (hspace 1)) T trit? #:value
'1]
 @defthing[#:kind "constant indeterminate" ? trit? #:value '?]
 @defthing[#:kind (list "constant" (hspace 13)) trits (list/c trit? trit?
trit?) #:value (list F T ?)]
 @defthing[#:kind (list "constant" (hspace 13)) in-trits sequence? #:value
(in-list trits)]
 @defproc[#:kind (list "predicate" (hspace 12)) (trit? (obj any/c))
boolean?]
 @defproc[#:kind (list "predicate" (hspace 12)) (F? (obj any/c)) boolean?]
 @defproc[#:kind (list "predicate" (hspace 12)) (T? (obj any/c)) boolean?]
 @defproc[#:kind (list "predicate" (hspace 12)) (?? (obj any/c))
boolean?])]{}

I use hspace for alignment of the kinds.

But in version 7.8.0.10--2020-09-25(515012525c/a) [3m] I get:

. . C:\Program Files\Racket-7.8.0.10\collects\syntax\contract.rkt:101:21:
defthing: contract violation
  expected: (or/c string? #f)
  given: ("constant true/off/low" #(struct:element hspace (" ")))
  in: (or/c string? #f)
  macro argument contract on #:kind argument
  contract from:
  (lib scribble/private/manual-proc.rkt)
  blaming: E:\circuits\circuit-manual.scrbl
   (assuming the contract is correct)
  at: E:\circuits\circuit-manual.scrbl:416.18

Because I don't know whether or not this is a known issue, I post it on
this list.
If this is a known issue or an intentional change, then ignore this email,
please.
If not I can post it as a racket issue.
Let me know, please.
Thanks, Jos

-- 
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/CAL6KNi3P251G%2BBMQqDbo2qt6K22Gw_OOgjjnHDboLLuC3qKrGg%40mail.gmail.com.

Re: [racket-users] Trouble opening File

[Robby Findler]

I recommend going to the Racket website and following the download link.

https://racket-lang.org/

Robby

On Sat, Sep 26, 2020 at 1:29 AM Paul Kneeland 
wrote:

> How do you update Raxket?
>
> Sent from my iPhone
>
> On Sep 25, 2020, at 5:58 PM, Robby Findler 
> wrote:
>
> 
>
> This may be bad advice. Make sure you and your partner are both using the
> same version of Racket!
>
> Robby
>
>
> On Fri, Sep 25, 2020 at 4:53 PM Robby Findler 
> wrote:
>
>> That sounds like the file was in the wxme format (i.e. it probably had
>> images in it) and then something got garbled in the file.
>>
>> If your partner can still open it fine, then probably the simplest thing
>> is for them to compress it and send you the compressed file (e.g. nowadays
>> you can usually right click on a file and select "compress" and you'll get
>> a .zip file out). As them to send the zip file and then see if you can
>> uncompress and then open it.
>>
>> Robby
>>
>>
>> On Fri, Sep 25, 2020 at 4:38 PM Paul Kneeland 
>> wrote:
>>
>>> Hello all,
>>>
>>> My partner sent me a racket file to look at (homework)
>>>
>>> When I download the file and go to open it, I get this message:
>>> There was an error loading  - FUNDIES HW2 Final.rkt.
>>>
>>> *insert-file in text%: error loading the file
>>> (read-editor-global-head-failed)*
>>>
>>> Why did this happen and how can I fix this? Any advice appreciated.
>>>
>>>
>>>
>>>
>>>
>>>
>>>
>>>
>>>
>>> --
>>>
>>>
>>> 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/f53303ca-4dde-4b4f-9f25-7b93745a825en%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/CAL3TdONABzBjCAA3sX-ZMP4ydq8iRRrMrYHwBdzTDcz761mqrQ%40mail.gmail.com.

RE: [racket-users] strange error message with debugging enabled

[Jacob Jozef]

Thanks Robby.Yes, it has been fixed. No problems in v7.8.0.10.Jos From: Robby FindlerSent: viernes, 25 de septiembre de 2020 19:03To: Jos KootCc: Racket UsersSubject: Re: [racket-users] strange error message with debugging enabled Thanks, Jos. I think that this has been fixed (recently, since 7.8 was released). You might try a snapshot build and see if things are better for you there: https://snapshot.racket-lang.org/ Robby 



-- 
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/3F6FFD4E-53E9-41F4-9A1D-447025793021%40hxcore.ol.