You can use #:result in Racket 7.6
But it was not supported in 7.5
I see. Good to know that it’s been fixed.
It’s possible that DrRacket-created directories within compiled have gone wrong, and raco setup --clean doesn’t reach those. Do you find any compiled/drracket subdirectories? If so, does removing them help?
Apropos puzzling programs: ;
; Putting Scheme to Work
; By Olivier Danvy
; Bigre special edition "Putting Scheme to Work"
;
(define fix
(let ((z (lambda (P)
(lambda (u)
(lambda (t)
(lambda (t)
(lambda (i)
(lambda (n)
(lambda (g)
(lambda (S)
(lambda (c)
(lambda (h)
(lambda (e)
(lambda (m)
(lambda (e)
(lambda (t)
(lambda (o)
(lambda (W)
(lambda (o)
(lambda (r)
(lambda (k)
(lambda (!)
(! (lambda (break)
(((((((((((((((((((((W o) r) k)
W) o) r) k)
W) o) r) k)
W) o) r) k)
W) o) r) k) !)
break)))))))))))))))))))))))))
(let ((Z z))
(((((((((((((((((((z z) z) z) z) z) Z) Z) Z) Z) Z) Z) Z) z) z) z) z) z) z) z))))
((fix (lambda (f)
(lambda (n)
(if (zero? n)
1
(* n (f (- n 1))))))) 9)
Typed racket is having trouble instantiating type variables to specific types, e.g. when I’m using foldl, I get the error: ; Types: (-> a b b) b (Listof a) -> b
; (-> a b c c) c (Listof a) (Listof b) -> c
; (-> a b c d d) d (Listof a) (Listof b) (Listof c) -> d
; Arguments: (All (a) (-> (Setof a) (Setof a) (Setof a))) (Setof Symbol) (Listof (Setof Symbol))
; Expected result: (Setof Symbol)
It would be resolved if Symbol is substituted for a (in the first out of 3 type signatures). Is the engine expected to get confused in such cases?
How can I manually specify a so that my program typechecks?
Solved: I was looking for inst.
@eric.e.dodd has joined the channel
howdy!
Is there a way I can modify the string representation of a struct shown in the repl?
Yep
@p.kushwaha97 How do you want to modify it?
this is cool!
having issues with racket’s make install. anyone have time to help a complete newb?
There wasn’t a compiled/drracket in the same directory as the script. I manually deleted all of the compiled/drracket directories in the parts of the ricoeur collection that ricoeur/tei depends on, but I’m getting the same error.