@@ -1,3 +1,6 @@
1module Type.Constrain.Expression where
4module Type.Constrain.Expression where
3import qualified Data.List as List
6import qualified Data.List as List
@@ -37,6 +40,7 @@ constrain env (L span expr) tipe =
38 GLShader _ src -> return . L span $ CEqual tipe shaderTipe
41 GLShader _ src -> return . L span $ CEqual tipe shaderTipe
40 shaderTipe = error "What's the shader type"
44 shaderTipe = error "What's the shader type"
42 Var name | name == saveEnvName -> return (L span CSaveEnv)
46 Var name | name == saveEnvName -> return (L span CSaveEnv)