From c9eb341b1eb25796c44c77e2d14f9d65d666068c Mon Sep 17 00:00:00 2001 From: Jeremy Yallop Date: Mon, 20 Feb 2017 08:10:51 +0000 Subject: [PATCH] Move TODO list to GitHub issues. --- README.adoc | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/README.adoc b/README.adoc index b22854663d..924a97cc1a 100644 --- a/README.adoc +++ b/README.adoc @@ -53,17 +53,6 @@ Found a bug and know how to fix it? We certainly appreciate pull requests. If you plan on making big changes, please file an issue first to discuss why theses changes are needed. -== Limitations / To Do - -Things to be done sorted by descending priority: - -* Support for declaring static type extensions (including static exceptions) -* Solve issues of static linking and side effects, possibly by banning the - `static` keyword -* Upgrade of `ocamldep` to take into account the modifications in dependency - trees because of the above -* Fix GADT matching in quotations - == List of Contributors The implementation of macros is an https://github.com/ocamllabs[OCaml Labs]