nil should type as int

ivojawer · Aug 24, 2023 · b14f31c · b14f31c
1 parent 8b418d2
commit b14f31c
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/smalltalksrc/Slang-Tests/SlangBasicTypeInferenceTest.class.st b/smalltalksrc/Slang-Tests/SlangBasicTypeInferenceTest.class.st
@@ -71,7 +71,7 @@ SlangBasicTypeInferenceTest >> testANilConstantNode [
 	tMethod := ccg methodNamed: #aNilConstantNode.
 
 	self assert: tMethod isNotNil.
-	self assert: (ccg typeFor: tMethod statements first in: tMethod) asString equals: #sqInt
+	self assert: (ccg typeFor: tMethod statements first in: tMethod) asString equals: #int
 ]
 
 { #category : #constant }
@@ -198,7 +198,7 @@ SlangBasicTypeInferenceTest >> testReturnANilConstantNode [
 	tMethod := ccg methodNamed: #returnANilConstantNode.
 
 	self assert: tMethod isNotNil.
-	self assert: (ccg typeFor: tMethod statements first in: tMethod) asString equals: #sqInt.
+	self assert: (ccg typeFor: tMethod statements first in: tMethod) asString equals: #int.
 	self assert: tMethod returnType equals: #sqInt
 ]
 
@@ -717,9 +717,9 @@ SlangBasicTypeInferenceTest >> testReturnTempNilConstantNode [
 	tMethod := ccg methodNamed: #returnTempNilConstantNode.
 
 	self assert: tMethod isNotNil.
-	self assert: (ccg typeFor: tMethod statements first in: tMethod) asString equals: #sqInt. " assignementNode "
-	self assert: (ccg typeFor: tMethod statements first value in: tMethod) asString equals: #sqInt. " value, constantNode "
-	self assert: (ccg typeFor: tMethod statements first variable in: tMethod) asString equals: #sqInt. " variable, temporaryNode "
+	self assert: (ccg typeFor: tMethod statements first in: tMethod) asString equals: #int. " assignementNode "
+	self assert: (ccg typeFor: tMethod statements first value in: tMethod) asString equals: #int. " value, constantNode "
+	self assert: (ccg typeFor: tMethod statements first variable in: tMethod) asString equals: #int. " variable, temporaryNode "
 
 	self assertReturnTypeOf: tMethod equalsHarmonized: #sqInt
 ]

diff --git a/smalltalksrc/Slang/TConstantNode.class.st b/smalltalksrc/Slang/TConstantNode.class.st
@@ -137,7 +137,7 @@ TConstantNode >> typeOrNilFrom: aCodeGenerator in: aTMethod [
 				^ #'long long' ] ].
 	value isFloat ifTrue: [ ^ #double ].
 	(#(true false) includes: value) ifTrue: [^TType boolean].
-	value ifNil: [ ^ TType sqInt ].
+	value ifNil: [ ^ TType int ].
 	(value isString and: [ value isSymbol not ]) ifTrue: [ ^ #'char *' ].
 	^ nil
 ]