search

agentm / project-m36

Project: M36 Relational Algebra Engine
The Unlicense
901 stars 48 forks source link

type hint resolution should resolve type variables #377

Closed agentm closed 1 month ago

agentm commented 1 month ago 
TutorialD (master/main): data TemplatedDate = TemplatedDate (Maybe Integer) (Maybe Integer) (Maybe Integer)
TutorialD (master/main): :showexpr relation{name Text,date TemplatedDate}{tuple{name "Ides of March", date TemplatedDate Nothing (Just 3) (Just 15)}}
ERR: AtomTypeMismatchError IntegerAtomType (TypeVariableType "a")

This makes it impossible to use type variable types.