Mazdak Farrokhzad

Will require `-> impl 'a + RelOps

Remove `BuiltinType` in favor of variants directly in `AlgebraicType`

1

In other words, move all variants from `BuiltinType` to `AlgebraicType` and remove the former enum. This should make `AlgebraicType` smaller, hopefully. Affects the BSATN encoding of AT so this is...

It would be useful for e.g., `Identity` that is currently put in the variable section of the page when its always 32 bytes and could be in the fixed part...

See https://github.com/clockworklabs/SpacetimeDB/pull/1036#discussion_r1547600412.

https://github.com/clockworklabs/SpacetimeDB/pull/1037#issuecomment-2032052511 Also, we could tie this into energy use.

# Description of Changes Flattens `BuiltinType` into `AlgebraicType`. See note below on BSATN ABI breakage. # API and ABI - [x] This is a breaking change to the module ABI...

# Description of Changes Fix the bug found in https://github.com/clockworklabs/SpacetimeDB/pull/1585 by allowing `ColList`s to be empty, as we actually try to use the type as a possibly-empty list in some...

Decide on a consistent semantics for float eq/ord

1

Currently, `AlgebraicValue::F32/F64` uses [`decorum::Total`](https://docs.rs/decorum/latest/decorum/type.Total.html) and `Total` as a way to get `Ord` and `PartialEq` implementations for floats. The `Ord` impl eventually uses [`decorum::FloatOrd`](https://docs.rs/decorum/latest/decorum/cmp/trait.FloatOrd.html) and [`decorum::FloatEq`](https://docs.rs/decorum/latest/decorum/cmp/trait.FloatEq.html). For `FloatEq`, this eventually results...