diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/lang/analysis/reference.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/lux/lang/analysis/reference.lux b/stdlib/source/lux/lang/analysis/reference.lux index e00edc178..cceb4db7d 100644 --- a/stdlib/source/lux/lang/analysis/reference.lux +++ b/stdlib/source/lux/lang/analysis/reference.lux @@ -3,11 +3,11 @@ (lux (control monad) [macro] (macro [code]) - [lang] - (lang (type ["tc" check]) - [".L" scope] - [".L" analysis #+ Analysis] - (analysis [".A" type])))) + (lang (type ["tc" check]))) + [// #+ Analysis] + [//type] + [///reference] + [///scope]) ## [Analysers] (def: (definition def-name) @@ -20,19 +20,19 @@ _ (do @ - [_ (typeA.infer actualT)] - (:: @ map (|>> analysisL.reference/constant) + [_ (//type.infer actualT)] + (:: @ map (|>> ///reference.constant #//.Reference) (macro.normalize def-name)))))) (def: (variable var-name) (-> Text (Meta (Maybe Analysis))) (do macro.Monad<Meta> - [?var (scopeL.find var-name)] + [?var (///scope.find var-name)] (case ?var (#.Some [actualT ref]) (do @ - [_ (typeA.infer actualT)] - (wrap (#.Some (analysisL.reference/variable ref)))) + [_ (//type.infer actualT)] + (wrap (#.Some (|> ref ///reference.variable #//.Reference)))) #.None (wrap #.None)))) |