Typechecking of ENFORCE statement is incorrect

[hanjoosten]

I have been experimenting with the ENFORCE statement. However, in doing so, I got a fatal (while building a docker image):

#9 0.685 !             Ampersand-v4.6.2 [51c3de2e65c540ef026925fe8547c991765a5588:refs/tags/v4.6.2]
#9 0.685 Cannot unite (with operator "\/") expression l of type [Persoon*Tekst]
#9 0.685    ECpl (EDcD naam[Persoon*Tekst])
#9 0.686    with expression r of type [AanmeldingVluchteling*Persoon]
#9 0.686    EDcD betreft[AanmeldingVluchteling*Persoon]
#9 0.687 CallStack (from HasCallStack):
#9 0.687   fatal, called at src/Ampersand/Core/AbstractSyntaxTree.hs:1098:10 in ampersand-4.6.2-2iu3WivvGYHDzfozf1CZcu:Ampersand.Core.AbstractSyntaxTree
#9 0.689 2022-03-14 12:41:30.964209: [error] ExitFailure 2

The script I was editing has a clear type error, but the daemon didn't complain about it. Hence, I expect the root cause is that there is no proper type checking of the ENFORCE statement.