diff options
| author | Joey Hess <joey@kitenet.net> | 2014-09-25 15:11:00 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-09-25 15:11:00 -0400 |
| commit | 2028464268c9e4696c59ee6626a9e315c88ad935 (patch) | |
| tree | deab9971abb93128d4c3582ac33018c53fdce7fd | |
| parent | e917c58447b500527de87659c0c562ffc72e88ab (diff) | |
update
| -rw-r--r-- | doc/todo/type_level_port_conflict_detection.mdwn | 4 |
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]] |