suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
c080940d02
racket/collects/deinprogramm
History
Mike Sperber c080940d02 Fix infinite recursive signatures. 
Such as this, submitted by Torsten Grust:

(define-record-procedures-parametric stream_ stream-of
  make-stream
  stream?
  (stream-head stream-tail))

(define stream
  (lambda (t)
    (signature (stream-of t (-> (stream t))))))

(: from (number -> (stream number)))
(define from
  (lambda (n)
    (make-stream n (lambda () (from (+ n 1))))))

(: foo (stream number))
(define foo (from 1))

The problem was that the arbitaries got evaluated too eagerly.
2011-12-18 14:18:42 +01:00
..
DMdA/lang rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
DMdA-advanced/lang rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
DMdA-assignments/lang rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
DMdA-beginner/lang rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
DMdA-vanilla/lang rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
quickcheck ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
scribblings Lots of documentation formatting. 2011-08-15 07:50:04 -04:00
signature Fix infinite recursive signatures. 2011-12-18 14:18:42 +01:00
convert-explicit.rkt Provide English and German versions of deinprogramm/signature/signature. 2010-10-08 11:19:38 +02:00
convert-explicit.scm Fix breakage due to lazy contracts. 2010-05-20 19:55:12 +02:00
define-record-procedures.rkt 2nd attempt at generators for records/structs. 2010-10-11 13:34:16 +02:00
define-record-procedures.scm Fix infinite recursive signatures. 2011-12-18 14:18:42 +01:00
deinprogramm-langs.rkt fix bugs in the way the Racket|Disable Tests menu item worked 2011-11-28 00:13:59 -06:00
DMdA-advanced-reader.rkt ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
DMdA-advanced.rkt deinprogramm: tweak files to make scribble happy 2011-05-28 09:02:53 -05:00
DMdA-assignments-reader.rkt ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
DMdA-assignments.rkt deinprogramm: tweak files to make scribble happy 2011-05-28 09:02:53 -05:00
DMdA-beginner-reader.rkt ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
DMdA-beginner.rkt Add cons' and cons?' as synonyms for make-pair' and pair?' to DMdA. 2010-10-08 15:25:44 +02:00
DMdA-deflam.rkt deinprogramm: tweak files to make scribble happy 2011-05-28 09:02:53 -05:00
DMdA-reader.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
DMdA-vanilla-reader.rkt ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
DMdA-vanilla.rkt make the deinprogramm documentation drdr messages be accurate 2011-05-04 18:54:28 -05:00
DMdA.rkt ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
image.rkt ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
info.rkt ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
line3d.rkt ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
line3d.scm Newlines at EOFs 2009-07-04 02:28:31 +00:00
logo-small.png
run-dmda-code.rkt ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
syntax-checkers.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
test-suite.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
turtle.rkt Rename DMdA/HtDP "contract" to "signature". 2010-06-28 14:58:16 +02:00
world.rkt ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00