Rename promotion -> promotions

1 files changed, 7 insertions, 0 deletions

diff --git a/src/compile/promotions.h b/src/compile/promotions.h
new file mode 100644
index 00000000..2cfe0cbf
--- /dev/null
+++ b/src/compile/promotions.h
@@ -0,0 +1,7 @@
+
+#include "../ast.h"
+#include "../environment.h"
+#include "../types.h"
+
+bool promote(env_t *env, ast_t *ast, Text_t *code, type_t *actual, type_t *needed);
+Text_t compile_to_type(env_t *env, ast_t *ast, type_t *t);