Revised effects and structure types in Haskell CG. This now generates correct Haskell types for function declarations and triggers.
Revised effects and structure types in Haskell CG. This now generates correct Haskell types for function declarations and triggers.

DaMSL/K3,yliu120/K3,DaMSL/K3