* fix #15851

* {.cast(noSideEffect).}
This commit is contained in:
flywind 2020-11-06 18:40:14 +08:00 • committed by GitHub
commit 218ff27b70
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 11 additions and 7 deletions

View file

@ -126,12 +126,14 @@ func newHttpHeaders*(keyValuePairs:
new result new result
result.table = newTable[string, seq[string]]() result.table = newTable[string, seq[string]]()
result.isTitleCase = titleCase result.isTitleCase = titleCase
for pair in keyValuePairs: for pair in keyValuePairs:
let key = result.toCaseInsensitive(pair.key) let key = result.toCaseInsensitive(pair.key)
if key in result.table: {.cast(noSideEffect).}:
result.table[key].add(pair.val) if key in result.table:
else: result.table[key].add(pair.val)
result.table[key] = @[pair.val] else:
result.table[key] = @[pair.val]
func `$`*(headers: HttpHeaders): string {.inline.} = func `$`*(headers: HttpHeaders): string {.inline.} =
@ -148,7 +150,8 @@ func `[]`*(headers: HttpHeaders, key: string): HttpHeaderValues =
## ##
## To access multiple values of a key, use the overloaded ``[]`` below or ## To access multiple values of a key, use the overloaded ``[]`` below or
## to get all of them access the ``table`` field directly. ## to get all of them access the ``table`` field directly.
return headers.table[headers.toCaseInsensitive(key)].HttpHeaderValues {.cast(noSideEffect).}:
return headers.table[headers.toCaseInsensitive(key)].HttpHeaderValues
converter toString*(values: HttpHeaderValues): string = converter toString*(values: HttpHeaderValues): string =
return seq[string](values)[0] return seq[string](values)[0]
@ -157,7 +160,8 @@ func `[]`*(headers: HttpHeaders, key: string, i: int): string =
## Returns the ``i``'th value associated with the given key. If there are ## Returns the ``i``'th value associated with the given key. If there are
## no values associated with the key or the ``i``'th value doesn't exist, ## no values associated with the key or the ``i``'th value doesn't exist,
## an exception is raised. ## an exception is raised.
return headers.table[headers.toCaseInsensitive(key)][i] {.cast(noSideEffect).}:
return headers.table[headers.toCaseInsensitive(key)][i]
proc `[]=`*(headers: HttpHeaders, key, value: string) = proc `[]=`*(headers: HttpHeaders, key, value: string) =
## Sets the header entries associated with ``key`` to the specified value. ## Sets the header entries associated with ``key`` to the specified value.

View file

@ -2,7 +2,7 @@ discard """
cmd: "nim c --experimental:strictFuncs --experimental:views $file" cmd: "nim c --experimental:strictFuncs --experimental:views $file"
""" """
import tables, streams, nre, parsecsv, uri import tables, streams, nre, parsecsv, uri, httpcore
type type
Contig2Reads = TableRef[string, seq[string]] Contig2Reads = TableRef[string, seq[string]]