renamed "unknowntype" to "unknown_type"

This commit is contained in:
Erik Krogh Kristensen
2020-09-04 11:55:14 +02:00
parent 2481775af5
commit 0c0abefe5a
3 changed files with 3 additions and 3 deletions

View File

@@ -1993,7 +1993,7 @@ class AnyType extends Type, @any_type { }
/** /**
* The predefined `unknown` type. * The predefined `unknown` type.
*/ */
class UnknownType extends Type, @unknowntype { } class UnknownType extends Type, @unknown_type { }
/** /**
* The predefined `string` type. * The predefined `string` type.

View File

@@ -635,7 +635,7 @@ case @type.kind of
| 20 = @this_type | 20 = @this_type
| 21 = @number_literal_type | 21 = @number_literal_type
| 22 = @string_literal_type | 22 = @string_literal_type
| 23 = @unknowntype | 23 = @unknown_type
| 24 = @biginttype | 24 = @biginttype
| 25 = @bigintliteraltype | 25 = @bigintliteraltype
; ;

View File

@@ -994,7 +994,7 @@
<v>30638</v> <v>30638</v>
</e> </e>
<e> <e>
<k>@unknowntype</k> <k>@unknown_type</k>
<v>100</v> <v>100</v>
</e> </e>
<e> <e>