(define impc:ir:fixed-point?
(lambda (type)
(if (null? type)
(error))
(let ((t (impc:ir:str-list-check type)))
(if (string? t) #f
(if (member t ;;(modulo t *impc:ir:pointer*)
(list *impc:ir:si64* *impc:ir:si32* *impc:ir:si16* *impc:ir:si8*
*impc:ir:ui64* *impc:ir:ui32* *impc:ir:ui16* *impc:ir:ui8*
*impc:ir:char*
*impc:ir:i1*))
#t #f)))))