Syntactic errors: 11
Costabs-CoFloCo-TypedNorms/aws_avarage.abs:11:65:mismatched input '.' expecting {',', ')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def Option<Float> db_query(Int studentId, Int courseId) = Some(1.0);
----------------------------------------------------------------^
Costabs-CoFloCo-TypedNorms/aws_avarage.abs:35:50:extraneous input 'gt' expecting ')'
def Triple<List<A>,List<A>,List<A>> partition<A>(gt)(Triple<List<A>,List<A>,List<A>> acc, List<A> l) =
-------------------------------------------------^
Costabs-CoFloCo-TypedNorms/aws_avarage.abs:35:53:missing '=' at '('
def Triple<List<A>,List<A>,List<A>> partition<A>(gt)(Triple<List<A>,List<A>,List<A>> acc, List<A> l) =
----------------------------------------------------^
Costabs-CoFloCo-TypedNorms/aws_avarage.abs:35:68:no viable alternative at input ','
def Triple<List<A>,List<A>,List<A>> partition<A>(gt)(Triple<List<A>,List<A>,List<A>> acc, List<A> l) =
-------------------------------------------------------------------^
Costabs-CoFloCo-TypedNorms/aws_avarage.abs:35:76:no viable alternative at input ','
def Triple<List<A>,List<A>,List<A>> partition<A>(gt)(Triple<List<A>,List<A>,List<A>> acc, List<A> l) =
---------------------------------------------------------------------------^
Costabs-CoFloCo-TypedNorms/aws_avarage.abs:35:84:no viable alternative at input '>'
def Triple<List<A>,List<A>,List<A>> partition<A>(gt)(Triple<List<A>,List<A>,List<A>> acc, List<A> l) =
-----------------------------------------------------------------------------------^
Costabs-CoFloCo-TypedNorms/aws_avarage.abs:35:89:mismatched input ',' expecting {')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def Triple<List<A>,List<A>,List<A>> partition<A>(gt)(Triple<List<A>,List<A>,List<A>> acc, List<A> l) =
----------------------------------------------------------------------------------------^
Costabs-CoFloCo-TypedNorms/aws_avarage.abs:35:102:mismatched input '=' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def Triple<List<A>,List<A>,List<A>> partition<A>(gt)(Triple<List<A>,List<A>,List<A>> acc, List<A> l) =
-----------------------------------------------------------------------------------------------------^
Costabs-CoFloCo-TypedNorms/aws_avarage.abs:37:9:no viable alternative at input 'Nil=>'
    Nil => acc;
--------^
Costabs-CoFloCo-TypedNorms/aws_avarage.abs:38:16:mismatched input '=>' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
    Cons(x,xs) => case ass {
---------------^
Costabs-CoFloCo-TypedNorms/aws_avarage.abs:47:2:extraneous input ';' expecting {<EOF>, 'stateupdate', 'productline', 'extension', 'module', 'root', 'delta', 'product'}
};
-^

Compilation failed with syntax errors.