Problem with writing comments below "import libraries"

[JudySun233]

It is right now not supported to write comments directly after the import libraries codes.

For example, the following is not allowed:

import base64
#single line comment

There occurs problems with libraries ending with A-Za-z0-9_.

However, other ones work, e.g.

import base64" 
#single line comment

Adding comments anywhere else is allowed.

[janpaulpl]

Fixed in https://github.com/gradual-verification/gradual-TEAL/commit/65f15b53e83234f4e182b6a31fb43fcd56d99976