diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-04-25 11:16:09 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-25 11:16:09 +0200 |
| commit | 9d53a4f86a37043d07cd7b288914eaecf4104e25 (patch) | |
| tree | a4be1ae0263ac8b527c18d36d5b3419432e74203 /lc | |
| parent | b3e157965b055d879c8f5e9a1a73a803d2ea2734 (diff) | |
cleanup
Diffstat (limited to 'lc')
| -rw-r--r-- | lc/Prelude.lc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lc/Prelude.lc b/lc/Prelude.lc index 11cfc4ab..aa065096 100644 --- a/lc/Prelude.lc +++ b/lc/Prelude.lc | |||
| @@ -129,8 +129,8 @@ data RecordC (xs :: [RecItem]) | |||
| 129 | isKeyC _ _ [] = 'Empty "" | 129 | isKeyC _ _ [] = 'Empty "" |
| 130 | isKeyC s t (RecItem s' t': ss) = if s == s' then t ~ t' else isKeyC s t ss | 130 | isKeyC s t (RecItem s' t': ss) = if s == s' then t ~ t' else isKeyC s t ss |
| 131 | 131 | ||
| 132 | fstTup (HCons a _) = a | 132 | fstTup = hlistConsCase _ (\a _ -> a) |
| 133 | sndTup (HCons _ a) = a | 133 | sndTup = hlistConsCase _ (\_ a -> a) |
| 134 | 134 | ||
| 135 | -- todo: don't use unsafeCoerce | 135 | -- todo: don't use unsafeCoerce |
| 136 | project :: forall a (xs :: [RecItem]) . forall (s :: String) -> isKeyC s a xs => RecordC xs -> a | 136 | project :: forall a (xs :: [RecItem]) . forall (s :: String) -> isKeyC s a xs => RecordC xs -> a |