blob: 9756a1b9cdf0659442b67268c21014c7c8cc499f (
plain)
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
|
(;module:
lux
(lux (control monad)
[meta #+ Monad<Meta>]
(meta (type ["TC" check])))
(luxc ["&" base]
(lang ["la" analysis #+ Analysis])
["&;" scope]))
## [Analysers]
(def: (analyse-definition def-name)
(-> Ident (Meta Analysis))
(do Monad<Meta>
[actual (meta;find-def-type def-name)
expected meta;expected-type
_ (&;with-type-env
(TC;check expected actual))]
(wrap (#la;Definition def-name))))
(def: (analyse-variable var-name)
(-> Text (Meta (Maybe Analysis)))
(do Monad<Meta>
[?var (&scope;find var-name)]
(case ?var
(#;Some [actual ref])
(do @
[expected meta;expected-type
_ (&;with-type-env
(TC;check expected actual))]
(wrap (#;Some (#la;Variable ref))))
#;None
(wrap #;None))))
(def: #export (analyse-reference reference)
(-> Ident (Meta Analysis))
(case reference
["" simple-name]
(do Monad<Meta>
[?var (analyse-variable simple-name)]
(case ?var
(#;Some analysis)
(wrap analysis)
#;None
(do @
[this-module meta;current-module-name]
(analyse-definition [this-module simple-name]))))
_
(analyse-definition reference)))
|
