[darcs-devel] [patch1900] restrict the defaults for fromPrim/fromPrims

[Ben Franksen]

Ben Franksen <ben.franksen at online.de> added the comment:

> This is an incremental improvement for the
> fromPrim/fromPrims default methods, that I think
> removes their inherent unsafety. The idea is
> simply to add a DefaultSignatures-based constraint
> PatchId p ~ ().

Good idea.

> Incidentally I was surprised to discover that we
> were getting away without type instance PatchId for
> both V1 and V2 patches, even though fromPrim
> mentions them in its signature.

Yes, quite strange. I was wondering about that, but didn't investigate.
I hope this is not some sort of defaulting.

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1900>
__________________________________