@@ -37,13 +37,13 @@ constrain env (A region expr) tipe =
3737 case expr of
3838 Literal lit -> liftIO $ Literal.constrain env region lit tipe
3939
40− GLShader _uid _src gltipe ->
41− exists $ \attr ->
42− exists $ \unif ->
43− let
40+ GLShader _uid _src gltipe ->
41+ exists $ \attr ->
42+ exists $ \unif ->
43+ let
4444 shaderTipe a u v = Env.get env Env.types "WebGL.Shader" <| a <| u <| v
4545 glTipe = Env.get env Env.types . Lit.glTipeName
46− makeRec accessor baseRec =
46+ makeRec accessor baseRec =
4747 let decls = accessor gltipe
4848 in if Map.size decls == 0
4949 then baseRec
@@ -93,7 +93,7 @@ constrain env (A region expr) tipe =
9393 return $ c1 /\ c2
9494
9595 MultiIf branches -> and <$> mapM constrain' branches
96− where
96+ where
9797 bool = Env.get env Env.types "Bool"
9898 constrain' (b,e) = do
9999 cb <- constrain env b bool