<details key="invariantincludes1" value="self.a->includes(self.asingle)"/>
259 invariant3 = context _B [invariantincludes1]
260 invariantincludes1 self = (ocl self |.| a |->| (includes (ocl self |.| asingle)))
ACCELEO.hs:260:59: error:
• Couldn't match type ‘ReaderT
Model Data.Functor.Identity.Identity (Val A_)’
with ‘Val A_’
Expected type: Val A_
Actual type: OCL Model (Val A_)
• In the first argument of ‘includes’, namely
‘(ocl self |.| asingle)’
In the second argument of ‘(|->|)’, namely
‘(includes (ocl self |.| asingle))’
In the expression:
(ocl self |.| a |->| (includes (ocl self |.| asingle)))
<details key="invariantincludes1a" value="Bag{1, 2, 3}->includes(2)"/>
<details key="invariantincludes2a" value="Bag{1, 2, 3}->includes(5)"/>
<details key="invariantincludes3a" value="Bag{1, 2, 3}->includes(3)"/>
<details key="invariantincludes4a" value="Bag{1, 2, 3}->includes(1)"/>
635 invariant128 = context _C [invariantincludes1a]
636 invariantincludes1a self = (oclVal (Bag [Val 1, Val 2, Val 3]) |->| (includes (oclInt 2)))
637
638 invariant129 = context _C [invariantincludes2a]
639 invariantincludes2a self = (oclVal (Bag [Val 1, Val 2, Val 3]) |->| (includes (oclInt 5)))
640
641 invariant130 = context _C [invariantincludes3a]
642 invariantincludes3a self = (oclVal (Bag [Val 1, Val 2, Val 3]) |->| (includes (oclInt 3)))
643
644 invariant131 = context _C [invariantincludes4a]
645 invariantincludes4a self = (oclVal (Bag [Val 1, Val 2, Val 3]) |->| (includes (oclInt 1)))
ACCELEO.hs:636:81: error:
• Couldn't match type ‘ReaderT
m3 Data.Functor.Identity.Identity (Val Int)’
with ‘Val integer-gmp-1.0.0.1:GHC.Integer.Type.Integer’
Expected type: Val integer-gmp-1.0.0.1:GHC.Integer.Type.Integer
Actual type: OCL m3 (Val Int)
• In the first argument of ‘includes’, namely ‘(oclInt 2)’
In the second argument of ‘(|->|)’, namely ‘(includes (oclInt 2))’
In the expression:
(oclVal (Bag [Val 1, Val 2, Val 3]) |->| (includes (oclInt 2)))
ACCELEO.hs:639:81: error:
• Couldn't match type ‘ReaderT
m2 Data.Functor.Identity.Identity (Val Int)’
with ‘Val integer-gmp-1.0.0.1:GHC.Integer.Type.Integer’
Expected type: Val integer-gmp-1.0.0.1:GHC.Integer.Type.Integer
Actual type: OCL m2 (Val Int)
• In the first argument of ‘includes’, namely ‘(oclInt 5)’
In the second argument of ‘(|->|)’, namely ‘(includes (oclInt 5))’
In the expression:
(oclVal (Bag [Val 1, Val 2, Val 3]) |->| (includes (oclInt 5)))
ACCELEO.hs:642:81: error:
• Couldn't match type ‘ReaderT
m1 Data.Functor.Identity.Identity (Val Int)’
with ‘Val integer-gmp-1.0.0.1:GHC.Integer.Type.Integer’
Expected type: Val integer-gmp-1.0.0.1:GHC.Integer.Type.Integer
Actual type: OCL m1 (Val Int)
• In the first argument of ‘includes’, namely ‘(oclInt 3)’
In the second argument of ‘(|->|)’, namely ‘(includes (oclInt 3))’
In the expression:
(oclVal (Bag [Val 1, Val 2, Val 3]) |->| (includes (oclInt 3)))
ACCELEO.hs:645:81: error:
• Couldn't match type ‘ReaderT
m0 Data.Functor.Identity.Identity (Val Int)’
with ‘Val integer-gmp-1.0.0.1:GHC.Integer.Type.Integer’
Expected type: Val integer-gmp-1.0.0.1:GHC.Integer.Type.Integer
Actual type: OCL m0 (Val Int)
• In the first argument of ‘includes’, namely ‘(oclInt 1)’
In the second argument of ‘(|->|)’, namely ‘(includes (oclInt 1))’
In the expression:
(oclVal (Bag [Val 1, Val 2, Val 3]) |->| (includes (oclInt 1)))