From 9d7f399da7d64e6e072fad472f7efbcc433b0d72 Mon Sep 17 00:00:00 2001 From: Job Henandez Lara Date: Sun, 13 Aug 2023 15:48:07 -0700 Subject: [PATCH] support ifix in pattern matching (draft) --- src/typechecker/define.lisp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/typechecker/define.lisp b/src/typechecker/define.lisp index dc707f781..b34943ba2 100644 --- a/src/typechecker/define.lisp +++ b/src/typechecker/define.lisp @@ -245,6 +245,7 @@ Returns (VALUES INFERRED-TYPE PREDICATES NODE SUBSTITUTIONS)") (let ((ty (etypecase (parser:node-literal-value node) (ratio tc:*fraction-type*) + (fixnum tc:*ifix-type*) (single-float tc:*single-float-type*) (double-float tc:*double-float-type*) (string tc:*string-type*) @@ -1500,6 +1501,7 @@ Returns (VALUES INFERRED-TYPE NODE SUBSTITUTIONS)") (values tc:ty pattern-literal tc:substitution-list)) (let ((ty (etypecase (parser:pattern-literal-value pat) + (fixnum tc:*ifix-type*) (integer tc:*integer-type*) (ratio tc:*fraction-type*) (single-float tc:*single-float-type*)