From 38e093efbc9e3c58e9079ff54317b566680342ea Mon Sep 17 00:00:00 2001
From: LemonBoy <address@hidden>
Date: Sun, 21 May 2017 15:56:59 +0200
Subject: [PATCH] Infer types for inline foreign references

The inline{_loc}_ref nodes already carry their type, let's use this
piece of information during the scrutiny phase instead of typing them as
'*.
---
 scrutinizer.scm | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/scrutinizer.scm b/scrutinizer.scm
index 385a17c5..006f4a40 100644
--- a/scrutinizer.scm
+++ b/scrutinizer.scm
@@ -515,6 +515,10 @@
 		 ((##core#undefined) '(*))
 		 ((##core#proc) '(procedure))
 		 ((##core#variable) (variable-result (first params) e loc flow))
+		 ((##core#inline_ref)
+		  (list (foreign-type->scrutiny-type (second params) 'result)))
+		 ((##core#inline_loc_ref)
+		  (list (foreign-type->scrutiny-type (first  params) 'result)))
 		 ((if)
 		  (let ((tags (cons (tag) (tag)))
 			(tst (first subs))
-- 
2.13.0