[#CLJ-850] Hinting the arg vector of a primitive-taking fn with a non-primitive type results in AbstractMethodError when invoked - Clojure JIRA

Details

Type: Defect
Status: Open
Priority: Major
Resolution: Unresolved
Affects Version/s: Release 1.3
Fix Version/s: Release 1.6
Component/s: None
Labels:
None

Patch:
Code and Test
Approval:
Vetted

Description

See the following examples:

user=> (defn f1 ^String [^String s] s)
#'user/f1
user=> (f1 "foo")
"foo"
user=> (defn f2 ^long [^String s ^long i] i)
#'user/f2
user=> (f2 "foo" 1)
1
user=> (defn f3 ^String [^String s ^long i] s)                                       
#'user/f3
user=> (f3 "foo" 1)
AbstractMethodError user$f3.invokePrim(Ljava/lang/Object;J)Ljava/lang/Object;  user/eval8 (NO_SOURCE_FILE:6)

More Options
- Sort By Name
- Sort By Date
- Ascending
- Descending
- Download All

Attachments

CLJ-850.patch

18/Oct/11 2:54 PM

2 kB

Ben Smith-Mannschott
CLJ-850-conform-to-invokePrim.diff

19/Dec/12 3:41 PM

2 kB

Ghadi Shayban
CLJ-850-test.patch

15/Oct/11 11:54 AM

2 kB

Ben Smith-Mannschott
clj-850-type-hinted-fn-abstractmethoderror-patch4.txt

01/Nov/12 7:22 PM

4 kB

Andy Fingerhut

Activity

Ascending order - Click to sort in descending order

Alexander Taggart made changes - 09/Oct/11 3:11 PM

Field	Original Value	New Value
Summary	Hinting the arg vector of a primitive-taking fn with a non-primitive type results in AbstractMethodError	Hinting the arg vector of a primitive-taking fn with a non-primitive type results in AbstractMethodError when invoked