-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathTODO.txt
71 lines (46 loc) · 1.35 KB
/
TODO.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
Input file runner - use module to get SDK
Code Completion:
- Types in Type and "with" context
- Types where suitable as arguments to a fn
- names:
from lambdas
from commas (dependent types)
Improve structure view - should be prettier
Lexer: Floating Point
References:
- Use PsiPolyVariantReference for declaration/implementation stuff
Grammar:
Error recovery
PileMode
-- continuation lines
tests for rename: CodeInsightTestUtil.doInlineRename(new VariableInplaceRenameHandler(), newName, getEditor(), element);
-----------------------------
Completed items:
Lexer:
DONE Comments
DONE Pre/Post Doc
DONE Bracket matching
DONE Definition Trees & structure
DONE Extensions: "Goto definition"
Module building:
-- Idea here is that "initially", we'll support one type of module,
the checked out git repository.
Use intellij log faciities
--------------------
SPAD differences:
OK: ++ instead of +++ (which will be annoying...)
OK: ')' system commands
OK: select: Not a keyword(!)
OK: Quotes have lispish semantics/tokeniser rules
-----
Things that create scopes:
- Blocks (variables, etc)
- Piles (constants, some variables)
Places where a scope contains extra identifiers:
- Function definitions
- Lambdas
- Comma (scope creeps right)
- import statements (later)
-----------------------------
Analysed file format:
types, names, defns, srcoffset