Syntactic errors: 2
Costabs-CoFloCo-TypedNorms/product.abs:13:14:mismatched input 'm' expecting {')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
foldr((A m, List ps) => foldr((B n, List xs) => Cons(Pair(m,n), xs))(ps, ns))(Nil, ms);
-------------^
Costabs-CoFloCo-TypedNorms/product.abs:13:29:mismatched input '=>' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
foldr((A m, List ps) => foldr((B n, List xs) => Cons(Pair(m,n), xs))(ps, ns))(Nil, ms);
----------------------------^
Compilation failed with syntax errors.