darcs

Issue 275 unrecord => failed to read patch in get_extra

Title unrecord => failed to read patch in get_extra
Priority bug Status resolved
Milestone Resolved in
Superseder darcs fails to unrecord a patch I just recorded (failed to read patch in get_extra) (1.0.8)
View: 317
Nosy List darcs-devel, dmitry.kurochkin, kowey, markstos, simonpj, thorkilnaur, tommy
Assigned To
Topics

Created on 2006-09-29.15:19:35 by simonpj, last changed 2009-08-27.14:05:14 by admin.

Messages
msg1012 (view) Author: simonpj Date: 2006-09-29.15:19:29
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@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@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@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@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@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$
msg1033 (view) Author: kowey Date: 2006-10-01.20:40:35
Some notes from issue278, Simon says:

- this was a partial repo
- only the 'topmost' patch was unrecorded
- doing a darcs get and unrecording in the new repo works

See also issue241 (which has the same error, but using darcs get --to-match),
and issue175 which has a different error message but also involving get_extra.
msg1039 (view) Author: dagit Date: 2006-10-02.00:12:11
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@darcs.net> wrote:
>
> New submission from simonpj <simonpj@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@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@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@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@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@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@darcs.net>
> <http://bugs.darcs.net/issue275>
> ____________________________________
>
> _______________________________________________
> darcs-devel mailing list
> darcs-devel@darcs.net
> http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel
>
>
msg2955 (view) Author: markstos Date: 2008-01-31.04:32:35
I believe this bug was a dupe of issue317, which is considered resolved by the
unstable branch, when you use the new --hashed or --darcs-2 repo formats.
History
Date User Action Args
2006-09-29 15:19:35simonpjcreate
2006-10-01 20:40:40koweysetstatus: unread -> unknown
nosy: droundy, tommy, kowey, simonpj
messages: + msg1033
title: Unrecording fails -> Unrecording fails (failed to read patch in get_extra, partial repo)
2006-10-01 20:42:34koweylinkissue278 superseder
2006-10-02 00:12:17dagitsetnosy: + dagit
messages: + msg1039
title: Unrecording fails (failed to read patch in get_extra, partial repo) -> Unrecording fails
2007-07-18 07:42:59koweysetnosy: + beschmi
title: Unrecording fails -> unrecord => failed to read patch in get_extra
2008-01-31 04:32:36markstossetstatus: unknown -> resolved-in-unstable
nosy: + markstos
superseder: + darcs fails to unrecord a patch I just recorded (failed to read patch in get_extra) (1.0.8)
messages: + msg2955
2008-09-04 21:29:22adminsetstatus: resolved-in-unstable -> resolved
nosy: droundy, tommy, beschmi, kowey, markstos, dagit, simonpj
2009-08-06 17:46:50adminsetnosy: + jast, Serware, dmitry.kurochkin, darcs-devel, zooko, mornfall, simon, thorkilnaur, - droundy, simonpj
2009-08-06 20:42:34adminsetnosy: - beschmi
2009-08-10 21:55:59adminsetnosy: + simonpj, - darcs-devel, zooko, jast, Serware, mornfall
2009-08-10 23:56:23adminsetnosy: - dagit
2009-08-25 17:58:37adminsetnosy: + darcs-devel, - simon
2009-08-27 14:05:14adminsetnosy: tommy, kowey, markstos, darcs-devel, simonpj, thorkilnaur, dmitry.kurochkin