From 3cb32772ccd0f2882a40d7f75b044b738adadad3 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Tue, 22 Oct 2019 11:57:16 +0200
Subject: Add extraction for primitive floats

Co-authored-by: Pierre Roux <pierre.roux@onera.fr>
---
 plugins/extraction/haskell.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'plugins/extraction/haskell.ml')

diff --git a/plugins/extraction/haskell.ml b/plugins/extraction/haskell.ml
index e4efbcff0c..4769bef475 100644
--- a/plugins/extraction/haskell.ml
+++ b/plugins/extraction/haskell.ml
@@ -215,6 +215,8 @@ let rec pp_expr par env args =
     | MLaxiom -> pp_par par (str "Prelude.error \"AXIOM TO BE REALIZED\"")
     | MLuint _ ->
       pp_par par (str "Prelude.error \"EXTRACTION OF UINT NOT IMPLEMENTED\"")
+    | MLfloat _ ->
+      pp_par par (str "Prelude.error \"EXTRACTION OF FLOAT NOT IMPLEMENTED\"")
 
 and pp_cons_pat par r ppl =
   pp_par par
-- 
cgit v1.2.3