From b8dc3441c7cc8f22f908ea8ebf81002ee75b1efe Mon Sep 17 00:00:00 2001
From: Thomas Wood <thomas.wood09@imperial.ac.uk>
Date: Thu, 3 Nov 2016 10:36:02 +0100
Subject: [PATCH] Stdlib: FIXME: === not equivalent to =

---
 generator/stdlib_ml/stdlib.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/generator/stdlib_ml/stdlib.ml b/generator/stdlib_ml/stdlib.ml
index 173a0a2..cf778cc 100644
--- a/generator/stdlib_ml/stdlib.ml
+++ b/generator/stdlib_ml/stdlib.ml
@@ -99,6 +99,7 @@ let min = Pervasives.min;;
 let max = Pervasives.max;;
 *)
 
+(* FIXME: THIS IS INCORRECT FOR FLOATS *)
 let ( === ) = Pervasives.( = );;
 
 (*
-- 
GitLab