search

agentm / project-m36

Project: M36 Relational Algebra Engine
The Unlicense
876 stars 47 forks source link

relational expression typecheck error when ConstructedAtom's type variable is specified. #256

Closed YuMingLiao closed 4 years ago

YuMingLiao commented 4 years ago 
TutorialD (master/main): data A a = A a | B | C
TutorialD (master/main): a := relation{a A Integer}{tuple{a A 1}}
TutorialD (master/main): :showexpr a
┌─────────────────┐
│a::A (a::Integer)│
├─────────────────┤
│A 1              │
└─────────────────┘
TutorialD (master/main): a := relation{a A Integer}{tuple{a A "1"}}
TutorialD (master/main): :showexpr a
┌─────────────────┐
│a::A (a::Integer)│
├─────────────────┤
│A "1"            │
└─────────────────┘
agentm commented 4 years ago

Shoot- I missed this in my email. This is indeed a critical flaw!

agentm commented 4 years ago

This is now fixed and covered by a test.