To my joy I just (re)discovered the ARMV6 snapshot build on https://www.cs.utah.edu/plt/snapshots/, which is great as I’d been having problems compiling from source+built-packages in recent 6.x builds on Raspbian (Package manager SSL probs). I’m wondering if there’s a chance that with the official 7 release there could be packages for Raspbian explicitly made available, as the current RaspPi package actually in Raspbian is 6.7?

I seemed to finally get things working yesterday, let me know if you see any issues

I don’t think flat-contract-with-explanation’s printed representation is working as expected based on current contract documenation and experience with other contracts. (flat-contract-with-explanation (λ (v) v)) will print #<flat-contract: temp1> I’d have expected it to print ???

(flat-contract-with-explanation string?) will print #<flat-contract: string?> instead of string?

(flat-contract-with-explanation #:name 'a-name string?) prints as #<flat-contract: a-name> instead of a-name

Is this a genuine issue? At the very least I think it’s inconsistent with the other contracts’ printed representations.

@abmclin I think the explanation shows up when the contract is violated > (contract (flat-contract-with-explanation #:name 'a-name string?) 5 'server 'client) . . /head/racket/collects/racket/contract/private/blame.rkt:347:0: ...om an unsaved editor:28:2: broke its own contract promised: string? produced: 5 in: a-name contract from: server blaming: server (assuming the contract is correct)

or:

(module m racket
  (provide
   (contract-out [f (flat-contract-with-explanation #:name 'a-name string?)]))
  (define f 0))

(require 'm)

temp1 seems weird to me too, but the problem is probably somewhere else

@lexi.lambda just commented on the GitHub issue, and it appears that repeated use of an identifier that’s in some ellipsified pattern has undefined behaviour.