suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add test case for PR 11747.

Browse Source 
Closes PR 11747. This was fixed at some point.

original commit: e4716bd68a31f790ab7b0616feb2d4aa63e68300
This commit is contained in:
Eric Dobson 2014-03-25 19:24:06 -07:00
parent e1851074b7
commit 4ca82450a1
1 changed files with 26 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr11747.rkt Normal file
View File

@ -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))