From 5d1ea93e20a3d275f38e19f6545330046a5230a4 Mon Sep 17 00:00:00 2001
From: Michael Sippel <micha@fragmental.art>
Date: Tue, 18 Mar 2025 14:07:14 +0100
Subject: [PATCH] add float & double representations to C-generator
---
src/c_gen.rs | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/src/c_gen.rs b/src/c_gen.rs
index 8b7f938..3ee1259 100644
--- a/src/c_gen.rs
+++ b/src/c_gen.rs
@@ -30,6 +30,10 @@ pub fn get_c_repr_type(dict: &mut impl TypeDict, t: laddertypes::TypeTerm, skip_
Some("uint32_t".into())
} else if t == &dict.parse("x86.UInt64").expect("parse") {
Some("uint64_t".into())
+ } else if t == &dict.parse("native.Float").expect("parse") {
+ Some("float".into())
+ } else if t == &dict.parse("native.Double").expect("parse") {
+ Some("double".into())
} else {
match t {
laddertypes::TypeTerm::App(args) => {