From d48deba09cb7619f2ba3d7f6e28017cf5d40bd9d Mon Sep 17 00:00:00 2001 From: Dani Smith Date: Wed, 8 Jan 2025 11:43:25 +0200 Subject: [PATCH] identifier strings can technically be terminated by EOF --- 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