diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-08-24 17:20:52 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-08-24 17:20:52 -0400 |
| commit | 5bc70e2d64392441d182fc9c6e65d4ba5b92e4c2 (patch) | |
| tree | 823a04db18172e8bf3dceaa6dddc55e80d39f2c5 /src/compile/promotion.h | |
| parent | 31beca9f417c2c4fd32eaae01b3e855acf892220 (diff) | |
Rename promotion -> promotions
Diffstat (limited to 'src/compile/promotion.h')
| -rw-r--r-- | src/compile/promotion.h | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/compile/promotion.h b/src/compile/promotion.h deleted file mode 100644 index 2cfe0cbf..00000000 --- a/src/compile/promotion.h +++ /dev/null @@ -1,7 +0,0 @@ - -#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); |