diff options
Diffstat (limited to 'stdlib/source/library/lux/data/format/binary.lux')
-rw-r--r-- | stdlib/source/library/lux/data/format/binary.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/library/lux/data/format/binary.lux b/stdlib/source/library/lux/data/format/binary.lux index c794c5b3d..fa55d392e 100644 --- a/stdlib/source/library/lux/data/format/binary.lux +++ b/stdlib/source/library/lux/data/format/binary.lux @@ -219,8 +219,8 @@ (All (_ a) (-> (Writer a) (Writer (Set a)))) (|>> set.list (..list value))) -(def: .public name - (Writer Name) +(def: .public symbol + (Writer Symbol) (..and ..text ..text)) (def: .public type @@ -252,7 +252,7 @@ [7 .#UnivQ quantified] [8 .#ExQ quantified] [9 .#Apply pair] - [10 .#Named (..and ..name recur)]) + [10 .#Named (..and ..symbol recur)]) )))))) (def: .public location @@ -283,7 +283,7 @@ [3 .#Rev ..rev] [4 .#Frac ..frac] [5 .#Text ..text] - [6 .#Identifier ..name] + [6 .#Identifier ..symbol] [7 .#Form sequence] [8 .#Variant sequence] [9 .#Tuple sequence]) |