Merge pull request #37 from stchang/behav

edit info files to enable raco test typed/
This commit is contained in:
Sam Caldwell 2020-02-10 08:49:05 -05:00 committed by GitHub
commit e06eb1bfcf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 11 additions and 0 deletions

View File

@ -1 +1,4 @@
#lang setup/infotab
(define compile-omit-paths
'("examples"))

8
racket/typed/info.rkt Normal file
View File

@ -0,0 +1,8 @@
#lang info
(define compile-omit-paths
'("examples"
"tests"))
(define test-omit-paths
'("examples/roles/chat-tcp2.rkt"))