From 39a098237d39e1c89eeb0f2d5371badded6970d8 Mon Sep 17 00:00:00 2001 From: Dani Smith Date: Thu, 9 Jan 2025 18:56:33 +0200 Subject: [PATCH] identifier strings can technically be terminated by EOF (#469) --- SPEC.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/SPEC.md b/SPEC.md index 427b7bc..7f2a72c 100644 --- a/SPEC.md +++ b/SPEC.md @@ -333,8 +333,8 @@ Identifiers that match these patterns _MUST_ be treated as a syntax error; such values can only be written as quoted or raw strings. The precise details of the identifier syntax is specified in the [Full Grammar](#full-grammar) below. -Identifier Strings are terminated by [Whitespace](#whitespace) or -[Newlines](#newline). +Identifier Strings are terminated by [Whitespace](#whitespace), +[Newlines](#newline), or the end of the file/stream (an `EOF`). #### Non-initial characters