mozilla/mentat
Ver no GitHub[meta] Full Datalog type support (instants, UUIDs, URIs)
Open
#201 aberto em 25 de jan. de 2017
correctnessenhancementhelp wanted
Métricas do repositório
- Stars
- (1.661 stars)
- Métricas de merge de PR
- (Métricas PR pendentes)
Description
Over in #170, I simplified things by not including placeholders for Mentat value types I wasn't going to support at the start: :db.type/instant, :db.type/uuid, and :db.type/uri. (We might consider supporting JSON and a binary blob type like :db.type/bytes as well.)
This ticket tracks supporting these types. Off the top, this will mean:
- Adding new
DB_TYPE_*values to the bootstrapper; - Bumping the SQL schema to accommodate the new idents;
- Adding new
ValueTypecases; - Adding corresponding
TypedValuecases; - Implementing the conversions to and from SQL;
- testing the new types in the transactor and potentially in the query engine as well.