From 60b848f1b7ded26942acdcf44abc6f5d68c94448 Mon Sep 17 00:00:00 2001 From: dzaima Date: Sat, 22 Mar 2025 19:09:51 +0200 Subject: [PATCH] don't require strict subset type for trunc --- src/singeli/src/base.singeli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/singeli/src/base.singeli b/src/singeli/src/base.singeli index 4493a968..08174135 100644 --- a/src/singeli/src/base.singeli +++ b/src/singeli/src/base.singeli @@ -121,7 +121,7 @@ def { w64i, w64s, w64u, w64f} = genchks{w64} def {w128i,w128s,w128u,w128f} = genchks{w128} def {w256i,w256s,w256u,w256f} = genchks{w256} -def trunc{T, x:U if isint{T} and isint{U} and T<=U} = emit{T, '', x} +def trunc{T, x:U if isint{T} and isint{U} and width{T}<=width{U}} = emit{T, '', x} def trunc{T, x if knum{x}} = cast{T, x} def tern{c, T, F if any_int{c}} = if(c) T else F