diff options
Diffstat (limited to 'stdlib/source/lux/tool/compiler/phase/translation.lux')
| -rw-r--r-- | stdlib/source/lux/tool/compiler/phase/translation.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/lux/tool/compiler/phase/translation.lux b/stdlib/source/lux/tool/compiler/phase/translation.lux index d8522adcd..6ee7f3841 100644 --- a/stdlib/source/lux/tool/compiler/phase/translation.lux +++ b/stdlib/source/lux/tool/compiler/phase/translation.lux @@ -13,10 +13,10 @@ ["." row (#+ Row)] ["." dictionary (#+ Dictionary)]]] [world - [file (#+ File)]]] + [file (#+ Path)]]] ["." // - ["." extension]] - [//synthesis (#+ Synthesis)]) + [synthesis (#+ Synthesis)] + ["." extension]]) (do-template [<name>] [(exception: #export (<name>) @@ -61,7 +61,7 @@ (type: #export (Buffer statement) (Row [Name statement])) -(type: #export (Outputs statement) (Dictionary File (Buffer statement))) +(type: #export (Outputs statement) (Dictionary Path (Buffer statement))) (type: #export (State anchor expression statement) {#context Context @@ -216,7 +216,7 @@ (def: #export (save-buffer! target) (All [anchor expression statement] - (-> File (Operation anchor expression statement Any))) + (-> Path (Operation anchor expression statement Any))) (do //.monad [buffer ..buffer] (extension.update (update@ #outputs (dictionary.put target buffer))))) |