From 4ca82450a1a5cdcf6c96f08f5b18738289e94f0d Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Tue, 25 Mar 2014 19:24:06 -0700 Subject: [PATCH] Add test case for PR 11747. Closes PR 11747. This was fixed at some point. original commit: e4716bd68a31f790ab7b0616feb2d4aa63e68300 --- .../tests/typed-racket/succeed/pr11747.rkt | 26 +++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr11747.rkt diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr11747.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr11747.rkt new file mode 100644 index 00000000..0ff1afad --- /dev/null +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr11747.rkt @@ -0,0 +1,26 @@ +#lang typed/racket/base + +(require racket/match racket/list) + +(provide check-type-declarations) + +(define-type type-declaration #t) +(define-type type-environment #t) + +(define-type dag (HashTable Symbol (U Symbol #f))) + +(: check-type-declarations ((Listof type-declaration) type-environment -> Void)) +(define (check-type-declarations types env) + (: compute-reference-dag ((Listof type-declaration) dag -> dag)) + (define (compute-reference-dag types dag) + (compute-reference-dag types dag)) + + (: cycle-exists? (Symbol dag -> Boolean)) + (define (cycle-exists? symbol a-dag) + (cycle-exists? symbol a-dag)) + + (: reference-dag dag) + (: cycle Boolean) + (define reference-dag (compute-reference-dag types (make-immutable-hash empty))) + (define cycle (cycle-exists? 'name reference-dag)) + (void))