aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/input.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/program/aedifex/input.lux')
-rw-r--r--stdlib/source/program/aedifex/input.lux24
1 files changed, 12 insertions, 12 deletions
diff --git a/stdlib/source/program/aedifex/input.lux b/stdlib/source/program/aedifex/input.lux
index 623346237..11e648697 100644
--- a/stdlib/source/program/aedifex/input.lux
+++ b/stdlib/source/program/aedifex/input.lux
@@ -28,32 +28,32 @@
["#." project (#+ Project)]
["#." parser]])
-(def: (parse-lux source-code)
+(def: (parse_lux source_code)
(-> Text (Try Code))
(let [parse (syntax.parse ""
- syntax.no-aliases
- (text.size source-code))]
- (case (parse [location.dummy 0 source-code])
+ syntax.no_aliases
+ (text.size source_code))]
+ (case (parse [location.dummy 0 source_code])
(#.Left [_ error])
(#try.Failure error)
- (#.Right [_ lux-code])
- (#try.Success lux-code))))
+ (#.Right [_ lux_code])
+ (#try.Success lux_code))))
-(def: parse-project
+(def: parse_project
(-> Binary (Try Project))
(|>> (do> try.monad
[(\ encoding.utf8 decode)]
- [..parse-lux]
+ [..parse_lux]
[(list) (<c>.run //parser.project)])))
(def: #export (read monad fs profile)
(All [!] (-> (Monad !) (file.System !) Text (! (Try Profile))))
(do (try.with monad)
- [project-file (!.use (\ fs file) //project.file)
- project-file (!.use (\ project-file content) [])]
+ [project_file (!.use (\ fs file) //project.file)
+ project_file (!.use (\ project_file content) [])]
(\ monad wrap
- (|> project-file
+ (|> project_file
(do> try.monad
- [..parse-project]
+ [..parse_project]
[(//project.profile profile)])))))