Guest User

Untitled

a guest
Sep 14th, 2019
120
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. Pattern: (((T NUMCL.IMPL::_) T) ((NUMCL.IMPL::_ T) T)
  2. ((NIL NUMCL.IMPL::_) NIL) ((NUMCL.IMPL::_ NIL) NIL)
  3. (((TYPE-R:COMPLEX-TYPE NUMCL.IMPL::PREV)
  4. (TYPE-R:COMPLEX-TYPE NUMCL.IMPL::NOW))
  5. `(COMPLEX
  6. ,#1=(NUMCL.IMPL::FN NUMCL.IMPL::PREV
  7. NUMCL.IMPL::NOW)))
  8. (((TYPE-R:COMPLEX-TYPE NUMCL.IMPL::PREV)
  9. NUMCL.IMPL::_)
  10. `(COMPLEX ,#1#))
  11. ((NUMCL.IMPL::_ (TYPE-R:COMPLEX-TYPE NUMCL.IMPL::NOW))
  12. `(COMPLEX ,#1#))
  13. (((TYPE-R:OR-TYPE NUMCL.IMPL::TYPES1)
  14. (TYPE-R:OR-TYPE NUMCL.IMPL::TYPES2))
  15. (NUMCL.IMPL::SIMPLIFY-OR-TYPES
  16. (ALEXANDRIA.1.0.0:MAP-PRODUCT #'NUMCL.IMPL::FN
  17. NUMCL.IMPL::TYPES1
  18. NUMCL.IMPL::TYPES2)))
  19. (((TYPE-R:OR-TYPE NUMCL.IMPL::TYPES1) NUMCL.IMPL::_)
  20. (NUMCL.IMPL::SIMPLIFY-OR-TYPES
  21. (MAPCAR
  22. (LAMBDA (TYPE)
  23. (NUMCL.IMPL::FN TYPE NUMCL.IMPL::NOW))
  24. NUMCL.IMPL::TYPES1)))
  25. ((NUMCL.IMPL::_ (TYPE-R:OR-TYPE NUMCL.IMPL::TYPES2))
  26. (NUMCL.IMPL::SIMPLIFY-OR-TYPES
  27. (MAPCAR
  28. (LAMBDA (TYPE)
  29. (NUMCL.IMPL::FN NUMCL.IMPL::PREV TYPE))
  30. NUMCL.IMPL::TYPES2)))
  31. (((TYPE-R:REAL-SUBTYPE NUMCL.IMPL::L1 NUMCL.IMPL::H1)
  32. (TYPE-R:REAL-SUBTYPE NUMCL.IMPL::L2 NUMCL.IMPL::H2))
  33. (NUMCL.IMPL::LET ((TYPE
  34. (NUMCL.IMPL::FLOAT-CONTAGION
  35. NUMCL.IMPL::PREV NUMCL.IMPL::NOW
  36. :INT-INT-RESULT
  37. NUMCL.IMPL::INT-INT-RESULT)))
  38. (FLET ((NUMCL.IMPL::C (NUMCL.IMPL::VALUE)
  39. (NUMCL.IMPL::%INTERVAL-COERCE
  40. NUMCL.IMPL::VALUE TYPE)))
  41. (TRIVIA.LEVEL2:EMATCH (FUNCALL
  42. NUMCL.IMPL::INTERVAL-OP
  43. NUMCL.IMPL::L1
  44. NUMCL.IMPL::H1
  45. NUMCL.IMPL::L2
  46. NUMCL.IMPL::H2)
  47. ((LIST NUMCL.IMPL::LOW NUMCL.IMPL::HIGH)
  48. (IF (OR (EQ NUMCL.IMPL::LOW 'COMMON-LISP:*)
  49. (EQ NUMCL.IMPL::HIGH 'COMMON-LISP:*)
  50. (COMMON-LISP:<= NUMCL.IMPL::LOW
  51. NUMCL.IMPL::HIGH))
  52. (IF (EQ TYPE 'INTEGER)
  53. (PROGN
  54. (CHECK-TYPE NUMCL.IMPL::LOW
  55. (OR INTEGER
  56. (EQL COMMON-LISP:*)))
  57. (CHECK-TYPE NUMCL.IMPL::HIGH
  58. (OR INTEGER
  59. (EQL COMMON-LISP:*)))
  60. `(INTEGER
  61. ,@(NUMCL.IMPL::INTERVAL-INTERSECTION
  62. NUMCL.IMPL::LOW NUMCL.IMPL::HIGH
  63. MOST-NEGATIVE-FIXNUM
  64. MOST-POSITIVE-FIXNUM)))
  65. `(,TYPE
  66. ,(NUMCL.IMPL::C NUMCL.IMPL::LOW)
  67. ,(NUMCL.IMPL::C NUMCL.IMPL::HIGH)))
  68. NIL)))))))
  69. Values: (COMMON-LISP:* COMMON-LISP:*)
  70. [Condition of type TRIVIA.LEVEL2:MATCH-ERROR]
  71.  
  72. Restarts:
  73. 0: [RETRY] Retry SLIME REPL evaluation request.
  74. 1: [*ABORT] Return to SLIME's top level.
  75. 2: [ABORT] abort thread (#<THREAD "repl-thread" RUNNING {1023F39DE3}>)
  76.  
  77. Backtrace:
  78. 0: ((LABELS NUMCL.IMPL::FN :IN NUMCL.IMPL::INFER-RATIONAL-ARITHMETIC-RESULT) COMMON-LISP:* COMMON-LISP:*)
  79. 1: ((FLET "FN419" :IN NUMCL.IMPL::INFER-RATIONAL-ARITHMETIC-RESULT) COMMON-LISP:*)
  80. 2: ((FLET "FN383" :IN NUMCL.IMPL::INFER-RATIONAL-ARITHMETIC-RESULT) COMMON-LISP:*)
  81. 3: ((LABELS NUMCL.IMPL::FN :IN NUMCL.IMPL::INFER-RATIONAL-ARITHMETIC-RESULT) COMPLEX COMPLEX)
  82. 4: (REDUCE #<CLOSURE (LABELS NUMCL.IMPL::FN :IN NUMCL.IMPL::INFER-RATIONAL-ARITHMETIC-RESULT) {1013BFFBFB}> (COMPLEX COMPLEX))
  83. 5: (NUMCL.IMPL::INFER-RATIONAL-ARITHMETIC-RESULT #<FUNCTION NUMCL.IMPL::INTERVAL-MUL> (COMPLEX COMPLEX) INTEGER)
  84. 6: (NUMCL.IMPL::MUL-TO-FLOAT-TYPE COMPLEX COMPLEX)
  85. 7: (NUMCL.IMPL::INFER-TYPE COMMON-LISP:* COMPLEX COMPLEX)
  86. 8: (NUMCL.IMPL::INTERPRET-TYPE (COMMON-LISP:* T T))
  87. 9: (NUMCL.IMPL::INTERPRET-TYPE (COMMON-LISP:+ (INTEGER 0 0) (COMMON-LISP:* T T)))
  88. 10: (NUMCL.IMPL::EINSUM-OUTPUT-TYPES ((COMMON-LISP:+ NUMCL.IMPL::@1 (COMMON-LISP:* NUMCL.IMPL::$1 NUMCL.IMPL::$2))) (NUMCL.IMPL::$1 NUMCL.IMPL::$2) (NUMCL.IMPL::@1) #2A((0.0 1.0) (2.0 3.0)) #2A((5.0 6.0) ..
  89. 11: (MATMUL #2A((0.0 1.0) (2.0 3.0)) #2A((5.0 6.0) (7.0 8.0)) NIL)
  90. 12: (SB-INT:SIMPLE-EVAL-IN-LEXENV (MATMUL #2A((0.0 1.0) (2.0 3.0)) #2A((5.0 6.0) (7.0 8.0))) #<NULL-LEXENV>)
  91. 13: (EVAL (MATMUL #2A((0.0 1.0) (2.0 3.0)) #2A((5.0 6.0) (7.0 8.0))))
  92. --more--
RAW Paste Data