[darcs-devel] [issue275] Unrecording fails

Jason Dagit dagit at codersbase.com
Sun Oct 1 17:11:53 PDT 2006


Simon,

What does 'darcs --exact-version' say?  I just want to make sure you
don't have a terribly old darcs here.

Thanks,
Jason

On 9/29/06, simonpj <bugs at darcs.net> wrote:
>
> New submission from simonpj <simonpj at microsoft.com>:
>
> Dear Darcsers,
>
> It's not my day.
>
> I recorded patch, but by mistake gave it the silly name "f".  So I tried
> to un-record it.  Transcript is below.  But the net effect is that darcs
> fell over (in "get_extra", whatever that is) in the middle of what
> should be an utterly straightforward operation.  I did nothing
> whatsoever between record and unrecord.
>
> Simon
>
> sh-2.04$ darcs record
> hunk ./compiler/basicTypes/BasicTypes.lhs 112
> -data IPName name
> -  = Dupable   name     -- ?x: you can freely duplicate this implicit
> parameter
> -  | Linear name                -- %x: you must use the splitting
> function to duplicate it
> +newtype IPName name = IPName name      -- ?x
> Shall I record this change? (1/?)  [ynWsfqadjkc], or ? for help: f
>
> hunk ./compiler/coreSyn/CoreLint.lhs 32
> -                         splitFunTy_maybe, mkTyVarTys,
> +                         splitFunTy_maybe, [_$_]
> Shall I record this change? (6/?)  [ynWsfqadjkc], or ? for help: f
>
> hunk ./compiler/coreSyn/CoreSubst.lhs 27
> -import CoreSyn         ( Expr(..), Bind(..), Note(..), CoreExpr,
> CoreBind,
> +import CoreSyn         ( Expr(..), Bind(..), CoreExpr, CoreBind,
> Shall I record this change? (9/?)  [ynWsfqadjkc], or ? for help: f
>
> hunk ./compiler/coreSyn/CoreSyn.lhs 53
> -import TyCon            ( isNewTyCon )
> Shall I record this change? (11/?)  [ynWsfqadjkc], or ? for help: f
>
> hunk ./compiler/hsSyn/HsExpr.lhs 21
> -import Type            ( Type, pprParendType )
> -import Var             ( TyVar, Id )
> +import Var             ( Id )
> Shall I record this change? (13/?)  [ynWsfqadjkc], or ? for help: f
>
> hunk ./compiler/iface/BinIface.hs 21
> -import Type            ( Kind,
> -                          isLiftedTypeKind, isUnliftedTypeKind,
> isOpenTypeKind,
> -                         isArgTypeKind, isUbxTupleKind, liftedTypeKind,
> -                         unliftedTypeKind, openTypeKind, argTypeKind,
> [_$_]
> -                         ubxTupleKind, mkArrowKind, splitFunTy_maybe )
> Shall I record this change? (14/?)  [ynWsfqadjkc], or ? for help: f
>
> hunk ./compiler/iface/BuildTyCl.lhs 18
> -import DataCon         ( DataCon, isNullarySrcDataCon,
> dataConUnivTyVars,
> -                         mkDataCon, dataConFieldLabels,
> dataConInstOrigArgTys,
> -                          dataConTyCon )
> +import DataCon         ( DataCon, isNullarySrcDataCon, [_$_]
> +                         mkDataCon, dataConFieldLabels,
> dataConInstOrigArgTys )
> Shall I record this change? (16/?)  [ynWsfqadjkc], or ? for help: f
>
> hunk ./compiler/iface/IfaceEnv.lhs 25
> -import Type            ( mkOpenTvSubst, substTy )
> Shall I record this change? (21/?)  [ynWsfqadjkc], or ? for help: f
>
> hunk ./compiler/iface/IfaceSyn.lhs 39
> -import TcType          ( deNoteType )
> Shall I record this change? (24/?)  [ynWsfqadjkc], or ? for help: f
>
> hunk ./compiler/iface/IfaceType.lhs 29
> -import Type            ( Kind )
> -import Coercion         ( Coercion )
> Shall I record this change? (28/?)  [ynWsfqadjkc], or ? for help: f
>
> hunk ./compiler/parser/Lexer.x 253
> -  \% @varid / { ifExtension ipEnabled } { skip_one_varid ITsplitipvarid
> }
> Shall I record this change? (30/?)  [ynWsfqadjkc], or ? for help: f
>
> hunk ./compiler/parser/Parser.y.pp 258
> - IPSPLITVARID          { L _ (ITsplitipvarid _) }              -- GHC
> extension
> Shall I record this change? (32/?)  [ynWsfqadjkc], or ? for help: f
>
> hunk ./compiler/prelude/PrelInfo.lhs 31
> -import MkId            ( mkPrimOpId, wiredInIds )
> Shall I record this change? (35/?)  [ynWsfqadjkc], or ? for help: f
>
> hunk ./compiler/prelude/PrelNames.lhs 195
> -       -- Splittable class
> -       splittableClassName, splitName,
> -
> Shall I record this change? (36/?)  [ynWsfqadjkc], or ? for help: f
>
> hunk ./compiler/typecheck/Inst.lhs 31
> -       isLinearInst, linearInstType, isIPDict, isInheritableInst,
> +       isIPDict, isInheritableInst,
> Shall I record this change? (40/?)  [ynWsfqadjkc], or ? for help: f
>
> hunk ./compiler/typecheck/TcExpr.lhs 48
> -                         isSigmaTy, mkFunTy, mkTyConApp, isLinearPred,
> +                         isSigmaTy, mkFunTy, mkTyConApp, [_$_]
> Shall I record this change? (43/?)  [ynWsfqadjkc], or ? for help: f
>
> hunk ./compiler/typecheck/TcHsSyn.lhs 1
> -%
> +       %
> Shall I record this change? (47/?)  [ynWsfqadjkc], or ? for help: f
>
> hunk ./compiler/typecheck/TcRnTypes.lhs 53
> -import TcType          ( TcTyVarSet, TcType, TcThetaType, SkolemInfo,
> TvSubst,
> +import TcType          ( TcTyVarSet, TcType, TcThetaType, SkolemInfo,
> [_$_]
> Shall I record this change? (49/?)  [ynWsfqadjkc], or ? for help: f
>
> hunk ./compiler/typecheck/TcSimplify.lhs 25
> -                         HsWrapper(..), (<.>), nlHsTyApp, emptyLHsBinds
> )
> -import TcHsSyn         ( mkHsApp )
> +                         HsWrapper(..), (<.>), emptyLHsBinds )
> Shall I record this change? (52/?)  [ynWsfqadjkc], or ? for help: f
>
> hunk ./compiler/typecheck/TcType.lhs 71
> -  mkClassPred, isInheritablePred, isLinearPred, isIPPred, mkPredName,
> [_$_]
> +  mkClassPred, isInheritablePred, isIPPred, mkPredName, [_$_]
> Shall I record this change? (73/?)  [ynWsfqadjkc], or ? for help: f
>
> What is the patch name? f
> Do you want to add a long comment? [yn]y
>
> Finished recording patch 'f'
> sh-2.04$ darcs unrecord -p 'f'
>
> Fri Sep 29 16:14:15 GMT Daylight Time 2006  simonpj at microsoft.com
>   * f
> Shall I unrecord this patch? (1/?)  [ynWvpxqadjkc], or ? for help: y
>
> Fri Sep 29 15:39:10 GMT Daylight Time 2006  simonpj at microsoft.com
>   * Global renamings in HsSyn
> Shall I unrecord this patch? (2/?)  [ynWvpxqadjkc], or ? for help: n
>
> Fri Sep 29 14:35:49 GMT Daylight Time 2006  simonpj at microsoft.com
>   * Improve pretty-printing of Core
> Shall I unrecord this patch? (3/?)  [ynWvpxqadjkc], or ? for help: ?
>
> How to use unrecord...
> y: unrecord this patch
> n: don't unrecord it
> w: wait and decide later, defaulting to no
>
> v: view this patch in full
> p: view this patch in full with pager
> x: view a summary of this patch
>
> d: unrecord selected patches, skipping all the remaining patches
> a: unrecord all the remaining patches
> q: cancel unrecord
>
> j: skip to next patch
> k: back up to previous patch
> c: calculate number of patches
> h or ?: show this help
>
> <Space>: accept the current default (which is capitalized)
>
> Fri Sep 29 14:35:49 GMT Daylight Time 2006  simonpj at microsoft.com
>   * Improve pretty-printing of Core
> Shall I unrecord this patch? (3/?)  [ynWvpxqadjkc], or ? for help: d
>
> darcs.exe: failed to read patch in get_extra:
> Fri Apr  7 11:18:39 GMT Daylight Time 2006  Simon Marlow
> <simonmar at microsoft.com>
>   * Fix a bug related to threads blocked on blackholes
>   We weren't making them live early enough, with the result that
>   finalizable objects referred to only by a thread blocked on a black
>   hole could be finalized too early (see conc057 test).
> Perhaps this is a 'partial' repository?
> sh-2.04$
>
> ----------
> messages: 1012
> nosy: EricKow, droundy, simonpj, tommy
> status: unread
> title: Unrecording fails
>
> ____________________________________
> Darcs issue tracker <bugs at darcs.net>
> <http://bugs.darcs.net/issue275>
> ____________________________________
>
> _______________________________________________
> darcs-devel mailing list
> darcs-devel at darcs.net
> http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel
>
>




More information about the darcs-devel mailing list