Implement EBin>>evaluateIn:

NB: EBin refers to some polymorphic bop in an abstract way.
EBins are created in Sprite, which instantiates ΛPrimOps to
serve for this purpose.  This is a problem along the lines
of #194.

src/Refinements/EBin.class.st

@@ -28,6 +28,13 @@ EBin >> bop: anObject [
 	bop := anObject
 ]
 
+{ #category : #'term rewriting' }
+EBin >> evaluateIn: anEvalEnv [
+	^(left evaluateIn: anEvalEnv)
+		perform: bop class smalltalkSelector
+		with: (right evaluateIn: anEvalEnv)
+]
+
 { #category : #accessing }
 EBin >> left [
 	^ left

src/SpriteLang/BGe.class.st

@@ -13,3 +13,8 @@ BGe class >> operator [
 BGe class >> rTypeSrc [
 	^'x:''a => y:''a => bool[zzz|zzz <=> (x >= y)]'
 ]
+
+{ #category : #'reflect - embedding' }
+BGe class >> smalltalkSelector [
+	^#>=
+]

src/SpriteLang/BGt.class.st

@@ -13,3 +13,8 @@ BGt class >> operator [
 BGt class >> rTypeSrc [
 	^'x:''a => y:''a => bool[zzz|zzz <=> (x > y)]'
 ]
+
+{ #category : #'reflect - embedding' }
+BGt class >> smalltalkSelector [
+	^#>
+]

src/SpriteLang/BLe.class.st

@@ -13,3 +13,8 @@ BLe class >> operator [
 BLe class >> rTypeSrc [
 	^'x:''a => y:''a => bool[zzz|zzz <=> (x <= y)]'
 ]
+
+{ #category : #'reflect - embedding' }
+BLe class >> smalltalkSelector [
+	^#<=
+]

src/SpriteLang/BLt.class.st

@@ -13,3 +13,8 @@ BLt class >> operator [
 BLt class >> rTypeSrc [
 	^'x:''a => y:''a => bool[zzz|zzz <=> (x < y)]'
 ]
+
+{ #category : #'reflect - embedding' }
+BLt class >> smalltalkSelector [
+	^#<
+]

src/SpriteLang/BMinus.class.st

@@ -13,3 +13,8 @@ BMinus class >> operator [
 BMinus class >> rTypeSrc [
 	^'x:int => y:int => int[v|v===(x-y)]'
 ]
+
+{ #category : #'reflect - embedding' }
+BMinus class >> smalltalkSelector [
+	^#-
+]

src/SpriteLang/BPlus.class.st

@@ -13,3 +13,8 @@ BPlus class >> operator [
 BPlus class >> rTypeSrc [
 	^'x:int => y:int => int[v|v===(x+y)]'
 ]
+
+{ #category : #'reflect - embedding' }
+BPlus class >> smalltalkSelector [
+	^#+
+]

src/SpriteLang/BTimes.class.st

@@ -13,3 +13,8 @@ BTimes class >> operator [
 BTimes class >> rTypeSrc [
 	^'x:int => y:int => int[v|v===(x*y)]'
 ]
+
+{ #category : #'reflect - embedding' }
+BTimes class >> smalltalkSelector [
+	^#*
+]