(define-public (line-location file line col)
"Print an input location, without column number ."
(string-append (number->string line) " " file))
(define-public (line-location file line col)
"Print an input location, without column number ."
(string-append (number->string line) " " file))