on master help sign in
emphasis on where i'm stuck
481478dJohn P Mayer Jr
compiler/Type/Constrain/Expression.hs+4
@@ -1,3 +1,6 @@
1+
2+{-# OPTIONS -Wall #-}
3+
1module Type.Constrain.Expression where
4module Type.Constrain.Expression where
2
5
3import qualified Data.List as List
6import qualified Data.List as List
@@ -37,6 +40,7 @@ constrain env (L span expr) tipe =
37
40
38 GLShader _ src -> return . L span $ CEqual tipe shaderTipe
41 GLShader _ src -> return . L span $ CEqual tipe shaderTipe
39 where
42 where
43+ shaderTipe :: Type
40 shaderTipe = error "What's the shader type"
44 shaderTipe = error "What's the shader type"
41
45
42 Var name | name == saveEnvName -> return (L span CSaveEnv)
46 Var name | name == saveEnvName -> return (L span CSaveEnv)