Created on 2006-09-29.15:19:35 by simonpj, last changed 2009-08-27.14:05:14 by admin.
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.
|
|
Date |
User |
Action |
Args |
2006-09-29 15:19:35 | simonpj | create | |
2006-10-01 20:40:40 | kowey | set | status: 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:34 | kowey | link | issue278 superseder |
2006-10-02 00:12:17 | dagit | set | nosy:
+ dagit messages:
+ msg1039 title: Unrecording fails (failed to read patch in get_extra, partial repo) -> Unrecording fails |
2007-07-18 07:42:59 | kowey | set | nosy:
+ beschmi title: Unrecording fails -> unrecord => failed to read patch in get_extra |
2008-01-31 04:32:36 | markstos | set | status: 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:22 | admin | set | status: resolved-in-unstable -> resolved nosy:
droundy, tommy, beschmi, kowey, markstos, dagit, simonpj |
2009-08-06 17:46:50 | admin | set | nosy:
+ jast, Serware, dmitry.kurochkin, darcs-devel, zooko, mornfall, simon, thorkilnaur, - droundy, simonpj |
2009-08-06 20:42:34 | admin | set | nosy:
- beschmi |
2009-08-10 21:55:59 | admin | set | nosy:
+ simonpj, - darcs-devel, zooko, jast, Serware, mornfall |
2009-08-10 23:56:23 | admin | set | nosy:
- dagit |
2009-08-25 17:58:37 | admin | set | nosy:
+ darcs-devel, - simon |
2009-08-27 14:05:14 | admin | set | nosy:
tommy, kowey, markstos, darcs-devel, simonpj, thorkilnaur, dmitry.kurochkin |
|