1 files changed, 3 insertions, 0 deletions

diff --git a/src/LambdaCube/Compiler/DesugaredSource.hs b/src/LambdaCube/Compiler/DesugaredSource.hs
index e83eb0ea..06849849 100644
--- a/src/LambdaCube/Compiler/DesugaredSource.hs
+++ b/src/LambdaCube/Compiler/DesugaredSource.hs
@@ -269,6 +269,9 @@ data SExp' a
     | STyped  a
   deriving (Eq)
 
+sLHS _ (SRHS x) = x
+sLHS n x = SLHS n x
+
 type SExp = SExp' Void
 
 data Binder