doc/forum/REversable_property_changes.mdwn


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

Hello, I just installed propellor 2.13.0 and  now I get this error message.

It was sort of expected due to the chnages in the API.
I would like your advice about this problem.
Indeed I combine Property and RevertableProperty.

so what should be the best way to fix this issue.

    src/Propellor/Property/Sbuild.hs:57:51:
    Couldn't match type ‘Property (CInfo HasInfo NoInfo)’
                  with ‘RevertableProperty HasInfo’
    Expected type: RevertableProperty HasInfo
      Actual type: CombinedType
                     (RevertableProperty HasInfo) (Property NoInfo)
    In the expression: (setup <!> cleanup) `requires` installed
    In an equation for ‘schroot’:
        schroot sn chroot@(Chroot.Chroot chrootdir _ _)
          = (setup <!> cleanup) `requires` installed
          where
              setup
                = conf `requires` (provision `onChange` targz)
                where
                    provision
                      = toProp (Chroot.provisioned chroot) `before` umount
                      where
                          ...
                    targz = createTarball chrootdir tarball
                    ....
              cleanup
                = File.notPresent (schrootChrootD </> sn)
                  `requires` File.notPresent tarball
                  `requires` toProp (revert (Chroot.provisioned chroot))
              tarball = chrootdir <.> "tar.gz"


thanks