<div> <div class="im"><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;"><div> > name space > where are defined methods "define-fsm", "define-state", "on-event" and "go" > > But this case each of those methods will not have the syntax object of the > evaluated expression. > And in case if it will find and error it could not message about error's > location. The easiest way to do this task can be: Just evaluate the file "a.ss" in the </div></blockquote><div> Noel Welsh wrote: </div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">Have you tried eval-syntax, instead of eval? I think that will keep location information. </blockquote></div></div> How? (eval-syntax (file->syntax "a.ss")) lets imagine the function 'define-fsm' was called. And "some-condition?" informs that there are syntax error in the source expression. How i can printout the line and column number of the source expression? (define (define-fsm params) (if (some-condition? params) (display "error message" ????? ) ) ) Noel Welsh wrote: > Look up read-syntax. <div class="im"> Yes, In my example file->syntax was somthing like (define (file->syntax file-name) ;; read the file and convert it to the syntax object (let* ([in (open-input-file file-name)]) (port-count-lines! in) (begin0 (let loop ([rs '()] [r (read-syntax file-name in)]) (if (eof-object? r) (reverse rs) (loop (cons r rs) (read-syntax file-name in)))) (close-input-port in) ))) Noel Welsh <<a href="mailto:noelwelsh@gmail.com" target="_blank">noelwelsh@gmail.com</a>> wrote: > lets imagine the function 'define-fsm' was called. And "some-condition?" > informs that there are syntax error in the source expression. How i can > printout the line and column number of the source expression? </div><a href="http://docs.racket-lang.org/unstable/Source_Locations.html" target="_blank">> http://docs.racket-lang.org/unstable/Source_Locations.html</a> The question is: when in the eval-synax process there will be called some function how that function can to reffer to the current syntax-object? Noel Welsh wrote: > foo.ss: > (foo 1 2) > Code: > (with-input-from-file "foo.ss" > (lambda () > (parameterize ([error-display-handler (lambda (name . stuff) > (printf "Got ~a ~a\n" name stuff))]) > (eval-syntax (read-syntax 'foo.ss))))) > Output: > Got foo.ss::0: compile: unbound identifier (and no #%app syntax > transformer is bound) at: foo in: (foo 1 2) (#(struct:exn:fail:syntax > foo.ss::0: compile: unbound identifier (and no #%app syntax > transformer is bound) at: foo in: (foo 1 2) #<continuation-mark-set> > (#<syntax::2 foo>))) > So the exception structure has the syntax object you want. There are two issues. First: what if the file foo.ss will have defined function foo. (define (foo a b) (+ a b))) (foo 1 2) It makes error: Got compile: unbound identifier (and no #%app syntax transformer is bound) (#(struct:exn:fail:syntax compile: unbound identifier (and no #%app syntax transformer is bound) #<continuation-mark-set> Second: When function foo is defined correctly and called from the eval process and errors occurs in foo, how can we find the caller's location in order to format an error message? -- Valeriya