Difference between revisions of "Cookbook/Compilers and interpreters"
< Cookbook
Jump to navigation
Jump to search
(→GHC) |
(→GHC) |
||
Line 18: | Line 18: | ||
| -S |
| -S |
||
|<haskell>ghc -S Foo.hs --> Foo.hi, Foo.s</haskell> |
|<haskell>ghc -S Foo.hs --> Foo.hi, Foo.s</haskell> |
||
+ | |- |
||
+ | | generating Ccode |
||
+ | | -S |
||
+ | |<haskell>ghc -C Foo.hs --> Foo.hc, Foo.hi</haskell> |
||
|- |
|- |
||
| linking files into an executable |
| linking files into an executable |
Revision as of 08:47, 31 August 2009
GHC
Problem | Solution | Examples |
---|---|---|
compiling and linking an executable | --make | ghc -- make Main.hs --> Main
|
compiling a file, without linking | -c | ghc -c Foo.hs --> Foo.hi, Foo.o
|
generating Assembler code | -S | ghc -S Foo.hs --> Foo.hi, Foo.s
|
generating Ccode | -S | ghc -C Foo.hs --> Foo.hc, Foo.hi
|
linking files into an executable | -o | ghc -o test Foo.o Bar.o Baz.p --> test
|
GHCi
Problem | Solution | Examples |
---|---|---|
checking a definition | :i | Prelude> :i Monad
class Monad m where
(>>=) :: m a -> (a -> m b) -> m b
(>>) :: m a -> m b -> m b
return :: a -> m a
fail :: String -> m a
-- Defined in GHC.Base
instance Monad Maybe -- Defined in Data.Maybe
instance Monad IO -- Defined in GHC.IOBase
instance Monad ((->) r) -- Defined in Control.Monad.Instances
instance Monad [] -- Defined in GHC.Base
|
checking a type | :t | Prelude> :t "Hello"
"Hello" :: [Char]
Prelude> :t length
length :: [a] -> Int
|
Hugs
TODO