nballerina icon indicating copy to clipboard operation
nballerina copied to clipboard

Published 20 hours ago • verified publisher icon ballerina-platform

See if we can simply `listFormulaIsEmpty()` with introduction of `undef`

Open lochana-chathura opened this issue 1 year ago • 0 comments

Description: With the introduction of undef type to the type engine, we were able to simplify the mappingFormulaIsEmpty() logic and make it aligned with the algorithm in exercise 10 of the Cov-Contra paper. Changes are made with PR #1175.

Similarly, see if we can achieve the same with listFormulaIsEmpty().

lochana-chathura avatar Mar 20 '23 18:03 lochana-chathura