diff options
Diffstat (limited to 'src/monomorphise.ml')
| -rw-r--r-- | src/monomorphise.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/monomorphise.ml b/src/monomorphise.ml index a3de87b7..8ec07f7f 100644 --- a/src/monomorphise.ml +++ b/src/monomorphise.ml @@ -48,6 +48,12 @@ (* SUCH DAMAGE. *) (**************************************************************************) +(* Could fix list: + - Can probably trigger non-termination in the analysis or constant + propagation with carefully constructed recursive (or mutually + recursive) functions +*) + open Parse_ast open Ast open Ast_util |