[darcs-users] suspending patches without changing their identity

[Gian Piero Carrubba]

* [Fri, Sep 18, 2015 at 04:04:42PM +0100] Ganesh Sittampalam:
>If you'd like to play with it, see the wiki page:
>
>http://darcs.net/Ideas/Stash


Hi Ganesh,

I can not build from the current repo at 
http://hub.darcs.net/ganesh/darcs-stash-draft-20150914
(last patch:
patch 2c479ec461348987a145980ff6d6ca0d1611255e
Author: Ganesh Sittampalam <ganesh at earth.li>
Date:   Fri Sep 18 13:08:57 CEST 2015)

Ciao,
Gian Piero.


[189 of 242] Compiling Darcs.Repository.Job ( src/Darcs/Repository/Job.hs, dist/build/Darcs/Repository/Job.o )

src/Darcs/Repository/Job.hs:264:25:
    Couldn't match expected type ‘t’ with actual type ‘[Char]’
      ‘t’ is untouchable
        inside the constraints (p ~ RealPatch Prim)
        bound by a pattern with constructor
                   RepoV2 :: RepoPatchType (RealPatch Prim),
                 in a case alternative
        at src/Darcs/Repository/Job.hs:264:15-20
      ‘t’ is a rigid type variable bound by
          the inferred type of patchTypeString :: t
          at src/Darcs/Repository/Job.hs:262:9
    Relevant bindings include
      patchTypeString :: t (bound at src/Darcs/Repository/Job.hs:262:9)
    In the expression: "darcs-2"
    In a case alternative: RepoV2 -> "darcs-2"
    In the expression:
      case isDarcs2 of {
        RepoV2 -> "darcs-2"
        RepoV1 -> "darcs-1" }

src/Darcs/Repository/Job.hs:265:25:
    Couldn't match expected type ‘t’ with actual type ‘[Char]’
      ‘t’ is untouchable
        inside the constraints (p ~ Patch Prim)
        bound by a pattern with constructor
                   RepoV1 :: RepoPatchType (Patch Prim),
                 in a case alternative
        at src/Darcs/Repository/Job.hs:265:15-20
      ‘t’ is a rigid type variable bound by
          the inferred type of patchTypeString :: t
          at src/Darcs/Repository/Job.hs:262:9
    Relevant bindings include
      patchTypeString :: t (bound at src/Darcs/Repository/Job.hs:262:9)
    In the expression: "darcs-1"
    In a case alternative: RepoV1 -> "darcs-1"
    In the expression:
      case isDarcs2 of {
        RepoV2 -> "darcs-2"
        RepoV1 -> "darcs-1" }

src/Darcs/Repository/Job.hs:269:29:
    Couldn't match expected type ‘a1’ with actual type ‘[Char]’
      ‘a1’ is untouchable
        inside the constraints (rebaseType ~ 'IsRebase)
        bound by a pattern with constructor
                   SIsRebase :: SRebaseType 'IsRebase,
                 in a case alternative
        at src/Darcs/Repository/Job.hs:269:15-23
      ‘a1’ is a rigid type variable bound by
           the inferred type of repoAttributes :: [a1]
           at src/Darcs/Repository/Job.hs:267:9
    Relevant bindings include
      repoAttributes :: [a1] (bound at src/Darcs/Repository/Job.hs:267:9)
    In the expression: "rebase"
    In the expression: ["rebase"]
    In a case alternative: SIsRebase -> ["rebase"]

src/Darcs/Repository/Job.hs:273:28:
    Couldn't match expected type ‘a1’ with actual type ‘[Char]’
      ‘a1’ is untouchable
        inside the constraints (stashType ~ 'IsStash)
        bound by a pattern with constructor
                   SIsStash :: SStashType 'IsStash,
                 in a case alternative
        at src/Darcs/Repository/Job.hs:273:15-22
      ‘a1’ is a rigid type variable bound by
           the inferred type of repoAttributes :: [a1]
           at src/Darcs/Repository/Job.hs:267:9
    Relevant bindings include
      repoAttributes :: [a1] (bound at src/Darcs/Repository/Job.hs:267:9)
    In the expression: "stash"
    In the expression: ["stash"]
    In a case alternative: SIsStash -> ["stash"]