The printing style of functions is inconsistent

[shhyou]

Consider this ISL/lambda program:

(define (my-add1 n) (+ n 1))
my-add1

The output says lambda:

Welcome to DrRacket, version 8.11.0.3 [cs].
Language: Intermediate Student with lambda; memory limit: 1024 MB.
(lambda (a1) ...)

But in the interaction window I got the function name (based on 8a6d349, this is the expected one):

> my-add1
my-add1