Use better language for lang-info
This commit is contained in:
parent
a5222b9481
commit
2faa761f53
|
@ -1,4 +1,4 @@
|
||||||
#lang racket/base
|
#lang typed-racket/minimal
|
||||||
|
|
||||||
(require racket/require typed-scheme/no-check (subtract-in typed/racket/base typed-scheme/no-check))
|
(require racket/require typed-scheme/no-check (subtract-in typed/racket/base typed-scheme/no-check))
|
||||||
(provide (all-from-out typed/racket/base typed-scheme/no-check))
|
(provide (all-from-out typed/racket/base typed-scheme/no-check))
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
#lang racket/base
|
#lang typed-racket/minimal
|
||||||
|
|
||||||
(require racket/require typed-scheme/no-check (subtract-in typed/racket typed-scheme/no-check))
|
(require racket/require typed-scheme/no-check (subtract-in typed/racket typed-scheme/no-check))
|
||||||
(provide (all-from-out typed/racket typed-scheme/no-check))
|
(provide (all-from-out typed/racket typed-scheme/no-check))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user