diff options
Diffstat (limited to 'stdlib/source/program/aedifex/repository')
| -rw-r--r-- | stdlib/source/program/aedifex/repository/identity.lux | 5 | ||||
| -rw-r--r-- | stdlib/source/program/aedifex/repository/origin.lux | 5 |
2 files changed, 6 insertions, 4 deletions
diff --git a/stdlib/source/program/aedifex/repository/identity.lux b/stdlib/source/program/aedifex/repository/identity.lux index 4201123c0..533b4fb4e 100644 --- a/stdlib/source/program/aedifex/repository/identity.lux +++ b/stdlib/source/program/aedifex/repository/identity.lux @@ -18,8 +18,9 @@ Text) (type: .public Identity - {#user User - #password Password}) + (Record + {#user User + #password Password})) (def: .public equivalence (Equivalence Identity) diff --git a/stdlib/source/program/aedifex/repository/origin.lux b/stdlib/source/program/aedifex/repository/origin.lux index b850bf21f..845592762 100644 --- a/stdlib/source/program/aedifex/repository/origin.lux +++ b/stdlib/source/program/aedifex/repository/origin.lux @@ -11,8 +11,9 @@ [net (#+ URL)]]]]) (type: .public Origin - (#Local Path) - (#Remote URL)) + (Variant + (#Local Path) + (#Remote URL))) (def: .public equivalence (Equivalence Origin) |