From 9570bf932e3ba0269cbed06a49fc8000b45b32a3 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 8 Mar 2018 18:14:44 +0000
Subject: Specialise constructors for polymorphic unions

Also work on making C backend compile RISC-V
---
 src/specialize.mli | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/specialize.mli')

diff --git a/src/specialize.mli b/src/specialize.mli
index 0c4a2495..474d3c9d 100644
--- a/src/specialize.mli
+++ b/src/specialize.mli
@@ -67,3 +67,9 @@ val polymorphic_functions : (kinded_id -> bool) -> 'a defs -> IdSet.t
    environment to return if there is no polymorphism to remove, in
    which case specialize returns the AST unmodified. *)
 val specialize : tannot defs -> Env.t -> tannot defs * Env.t
+
+val specialize_variants : tannot defs -> Env.t -> tannot defs * Env.t
+
+val instantiations_of : id -> tannot defs -> uvar KBindings.t list
+
+val string_of_instantiation : uvar KBindings.t -> string
-- 
cgit v1.2.3