Blinking was moved to the Idris side.

stepcut · May 12, 2020 · 8fedf28 · 8fedf28
1 parent a090364
commit 8fedf28
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 13 deletions.
diff --git a/Blink.idr b/Blink.idr
@@ -12,7 +12,11 @@ delay : Int -> IO ()
 delay ms = foreign FFI_C "idrard_delay" (Int -> IO ()) ms
 
 blink : Int -> Int -> IO ()
-blink pin ms = foreign FFI_C "idrard_blink" (Int -> Int -> IO ()) pin ms
+blink pin t = do digitalWrite pin 1
+                 delay t
+                 digitalWrite pin 0
+                 delay t
+                 blink pin t
 
 main : IO ()
 main =

diff --git a/idris_arduino.c b/idris_arduino.c
@@ -13,14 +13,3 @@ void idrard_pinMode(int pin, int mode)
 void idrard_delay(int ms) {
     delay(ms);
 }
-
-void idrard_blink(int pin, int ms) {
-//    pinMode(pin, OUTPUT);
-    while(1) {
-        digitalWrite(pin, 1);
-        delay(ms);
-        digitalWrite(pin, 0);
-        delay(ms);
-    }
-}
-
diff --git a/idris_arduino.h b/idris_arduino.h
@@ -1,4 +1,3 @@
 void idrard_digitalWrite(int pin, int val);
 void idrard_pinMode(int pin, int mode);
 void idrard_delay(int ms);
-void idrard_blink(int pin, int ms);