a

fornwall · Aug 21, 2023 · 7a927a7 · 7a927a7
1 parent 06ee103
commit 7a927a7
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 3 deletions.
diff --git a/src/proc/typifier.rs b/src/proc/typifier.rs
@@ -415,7 +415,7 @@ impl<'a> ResolveContext<'a> {
                         })
                     }
                     ref other => {
-                        log::error!("Access index type {:?}, index {}", other, index);
+                        log::error!("Access index type {:?}", other);
                         return Err(ResolveError::InvalidAccess {
                             expr: base,
                             indexed: true,
@@ -720,14 +720,20 @@ impl<'a> ResolveContext<'a> {
                     Mf::Round |
                     Mf::Fract |
                     Mf::Trunc |
-                    Mf::Frexp |
                     Mf::Ldexp |
                     // exponent
                     Mf::Exp |
                     Mf::Exp2 |
                     Mf::Log |
                     Mf::Log2 |
                     Mf::Pow => res_arg.clone(),
+                    Mf::Frexp => {
+                        let result = self
+                        .special_types
+                        .frexp_result
+                        .ok_or(ResolveError::MissingSpecialType)?;
+                        TypeResolution::Handle(result)
+                    },
                     Mf::Modf => {
                         let result = self
                         .special_types

diff --git a/src/valid/expression.rs b/src/valid/expression.rs
@@ -270,7 +270,7 @@ impl super::Validator {
                             resolve_index_limit(module, top, &module.types[base].inner, false)?
                         }
                         Ti::Struct { ref members, .. } => members.len() as u32,
-                        Ti::ModfResult => 2,
+                        Ti::FrexpResult | Ti::ModfResult => 2,
                         ref other => {
                             log::error!("Indexing of {:?}", other);
                             return Err(ExpressionError::InvalidBaseType(top));