diff options
Diffstat (limited to 'src/LambdaCube/Compiler/DesugaredSource.hs')
-rw-r--r-- | src/LambdaCube/Compiler/DesugaredSource.hs | 3 |
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 | |||
269 | | STyped a | 269 | | STyped a |
270 | deriving (Eq) | 270 | deriving (Eq) |
271 | 271 | ||
272 | sLHS _ (SRHS x) = x | ||
273 | sLHS n x = SLHS n x | ||
274 | |||
272 | type SExp = SExp' Void | 275 | type SExp = SExp' Void |
273 | 276 | ||
274 | data Binder | 277 | data Binder |