diff options
author | Péter Diviánszky <divipp@gmail.com> | 2015-12-18 22:20:28 +0100 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2015-12-18 22:20:28 +0100 |
commit | 288cd630c194a867408b6cea52256d14d0312952 (patch) | |
tree | a9c484cea7197537c76c2fcb08cc552f8872759d /prototypes | |
parent | b786d3c6608836d028696f74bf79dc7e960b3ca7 (diff) |
refactoring
Diffstat (limited to 'prototypes')
-rw-r--r-- | prototypes/tests/accept/Builtins.lc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/prototypes/tests/accept/Builtins.lc b/prototypes/tests/accept/Builtins.lc index 048ee315..187a6e9e 100644 --- a/prototypes/tests/accept/Builtins.lc +++ b/prototypes/tests/accept/Builtins.lc | |||
@@ -24,7 +24,8 @@ data Bool = False | True | |||
24 | data Ordering = LT | EQ | GT | 24 | data Ordering = LT | EQ | GT |
25 | 25 | ||
26 | primIfThenElse :: Bool -> a -> a -> a | 26 | primIfThenElse :: Bool -> a -> a -> a |
27 | primIfThenElse b x y = boolCase (\_ -> _) y x b | 27 | primIfThenElse True a b = a |
28 | primIfThenElse False a b = b | ||
28 | 29 | ||
29 | --------------------------------------- | 30 | --------------------------------------- |
30 | 31 | ||