blob: 4a2f6dbc52542145567aff9f0a43e7192042a001 (
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]
(meta (type ["tc" check])))
(luxc ["&" base]
(lang ["la" analysis #+ Analysis])
["&;" scope]))
## [Analysers]
(def: (analyse-definition def-name)
(-> Ident (Meta Analysis))
(do meta;Monad<Meta>
[actualT (meta;find-def-type def-name)
expectedT meta;expected-type
_ (&;with-type-env
(tc;check expectedT actualT))]
(wrap (#la;Definition def-name))))
(def: (analyse-variable var-name)
(-> Text (Meta (Maybe Analysis)))
(do meta;Monad<Meta>
[?var (&scope;find var-name)]
(case ?var
(#;Some [actualT ref])
(do @
[expectedT meta;expected-type
_ (&;with-type-env
(tc;check expectedT actualT))]
(wrap (#;Some (#la;Variable ref))))
#;None
(wrap #;None))))
(def: #export (analyse-reference reference)
(-> Ident (Meta Analysis))
(case reference
["" simple-name]
(do meta;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)))
|
