diff options
| author | Tristan Gingold <tgingold@free.fr> | 2022-12-26 17:32:55 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2022-12-26 17:33:39 +0100 |
| commit | 0784c5351937b948d914238f570305d34e35e9ae (patch) | |
| tree | 90c22cd945e344f53a6afd40d3cb0ed8edfb2568 /src/grt | |
| parent | 0f348cb94e9f7bd83f52c0317bb7f858b87ece05 (diff) | |
| download | ghdl-0784c5351937b948d914238f570305d34e35e9ae.tar.gz ghdl-0784c5351937b948d914238f570305d34e35e9ae.tar.bz2 ghdl-0784c5351937b948d914238f570305d34e35e9ae.zip | |
synth: improve support of value attribute
Diffstat (limited to 'src/grt')
| -rw-r--r-- | src/grt/grt-strings.adb | 3 | ||||
| -rw-r--r-- | src/grt/grt-strings.ads | 4 |
2 files changed, 4 insertions, 3 deletions
diff --git a/src/grt/grt-strings.adb b/src/grt/grt-strings.adb index 5d6fc8706..3f8f8ed29 100644 --- a/src/grt/grt-strings.adb +++ b/src/grt/grt-strings.adb @@ -23,9 +23,8 @@ package body Grt.Strings is function Is_Whitespace (C : in Character) return Boolean is - use ASCII; begin - return C = ' ' or C = NBSP or C = HT; + return C = ' ' or C = NBSP; end Is_Whitespace; function First_Non_Whitespace_Pos (Str : String) return Integer is diff --git a/src/grt/grt-strings.ads b/src/grt/grt-strings.ads index 7b8535425..1d52a62fc 100644 --- a/src/grt/grt-strings.ads +++ b/src/grt/grt-strings.ads @@ -26,7 +26,9 @@ package Grt.Strings is NBSP : constant Character := Character'Val (160); - -- Return True IFF C is a whitespace character (as defined in LRM93 14.3) + -- Return True IFF C is a whitespace character as defined by LRM93 13.1 + -- Note: this is different from the definition in LRM93 14.3 (for files, + -- which includes HT). function Is_Whitespace (C : in Character) return Boolean; -- The following functions return -1 in case there is no match in string --- |