Commit 2a7217e3 authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.

Formatting wibbles

parent 4c93c8ba
...@@ -49,29 +49,29 @@ data Scope a b ...@@ -49,29 +49,29 @@ data Scope a b
-- |The local environment. -- |The local environment.
-- --
data LocalEnv data LocalEnv
= LocalEnv { = LocalEnv
-- Mapping from local variables to their vectorised and lifted versions. { local_vars :: VarEnv (Var, Var)
local_vars :: VarEnv (Var, Var) -- ^Mapping from local variables to their vectorised and lifted versions.
-- In-scope type variables.
, local_tyvars :: [TyVar] , local_tyvars :: [TyVar]
-- ^In-scope type variables.
-- Mapping from tyvars to their PA dictionaries.
, local_tyvar_pa :: VarEnv CoreExpr , local_tyvar_pa :: VarEnv CoreExpr
-- ^Mapping from tyvars to their PA dictionaries.
-- Local binding name.
, local_bind_name :: FastString , local_bind_name :: FastString
-- ^Local binding name.
} }
-- |Create an empty local environment. -- |Create an empty local environment.
-- --
emptyLocalEnv :: LocalEnv emptyLocalEnv :: LocalEnv
emptyLocalEnv = LocalEnv { emptyLocalEnv = LocalEnv
local_vars = emptyVarEnv { local_vars = emptyVarEnv
, local_tyvars = [] , local_tyvars = []
, local_tyvar_pa = emptyVarEnv , local_tyvar_pa = emptyVarEnv
, local_bind_name = fsLit "fn" , local_bind_name = fsLit "fn"
} }
-- GlobalEnv ------------------------------------------------------------------ -- GlobalEnv ------------------------------------------------------------------
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment