Preserves: floats and doubles merged

This commit is contained in:
Emery Hemingway 2024-02-05 23:48:21 +01:00
parent 25d1e40990
commit 40ad6a2dbc
4 changed files with 6 additions and 6 deletions

View File

@ -5,6 +5,6 @@ FileSystemUsage = <file-system-usage @path string @size int>.
# This assertion publishes a dataspace that proxies assertions with
# an exception for <Observe …> which is pulsed every periodSec.
# The pulse resolution is no more than one millisecond.
Pulse = <pulse @periodSec double @proxy #!any>.
Pulse = <pulse @periodSec float @proxy #!any>.
XmlTranslation = <xml-translation @xml string @pr any>.

View File

@ -4,7 +4,7 @@ import
type
Pulse* {.preservesRecord: "pulse".} = object
`periodSec`*: float64
`periodSec`*: float
`proxy`* {.preservesEmbedded.}: Value
XmlTranslation* {.preservesRecord: "xml-translation".} = object

View File

@ -49,7 +49,7 @@ type
CacheArgumentsField0* {.preservesDictionary.} = object
`dataspace`* {.preservesEmbedded.}: EmbeddedRef
`lifetime`*: BiggestFloat
`lifetime`*: float
CacheArguments* {.preservesRecord: "cache".} = object
`field0`*: CacheArgumentsField0

View File

@ -5,9 +5,9 @@ import
type
RoundTripTime* {.preservesRecord: "rtt".} = object
`address`*: string
`minimum`*: BiggestFloat
`average`*: BiggestFloat
`maximum`*: BiggestFloat
`minimum`*: float
`average`*: float
`maximum`*: float
proc `$`*(x: RoundTripTime): string =
`$`(toPreserves(x))