diff --git a/flap/src/fopix/hobixToFopix.ml b/flap/src/fopix/hobixToFopix.ml index 7789adc..799ef70 100644 --- a/flap/src/fopix/hobixToFopix.ml +++ b/flap/src/fopix/hobixToFopix.ml @@ -226,7 +226,10 @@ let translate (p : S.t) env = let bfs, b = expression env b in afs @ bfs, T.Define (identifier id, a, b) | S.RecFunctions _ -> failwith "Students! This is your job (S.RecFunctions)!") - | S.Apply (a, bs) -> failwith "Students! This is your job (S.Apply)!" + | S.Apply (a, bs) -> + let afs, a = expression env a in + let bsfs, bs = expressions env bs in + afs @ bsfs, T.UnknownFunCall (a, bs) | S.IfThenElse (a, b, c) -> let afs, a = expression env a in let bfs, b = expression env b in