Skip to content

Instantly share code, notes, and snippets.

@cemerick
Created January 10, 2018 04:46
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save cemerick/0f3948194baa20ce6c036621a3de8d09 to your computer and use it in GitHub Desktop.
Save cemerick/0f3948194baa20ce6c036621a3de8d09 to your computer and use it in GitHub Desktop.
-- in `cabal exec clash -- --interactive`
CLaSH.Prelude> import Data.Int
CLaSH.Prelude Data.Int> let x = 56 :: Int8
CLaSH.Prelude Data.Int> x + x
112
-- in `Foo.hs`:
module Foo where
import Data.Int
x = 56 :: Int8
jj :: Int8 -- whether this is here or not doesn't eliminate the error
jj = x + x
{-
src\Foo.hs:6:8: error:
Variable not in scope: (+) :: Int8 -> Int8 -> t
-}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment