Ban empty record definitions #875

2022-05-24T01:41:32+09:00

ghallak commented

2022-05-24 01:41:32 +09:00

(Migrated from gitlab.com)

Fixes: #289

The best solution to the problem is to remove the problem.

Empty records can be allowed later if at some point someone would come up with a reasonable use case that would justify changing the type checker to handle them.

Currently empty records cannot be constructed, so it's unlikely that someone is depending on them in his code.

Fixes: #289 The best solution to the problem is to remove the problem. Empty records can be allowed later if at some point someone would come up with a reasonable use case that would justify changing the type checker to handle them. Currently empty records cannot be constructed, so it's unlikely that someone is depending on them in his code.

zxq9 commented

2022-05-25 02:06:00 +09:00

(Migrated from gitlab.com)

Created by: radrow

Review: Approved

*Created by: radrow* **Review:** Approved

zxq9 commented

2022-05-25 22:58:14 +09:00

(Migrated from gitlab.com)

Created by: hanssv

Review: Approved

*Created by: hanssv* **Review:** Approved

zxq9 commented

2022-05-25 22:59:46 +09:00

(Migrated from gitlab.com)

Merged by: ghallak at 2022-05-25 13:59:46 UTC

*Merged by: ghallak at 2022-05-25 13:59:46 UTC*

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: QPQ-AG/sophia#875