# Check-syntax occasional confusion

**URL:** <https://racket.discourse.group/t/check-syntax-occasional-confusion/2376>\
**Category:** General\
**Created:** [October 10, 2023, 5:56pm UTC](https://racket.discourse.group/t/check-syntax-occasional-confusion/2376 "2023-10-10T17:56:07Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![jbclements](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/jbclements/32/11_2.png) [@jbclements](https://racket.discourse.group/u/jbclements)\
**Post date:** [October 10, 2023, 5:56pm UTC](https://racket.discourse.group/t/check-syntax-occasional-confusion/2376/1 "2023-10-10T17:56:07Z")

</div>

In this screenshot, the green oval is highlighting something that is clearly not an identifier. Things like this are much more common for me recently (maybe just this latest version?). Are any of y'all seeing things like this?

![image](https://global.discourse-cdn.com/free1/uploads/racket/original/2X/c/c569076c2a6ec341110e78638e6133518c3dbe4a.png)

This also bleeds through to the identifier renaming menu:

 ![image](https://global.discourse-cdn.com/free1/uploads/racket/original/2X/5/58c6847dfe77051010edbcfb7142e3aa8e058d7f.jpeg)

---

<div class="post-metadata">

**Author:** ![robby](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/robby/32/7_2.png) [@robby](https://racket.discourse.group/u/robby)\
**Post date:** [October 10, 2023, 6:10pm UTC](https://racket.discourse.group/t/check-syntax-occasional-confusion/2376/2 "2023-10-10T18:10:29Z")

</div>

I haven't seen that. Is that `#lang racket`? (The bug could be in Check Syntax or in the lang.) Does it reproduce easily?

---

<div class="post-metadata">

**Author:** ![jbclements](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/jbclements/32/11_2.png) [@jbclements](https://racket.discourse.group/u/jbclements)\
**Post date:** [October 11, 2023, 3:33am UTC](https://racket.discourse.group/t/check-syntax-occasional-confusion/2376/3 "2023-10-11T03:33:33Z")

</div>

It's #lang typed/racket/base, I believe. (Definitely TR, probably TRB). I don't believe it's easy to reproduce, but I'll definitely work on it. Um... after I work on the release, that is.