renamed "undefinedtype" to "undefined_type"

This commit is contained in:
Erik Krogh Kristensen
2020-09-04 11:55:03 +02:00
parent d95fc64f87
commit 1891a3fb49
3 changed files with 3 additions and 3 deletions

View File

@@ -2124,7 +2124,7 @@ class VoidType extends Type, @void_type { }
/**
* The `undefined` type.
*/
class UndefinedType extends Type, @undefinedtype { }
class UndefinedType extends Type, @undefined_type { }
/**
* The `null` type.

View File

@@ -623,7 +623,7 @@ case @type.kind of
| 8 = @canonical_type_variable_type
| 9 = @typeof_type
| 10 = @void_type
| 11 = @undefinedtype
| 11 = @undefined_type
| 12 = @nulltype
| 13 = @nevertype
| 14 = @plainsymboltype

View File

@@ -950,7 +950,7 @@
<v>1</v>
</e>
<e>
<k>@undefinedtype</k>
<k>@undefined_type</k>
<v>1</v>
</e>
<e>