<< Back to previous view

[TANAL-100] Fix method matcher Created: 31/Oct/14  Updated: 15/Nov/14

Status: Open
Project: tools.analyzer
Component/s: None
Affects Version/s: None
Fix Version/s: None

Type: Defect Priority: Blocker
Reporter: Nicola Mometto Assignee: Nicola Mometto
Resolution: Unresolved Votes: 0
Labels: None


 Description   

places to fix:

jvm.utils/try-best-match
passes.jvm.annotate-methods
passes.jvm.validate/validate-call



 Comments   
Comment by Nicola Mometto [ 15/Nov/14 2:13 PM ]

Some symptoms: http://dev.clojure.org/jira/browse/TANAL-105, reflection warnings for Utils/equals analyzing core.rrb-vectors





[TANAL-84] Simplify tag handling for castings/nil insertion/value popping Created: 25/Jul/14  Updated: 25/Jul/14

Status: Open
Project: tools.analyzer
Component/s: None
Affects Version/s: None
Fix Version/s: None

Type: Enhancement Priority: Major
Reporter: Nicola Mometto Assignee: Nicola Mometto
Resolution: Unresolved Votes: 0
Labels: None


 Description   

Currently the compiler uses the op type, o-tag, tag and the context to figure out where to put casts, where to insert nils or where to pop a value off the stack.
This doesn't work well as it's really hard to figure out when it's actually necessary to e.g. pop a value or if it has already been removed from the stack.
Ideally the analyzer should provide more information to the emitter so that it's easier to understand when and where a casting/nil insertion/value popping is necessary






[TANAL-113] Convert clojure.lang.Compiler/analyze to a map conforming to tools.analyzer.jvm Created: 03/Aug/15  Updated: 04/Aug/15

Status: Open
Project: tools.analyzer
Component/s: None
Affects Version/s: None
Fix Version/s: None

Type: Enhancement Priority: Minor
Reporter: Ambrose Bonnaire-Sergeant Assignee: Ambrose Bonnaire-Sergeant
Resolution: Unresolved Votes: 0
Labels: None


 Description   

Problem

clojure.lang.Compiler/analyzer is much faster than clojure.tools.analyzer.jvm/analyze.

It would be nice if we took jvm.tools.analyzer's approach to converting clojure.lang.Compiler/analyze to a map, but returned the same AST as tools.analyzer.jvm.

Notes

:env must contain :context, :locals, :ns and the source info.

We can create an extra pass to fix up the :env if performance is adequate.

TAJ uses :form to find type hints, but it might not be needed since Compiler/analyze resolves reflection itself.

Branch: TANAL-113






Generated at Wed Mar 29 02:25:50 CDT 2017 using JIRA 4.4#649-r158309.