git.iko.soy/elk
on master help sign in
Remove stray spaces
d959f5aEvan Czaplicki
src/Type/Constrain/Expression.hs+6−6
compare with master
unifiedsplit
@@ -37,13 +37,13 @@ constrain env (A region expr) tipe =
37 case expr of
37 case expr of
38 Literal lit -> liftIO $ Literal.constrain env region lit tipe
38 Literal lit -> liftIO $ Literal.constrain env region lit tipe
39
39
40− GLShader _uid _src gltipe ->
40+ GLShader _uid _src gltipe ->
41− exists $ \attr ->
41+ exists $ \attr ->
42− exists $ \unif ->
42+ exists $ \unif ->
43− let
43+ let
44 shaderTipe a u v = Env.get env Env.types "WebGL.Shader" <| a <| u <| v
44 shaderTipe a u v = Env.get env Env.types "WebGL.Shader" <| a <| u <| v
45 glTipe = Env.get env Env.types . Lit.glTipeName
45 glTipe = Env.get env Env.types . Lit.glTipeName
46− makeRec accessor baseRec =
46+ makeRec accessor baseRec =
47 let decls = accessor gltipe
47 let decls = accessor gltipe
48 in if Map.size decls == 0
48 in if Map.size decls == 0
49 then baseRec
49 then baseRec
@@ -93,7 +93,7 @@ constrain env (A region expr) tipe =
93 return $ c1 /\ c2
93 return $ c1 /\ c2
94
94
95 MultiIf branches -> and <$> mapM constrain' branches
95 MultiIf branches -> and <$> mapM constrain' branches
96− where
96+ where
97 bool = Env.get env Env.types "Bool"
97 bool = Env.get env Env.types "Bool"
98 constrain' (b,e) = do
98 constrain' (b,e) = do
99 cb <- constrain env b bool
99 cb <- constrain env b bool