diff options
| author | joe <joe@jerkface.net> | 2017-11-04 17:04:16 -0400 |
|---|---|---|
| committer | joe <joe@jerkface.net> | 2017-11-04 17:04:16 -0400 |
| commit | 366d793c9f9acc9b228675f1af23c01ef02dd3b1 (patch) | |
| tree | 0970725923144707cb5dfb479c9d1289ec0be4c7 /Presence/Todo.hs | |
| parent | 67afff3c6e2ce009e7fff83669e8c381e27166f2 (diff) | |
Deleted obsolete files.
Diffstat (limited to 'Presence/Todo.hs')
| -rw-r--r-- | Presence/Todo.hs | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/Presence/Todo.hs b/Presence/Todo.hs deleted file mode 100644 index 7428565e..00000000 --- a/Presence/Todo.hs +++ /dev/null | |||
| @@ -1,12 +0,0 @@ | |||
| 1 | module Todo where | ||
| 2 | |||
| 3 | todo = todo -- bottom that means unimplemented function | ||
| 4 | |||
| 5 | withType :: v -> v -> v | ||
| 6 | withType = const | ||
| 7 | |||
| 8 | type Todo = () | ||
| 9 | |||
| 10 | -- Bad idea: -xc backtrace shows it looking just like the other | ||
| 11 | -- bottom defined above. | ||
| 12 | -- crash = crash -- bottom used to crash to indicate error | ||