aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/analysis/reference.lux
diff options
context:
space:
mode:
Diffstat (limited to 'new-luxc/source/luxc/lang/analysis/reference.lux')
-rw-r--r--new-luxc/source/luxc/lang/analysis/reference.lux44
1 files changed, 22 insertions, 22 deletions
diff --git a/new-luxc/source/luxc/lang/analysis/reference.lux b/new-luxc/source/luxc/lang/analysis/reference.lux
index c660408de..56aba35de 100644
--- a/new-luxc/source/luxc/lang/analysis/reference.lux
+++ b/new-luxc/source/luxc/lang/analysis/reference.lux
@@ -1,56 +1,56 @@
-(;module:
+(.module:
lux
(lux (control monad)
[macro]
(macro [code])
(lang (type ["tc" check])))
(luxc ["&" lang]
- (lang ["&;" scope]
+ (lang ["&." scope]
["la" analysis #+ Analysis]
- [";L" variable #+ Variable])))
+ [".L" variable #+ Variable])))
## [Analysers]
(def: (analyse-definition def-name)
(-> Ident (Meta Analysis))
- (do macro;Monad<Meta>
- [[actualT def-anns _] (&;with-error-tracking
- (macro;find-def def-name))]
- (case (macro;get-symbol-ann (ident-for #;alias) def-anns)
- (#;Some real-def-name)
+ (do macro.Monad<Meta>
+ [[actualT def-anns _] (&.with-error-tracking
+ (macro.find-def def-name))]
+ (case (macro.get-symbol-ann (ident-for #.alias) def-anns)
+ (#.Some real-def-name)
(analyse-definition real-def-name)
_
(do @
- [_ (&;infer actualT)
- def-name (macro;normalize def-name)]
- (wrap (code;symbol def-name))))))
+ [_ (&.infer actualT)
+ def-name (macro.normalize def-name)]
+ (wrap (code.symbol def-name))))))
(def: (analyse-variable var-name)
(-> Text (Meta (Maybe Analysis)))
- (do macro;Monad<Meta>
- [?var (&scope;find var-name)]
+ (do macro.Monad<Meta>
+ [?var (&scope.find var-name)]
(case ?var
- (#;Some [actualT ref])
+ (#.Some [actualT ref])
(do @
- [_ (&;infer actualT)]
- (wrap (#;Some (` ((~ (code;int (variableL;from-ref ref))))))))
+ [_ (&.infer actualT)]
+ (wrap (#.Some (` ((~ (code.int (variableL.from-ref ref))))))))
- #;None
- (wrap #;None))))
+ #.None
+ (wrap #.None))))
(def: #export (analyse-reference reference)
(-> Ident (Meta Analysis))
(case reference
["" simple-name]
- (do macro;Monad<Meta>
+ (do macro.Monad<Meta>
[?var (analyse-variable simple-name)]
(case ?var
- (#;Some varA)
+ (#.Some varA)
(wrap varA)
- #;None
+ #.None
(do @
- [this-module macro;current-module-name]
+ [this-module macro.current-module-name]
(analyse-definition [this-module simple-name]))))
_