[darcs-devel] [issue1693] Check displaying of Unicode patch metadata
Ben Franksen
bugs at darcs.net
Thu Feb 5 14:49:56 UTC 2015
Ben Franksen <benjamin.franksen at helmholtz-berlin.de> added the comment:
Patch1239 was a first attempt at bringing this closer to a conclusion.
It makes it apparent (and easily changeable) when and where a possible
encoding step gets inserted.
However, the question remains, how do we know in general when to pass
Encode and when to pass Standard? Deciding this requires non-local
knowledge about what kind of data we are processing which is error prone.
My gut feeling is that the *producer* should put that information into
the Doc, rather than the consumer guessing it. If I am right with that,
the distinction can and should be made apparent in the type of the data,
for instance by adding a type parameter
data Doc (enc :: RenderMode) = ...
Here, RenderMode is promoted to a kind. This needs the DataKinds
extension which is available since ghc-7.6.x.
I have moved the milestone to 3.0.0 because I do not think we have a
definite solution yet.
----------
milestone: 2.10.0 HEAD -> 3.0.0
__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue1693>
__________________________________
More information about the darcs-devel
mailing list