From 2028464268c9e4696c59ee6626a9e315c88ad935 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Thu, 25 Sep 2014 15:11:00 -0400 Subject: update --- doc/todo/type_level_port_conflict_detection.mdwn | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'doc') diff --git a/doc/todo/type_level_port_conflict_detection.mdwn b/doc/todo/type_level_port_conflict_detection.mdwn index 43118cdd..5aec5775 100644 --- a/doc/todo/type_level_port_conflict_detection.mdwn +++ b/doc/todo/type_level_port_conflict_detection.mdwn @@ -1 +1,5 @@ See --[[Joey]] + +Needs ghc newer than 7.6.3. It may be possible to port Data.Type.Equality +and Data.Type.Bool to older versions; I got them to compile but they didn't +work right. --[[Joey]] -- cgit v1.2.3