search

tcr / corollary

Cross-compiler from Haskell to Rust, plus parser-haskell.
73 stars 5 forks source link

Translate fat arrow defns into "where" clauses. #50

Open tcr opened 7 years ago

tcr commented 7 years ago

e.g.

promote
    :: (Pretty node, Pos node)
    => node
    -> (Rust.Expr -> Rust.Expr -> Rust.Expr)
    -> Result -> Result -> EnvMonad s Result
tcr commented 7 years ago

I didn't fix this fully in my last commit—where clauses are still not generated yet.