search

quil-lang / qvm

The high-performance and featureful Quil simulator.
Other
411 stars 57 forks source link

Type assertion too complex to check #254

Open stylewarning opened 4 years ago

stylewarning commented 4 years ago

On PPC64

; compiling (DECLAIM (FTYPE # ...) ...)
; compiling (DEFUN BIT= ...)
; file: /home/robert/Source/Rigetti/qvm/src/compile-gate.lisp
; in: DEFUN BIT=
;     (DEFUN QVM::BIT= (QVM::A QVM::B) (LDB (BYTE 1 0) (LOGEQV QVM::A QVM::B)))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA 
; ==>
;   #'(SB-INT:NAMED-LAMBDA QVM::BIT=
;         (QVM::A QVM::B)
;       (DECLARE (SB-C::TOP-LEVEL-FORM))
;       (BLOCK QVM::BIT= (LDB (BYTE 1 0) (LOGEQV QVM::A QVM::B))))
; 
; note: type assertion too complex to check:
; (VALUES BIT &REST T).