includes probadorCollection 2

      <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)))