1 files changed, 8 insertions, 2 deletions

diff --git a/src/LambdaCube/Compiler/CoreToIR.hs b/src/LambdaCube/Compiler/CoreToIR.hs
index 4a96c141..2ad8d26d 100644
--- a/src/LambdaCube/Compiler/CoreToIR.hs
+++ b/src/LambdaCube/Compiler/CoreToIR.hs
@@ -48,7 +48,13 @@ import Paths_lambdacube_compiler (version)
 
 --------------------------------------------------------------------------
 
-compilePipeline :: IR.Backend -> I.ExpType -> IR.Pipeline
+-- | Compile a parsed (and typed) expression into the intermediate
+-- representation interpreted by the rendering engine.
+--
+-- Note: 'error' will be called if the given expression is not of type Output.
+compilePipeline :: IR.Backend
+                   -> I.ExpType -- ^ Either a 'ScreenOut' or 'TextureOut' expression (typically main).
+                   -> IR.Pipeline
 compilePipeline backend exp = IR.Pipeline
     { IR.info       = "generated by lambdacube-compiler " ++ showVersion version
     , IR.backend    = backend
@@ -812,7 +818,7 @@ data Uniform
 
 type Uniforms = Map String (Uniform, IR.InputType)
 
-tellUniform :: (MonadWriter (a, b) m, Monoid b) => a -> m ()
+tellUniform :: Uniforms -> WriterT (Uniforms, Map SName (ExpTV, ExpTV, [ExpTV])) (State [String]) ()
 tellUniform x = tell (x, mempty)
 
 simpleExpr :: ExpTV -> Bool