mirror of
https://github.com/carp-lang/Carp.git
synced 2024-09-11 05:25:28 +03:00
* chore: Abuse deftemplate to get rid of Address * chore: Avoid semicolon at end of define * fix: address should be useable as an argument to a HOF * chore: adapt examples to new address signature * fix: Remove Address from typeOf * fix: Remove more uses of Address * fix: Remove more mentions of address in the Haskell code * fix: Remove test that ensure you can't take the address of non-symbols * refactor: Moved `address` to Pointer.carp * refactor: Move address into Pointer module Co-authored-by: Jorge Acereda <jacereda@gmail.com>
122 lines
3.3 KiB
Plaintext
122 lines
3.3 KiB
Plaintext
(load "Test.carp")
|
|
(use-all Maybe Test)
|
|
|
|
(deftest test
|
|
(assert-true test
|
|
(nothing? &(the (Maybe Int) (Nothing)))
|
|
"nothing? works on Nothing"
|
|
)
|
|
(assert-false test
|
|
(nothing? &(Just 1))
|
|
"nothing? works on Just"
|
|
)
|
|
(assert-true test
|
|
(just? &(Just 1))
|
|
"just? works on Just"
|
|
)
|
|
(assert-false test
|
|
(just? &(the (Maybe Int) (Nothing)))
|
|
"just? works on Nothing"
|
|
)
|
|
(assert-equal test
|
|
0
|
|
(get-tag &(Just 1))
|
|
"tag works on Just"
|
|
)
|
|
(assert-equal test
|
|
1
|
|
(get-tag &(the (Maybe Int) (Nothing)))
|
|
"tag works on Nothing"
|
|
)
|
|
(assert-equal test
|
|
1
|
|
(from (Just 1) 0)
|
|
"from works on Just"
|
|
)
|
|
(assert-equal test
|
|
0
|
|
(from (the (Maybe Int) (Nothing)) 0)
|
|
"from works on Nothing"
|
|
)
|
|
(assert-equal test
|
|
1
|
|
(unsafe-from (Just 1))
|
|
"unsafe-from works on Just"
|
|
)
|
|
(assert-equal test
|
|
2
|
|
(from (apply (Just 1) &Int.inc) 0)
|
|
"apply works on Just"
|
|
)
|
|
(assert-equal test
|
|
0
|
|
(from (apply (the (Maybe Int) (Nothing)) &Int.inc) 0)
|
|
"apply works on Nothing"
|
|
)
|
|
(assert-equal test
|
|
10
|
|
(or-zero (Just 10))
|
|
"or-zero works on Just"
|
|
)
|
|
(assert-equal test
|
|
0
|
|
(or-zero (the (Maybe Int) (Nothing)))
|
|
"or-zero works on Nothing"
|
|
)
|
|
(assert-equal test
|
|
&(Nothing)
|
|
&(the (Maybe Int) (zero))
|
|
"zero works"
|
|
)
|
|
(assert-equal test
|
|
&(Result.Success 1)
|
|
&(to-result (Just 1) @"error")
|
|
"to-result works on Just"
|
|
)
|
|
(assert-equal test
|
|
&(the (Result Int String) (Result.Error @"error"))
|
|
&(to-result (Nothing) @"error")
|
|
"to-result works on Nothing"
|
|
)
|
|
(assert-equal test
|
|
1
|
|
@(Pointer.to-ref (unsafe-ptr &(Just 1)))
|
|
"unsafe-ptr works on Just"
|
|
)
|
|
(assert-true test
|
|
(null? (unsafe-ptr &(the (Maybe Int) (Nothing))))
|
|
"unsafe-ptr works on Nothing"
|
|
)
|
|
(assert-equal test
|
|
&(Just 0)
|
|
&(from-ptr (Pointer.address &(zero)))
|
|
"from-ptr works on Ptr/Just"
|
|
)
|
|
(assert-equal test
|
|
&(Nothing)
|
|
&(the (Maybe Int) (from-ptr NULL))
|
|
"from-ptr works on NULL/Nothing"
|
|
)
|
|
|
|
(assert-equal test
|
|
123
|
|
(match (the (Maybe (Maybe Int)) (Just (Just 123)))
|
|
Nothing 0
|
|
(Just (Nothing)) 0
|
|
(Just (Just x)) x)
|
|
"Matching on nested Maybes."
|
|
)
|
|
|
|
(assert-equal test
|
|
123
|
|
(match (the (Maybe (Maybe (Maybe Int))) (Just (Just (Nothing))))
|
|
Nothing 0
|
|
(Just (Nothing)) 0
|
|
(Just (Just (Just _))) 0
|
|
(Just (Just (Nothing))) 123
|
|
)
|
|
"Matching on nested Maybes."
|
|
)
|
|
|
|
)
|