copilot 2.0.7 → 2.0.8

raw patch · 2 files changed

+25/−3 lines, 2 files

Files

• Examples/Examples.hs +14/−1
• copilot.cabal +11/−2

@@ -47,6 +47,19 @@   trigger "trigger" true [arg $ x < 3]   observer "debug_x" x +latch :: Stream Bool -> Stream Bool+latch x = out+  where out = if x then not st else st+        st  = [False] ++ out++latch' :: Stream Bool -> Stream Bool+latch' x = out+  where out = x `xor` st+        st  = [False] ++ out++ext :: Stream Word8+ext = [1] ++ ext + extern "e0" (Just [2,4..])+ -}  flipflop :: Stream Bool -> Stream Bool@@ -63,7 +76,7 @@ odd :: (P.Integral a, Typed a) => Stream a -> Stream Bool odd = not . even -counter :: (Num a, Typed a) => Stream Bool -> Stream a+counter :: (Eq a, Num a, Typed a) => Stream Bool -> Stream a counter reset = y   where   zy = [0] ++ y

@@ -1,5 +1,5 @@ name:                copilot-version:             2.0.7+version:             2.0.8 cabal-version:       >= 1.10 license:             BSD3 license-file:        LICENSE@@ -10,7 +10,16 @@ category:            Language, Embedded homepage:            http://leepike.github.com/Copilot/ stability:           Experimental-description:         Documentation is available at the website, and see the included examples.+description:         +  This package is the main entry-point for using Copilot.+  .   +  Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in+  Haskell that compiles into embedded C.  Copilot contains an interpreter,+  multiple back-end compilers, and other verification tools.  A tutorial, bug+  reports, and todos are available at+  <https://github.com/niswegmann/copilot-discussion>.  +  .  +  Examples are available at <https://github.com/leepike/Copilot/tree/master/Examples>.  extra-source-files:  README.md