File: Build_failing_on_Windows_since_ef3ab0769.mdwn

package info (click to toggle)
git-annex 10.20230126-3
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 69,344 kB
  • sloc: haskell: 74,654; javascript: 9,103; sh: 1,304; makefile: 203; perl: 136; ansic: 44
file content (76 lines) | stat: -rw-r--r-- 3,017 bytes parent folder | download | duplicates (4)
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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
Due to the type change of `tryMakeLockHandle` in commit ef3ab0769, compilation of git-annex is currently failing on Windows with the below error.  I am unsure of the best way to fix it.

[[!format txt """
Utility\LockPool\Windows.hs:25:19: error:
    * Couldn't match type `(LockHandle, t1)' with `LockHandle'
      Expected type: IO (Maybe LockHandle)
        Actual type: IO (Maybe (LockHandle, t1))
    * In the expression:
        tryMakeLockHandle
          P.lockPool file (\ p f -> P.tryTakeLock p f LockShared)
          (\ f _ -> fmap mk <$> F.lockShared f)
      In an equation for `lockShared':
          lockShared file
            = tryMakeLockHandle
                P.lockPool file (\ p f -> P.tryTakeLock p f LockShared)
                (\ f _ -> fmap mk <$> F.lockShared f)
   |
25 | lockShared file = tryMakeLockHandle P.lockPool file

   |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

Utility\LockPool\Windows.hs:27:18: error:
    * Couldn't match type `FileLockOps' with `(FileLockOps, t1)'
      Expected type: IO (Maybe (FileLockOps, t1))
        Actual type: IO (Maybe FileLockOps)
    * In the expression: fmap mk <$> F.lockShared f
      In the fourth argument of `tryMakeLockHandle', namely
        `(\ f _ -> fmap mk <$> F.lockShared f)'
      In the expression:
        tryMakeLockHandle
          P.lockPool file (\ p f -> P.tryTakeLock p f LockShared)
          (\ f _ -> fmap mk <$> F.lockShared f)
   |
27 |         (\f _ -> fmap mk <$> F.lockShared f)

   |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^

Utility\LockPool\Windows.hs:36:22: error:
    * Couldn't match type `(LockHandle, t0)' with `LockHandle'
      Expected type: IO (Maybe LockHandle)
        Actual type: IO (Maybe (LockHandle, t0))
    * In the expression:
        tryMakeLockHandle
          P.lockPool file (\ p f -> P.tryTakeLock p f LockExclusive)
          (\ f _ -> fmap mk <$> F.lockExclusive f)
      In an equation for `lockExclusive':
          lockExclusive file
            = tryMakeLockHandle
                P.lockPool file (\ p f -> P.tryTakeLock p f LockExclusive)
                (\ f _ -> fmap mk <$> F.lockExclusive f)
   |
36 | lockExclusive file = tryMakeLockHandle P.lockPool file

   |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

Utility\LockPool\Windows.hs:38:18: error:
    * Couldn't match type `FileLockOps' with `(FileLockOps, t0)'
      Expected type: IO (Maybe (FileLockOps, t0))
        Actual type: IO (Maybe FileLockOps)
    * In the expression: fmap mk <$> F.lockExclusive f
      In the fourth argument of `tryMakeLockHandle', namely
        `(\ f _ -> fmap mk <$> F.lockExclusive f)'
      In the expression:
        tryMakeLockHandle
          P.lockPool file (\ p f -> P.tryTakeLock p f LockExclusive)
          (\ f _ -> fmap mk <$> F.lockExclusive f)
   |
38 |         (\f _ -> fmap mk <$> F.lockExclusive f)

   |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
"""]]

[[!meta author=jwodder]]
[[!tag projects/datalad]]

> [[fixed|done]] --[[Joey]]