diff options
Diffstat (limited to 'src/LambdaCube/Compiler/Core.hs')
-rw-r--r-- | src/LambdaCube/Compiler/Core.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/LambdaCube/Compiler/Core.hs b/src/LambdaCube/Compiler/Core.hs index 4f04a2ae..76d16a66 100644 --- a/src/LambdaCube/Compiler/Core.hs +++ b/src/LambdaCube/Compiler/Core.hs | |||
@@ -490,8 +490,8 @@ getFunDef t s f = case show s of | |||
490 | 490 | ||
491 | "unsafeCoerce" -> Just $ \case xs@(x@(hnf -> NonNeut): _{-2-}) -> x; xs -> f xs | 491 | "unsafeCoerce" -> Just $ \case xs@(x@(hnf -> NonNeut): _{-2-}) -> x; xs -> f xs |
492 | "reflCstr" -> Just $ \case _ -> TT | 492 | "reflCstr" -> Just $ \case _ -> TT |
493 | "hlistNilCase" -> Just $ \case ((hnf -> ConN FHCons _): x: _{-1-}) -> x; xs -> f xs | 493 | "hlistNilCase" -> Just $ \case ((hnf -> Con n@(ConName _ 0 _) _ _): x: _{-1-}) -> x; xs -> f xs |
494 | "hlistConsCase" -> Just $ \case ((hnf -> ConN FHNil (b: a: _{-2-})): x: _{-3-}) -> x `app_` a `app_` b; xs -> f xs | 494 | "hlistConsCase" -> Just $ \case ((hnf -> Con n@(ConName _ 1 _) _ (b: a: _{-2-})): x: _{-3-}) -> x `app_` a `app_` b; xs -> f xs |
495 | 495 | ||
496 | -- general compiler primitives | 496 | -- general compiler primitives |
497 | "primAddInt" -> Just $ \case (HInt j: HInt i: _) -> HInt (i + j); xs -> f xs | 497 | "primAddInt" -> Just $ \case (HInt j: HInt i: _) -> HInt (i + j); xs -> f xs |