Remove `SomeSystemPath'.
This commit is contained in:
parent
00f9e6342f
commit
f195b3c689
|
@ -16,7 +16,7 @@
|
||||||
((unix) 'windows)
|
((unix) 'windows)
|
||||||
((windows) 'unix)))
|
((windows) 'unix)))
|
||||||
|
|
||||||
(: other-foo-path SomeSystemPath)
|
(: other-foo-path Path-For-Some-System)
|
||||||
(define other-foo-path
|
(define other-foo-path
|
||||||
(build-path/convention-type other-system
|
(build-path/convention-type other-system
|
||||||
(string->some-system-path "foo" other-system)
|
(string->some-system-path "foo" other-system)
|
||||||
|
|
|
@ -1,7 +1,5 @@
|
||||||
#lang s-exp "type-env-lang.rkt"
|
#lang s-exp "type-env-lang.rkt"
|
||||||
|
|
||||||
(provide (rename-out [Path-For-Some-System SomeSystemPath]))
|
|
||||||
|
|
||||||
[Complex -Number]
|
[Complex -Number]
|
||||||
[Number -Number]
|
[Number -Number]
|
||||||
[Inexact-Complex -InexactComplex]
|
[Inexact-Complex -InexactComplex]
|
||||||
|
|
Loading…
Reference in New Issue
Block a user