summaryrefslogtreecommitdiff
path: root/doc/todo/type_level_port_conflict_detection.mdwn
diff options
context:
space:
mode:
authorJoey Hess2014-09-25 15:11:00 -0400
committerJoey Hess2014-09-25 15:11:00 -0400
commit2028464268c9e4696c59ee6626a9e315c88ad935 (patch)
treedeab9971abb93128d4c3582ac33018c53fdce7fd /doc/todo/type_level_port_conflict_detection.mdwn
parente917c58447b500527de87659c0c562ffc72e88ab (diff)
update
Diffstat (limited to 'doc/todo/type_level_port_conflict_detection.mdwn')
-rw-r--r--doc/todo/type_level_port_conflict_detection.mdwn4
1 files changed, 4 insertions, 0 deletions
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 <http://stackoverflow.com/questions/26027765/using-types-to-prevent-conflicting-port-numbers-in-a-list> --[[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]]