idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-09-20 09:48:38 +03:00
Code Issues Projects Releases Wiki Activity

Fix Racket blodwen-arg for real

Browse Source
This commit is contained in:
Niklas Larsson 2021-04-10 11:16:14 +02:00
parent e117ab1c1c
commit f81ccec40a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
support/racket/support.rkt
View File

@ -415,7 +415,7 @@
(define (blodwen-arg n)
(cond
((= n 0) (path->string (find-system-path 'run-file)))
(< n (+ (vector-length (current-command-line-arguments) 1))
((< n (+ (vector-length (current-command-line-arguments)) 1))
(vector-ref (current-command-line-arguments) (- n 1)))
(else "")))