Fix typo in Concurrency.Raw

kadmia · Jan 1, 2014 · 395322b · 395322b
1 parent 67ebb54
commit 395322b
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/libs/base/System/Concurrency/Raw.idr b/libs/base/System/Concurrency/Raw.idr
@@ -14,7 +14,7 @@ sendToThread {a} dest val
         [FPtr, FPtr, FAny a] FUnit) prim__vm dest val
 
 checkMsgs : IO Bool
-checkMsgs = do msgs <- mkForeign (FFun "idris_checkMessage"
+checkMsgs = do msgs <- mkForeign (FFun "idris_checkMessages"
                         [FPtr] FInt) prim__vm
                return (intToBool msgs)
 

diff --git a/libs/prelude/Prelude/Basics.idr b/libs/prelude/Prelude/Basics.idr
@@ -13,7 +13,7 @@ the _ = id
 
 -- | Constant function.
 const : a -> b -> a
-const x _ = x
+const x = \v => x
 
 -- | Return the first element of a pair.
 fst : (s, t) -> s

diff --git a/rts/idris_rts.c b/rts/idris_rts.c
@@ -602,7 +602,7 @@ void idris_sendMessage(VM* sender, VM* dest, VAL msg) {
 
     pthread_mutex_lock(&(dest->inbox_lock));
     *(dest->inbox_write) = dmsg;
-   
+
     dest->inbox_write++;
     if (dest->inbox_write >= dest->inbox_end) {
         dest->inbox_write = dest->inbox;