Johann Rudloff 489b85aae5 PrettyPrint: Fix SimpleDocTree.fromStream dropping parts of documents ... When flattening the `SimpleDocTree` created from a `SimpleDocStream`, the first part of a concatenated doc was sometimes dropped, depending on the result of the recursive call to `flatten`.		2021-04-25 09:10:22 +01:00
..
Lexer	Some cleanup was done. Changed code is mosly equivalent to the former.	2021-02-16 19:05:33 +00:00
Parser	[ fix #758 ] desugar non-binding sequencing in do blocks to (>>) (#1095)	2021-02-24 11:07:16 +00:00
PrettyPrint	PrettyPrint: Fix SimpleDocTree.fromStream dropping parts of documents	2021-04-25 09:10:22 +01:00
Lexer.idr	Some cleanup was done. Changed code is mosly equivalent to the former.	2021-02-16 19:05:33 +00:00
Parser.idr	Cleanup List1 (#1091)	2021-03-17 14:07:52 +00:00
Quantity.idr	Add libraries	2020-05-18 14:00:08 +01:00
Token.idr	[ fix #657 ] RigCount for interface parameters (#808)	2020-12-11 11:58:26 +00:00