- jhc - Haskell.org

Re: [jhc] [Haskell] ANNOUNCE: jhc-0.8.1
by John Meacham 13 May '14

13 May '14

Hi, I need to update that page, I compile it with the ubuntu ghc and the ubuntu packaged ones. Can you tell me what libraries you are having issues with? the ./configure should tell you the names of any that I expected might be an issue, I'll actually update it to check and report on everything consistently. even ones I expect to come with ghc. If there are compatibility issues between versions that's a bug I can fix. (usually just a 'hiding' or explicit import will fix any such issue) as for the packages i've been testing with fgl,regex-compat,bytestring,binary,mtl,containers,unix,utf8-string,zlib,HsSyck,filepath,process,syb,old-time,pretty. Specific versions should not matter from anything back in ghc 7.2 days to now, if there is a bug where it won't compile with a version expected to be found in the wild, please feel free to report it. John On Mon, May 12, 2014 at 12:10 PM, Krzysztof Skrzętnicki <gtener(a)gmail.com> wrote: > Hello, > > I tried compiling jhc from source (compiled version doesn't work on my > system) but after several attempts I just couldn't find a working set of > libraries for it. Can you specify which versions of libraries are known to > work for jhc? > > Best regards, > Krzysztof Skrzętnicki > > > On Sun, May 11, 2014 at 10:20 PM, John Meacham <john(a)repetae.net> wrote: >> >> After a hiatus, jhc 0.8.1 is released. >> >> http://repetae.net/computer/jhc >> >> - New license, jhc is now released under a permissive BSD style licence >> rather >> than the GPL. The license is compatible with that of ghc allowing code >> mixing >> between them. >> >> - New library layout based around the standards, there are now haskell98 >> and >> haskell2010 packages that are guarenteed to be future proof strictly >> compatible with the respective standards. A package haskell-extras >> contains >> the additonal libraries from ghc's base. >> >> - Native support for complex and vector SIMD primitives, exposed via type >> functions. for instance 'foo :: Complex_ Float32_' for hardware >> accelerated >> complex 32 bit floats for instance. These are unboxed only for now, full >> library Num support in the works. >> >> - support for android as a target, you must install the android NDK to use >> this. >> >> - Support for embedded ARM architectures imported from Kiwamu Okabe's >> branch >> allowing targeting bare hardware with no OS. >> >> - user defined kinds, introduced with the 'kind' keyword otherwise looking >> like >> 'type' declarations. >> >> - export/import lists now allow namespace qualifiers kind, class, type, or >> data >> to explicitly only import or export the specific named entity. As an >> extension allowed by this, classes and types no longer are in the same >> namespace and can share names. >> >> - ForeignPtr's now have working finalizers when collected by the RTS. >> >> - CTYPE pragma to allow promoting arbitrary C types to FFIable entities. >> _______________________________________________ >> Haskell mailing list >> Haskell(a)haskell.org >> http://www.haskell.org/mailman/listinfo/haskell > > -- John Meacham - http://notanumber.net/

2 2

Re: [jhc] darcs patch: Fixer/VMap: avoid clashing with Data.Typ... (and 1 more)
by John Meacham 12 May '14

12 May '14

Thanks! Patches have been applied and pushed. John On Mon, May 12, 2014 at 12:22 AM, Sergei Trofimovich <slyfox(a)community.haskell.org> wrote: > 2 patches for repository http://repetae.net/repos/jhc: > > Mon May 12 10:15:45 FET 2014 Sergei Trofimovich <slyfox(a)community.haskell.org> > * Fixer/VMap: avoid clashing with Data.Typeable.Proxy > > Fails on ghc-7.8 thusly: > [ 83 of 182] Compiling Fixer.VMap ( src/Fixer/VMap.hs, src/Fixer/VMap.o ) > > src/Fixer/VMap.hs:29:28: > Ambiguous occurrence Proxy > It could refer to either Fixer.VMap.Proxy , > defined at src/Fixer/VMap.hs:33:1 > or Data.Typeable.Proxy , > imported from Data.Typeable at src/Fixer/VMap.hs:16:1-20 > (and originally defined in Data.Proxy ) > > Mon May 12 10:21:14 FET 2014 Sergei Trofimovich <slyfox(a)community.haskell.org> > * Util.Interact: fix build failure against readline > > On ghc with both readline and editline enabled fails thusly: > [ 84 of 182] Compiling Util.Interact ( src/Util/Interact.hs, src/Util/Interact.o ) > > src/Util/Interact.hs:41:5: > Not in scope: setCompletionEntryFunction > > src/Util/Interact.hs:42:10: > Not in scope: readline > Perhaps you meant one of these: > readLine (line 40), readFile (imported from IO) > > src/Util/Interact.hs:46:19: Not in scope: addHistory > src/Util/Interact.hs:154:29: Not in scope: addHistory > src/Util/Interact.hs:188:19: Not in scope: addHistory > > > [Fixer/VMap: avoid clashing with Data.Typeable.Proxy > Sergei Trofimovich <slyfox(a)community.haskell.org>**20140512071545 > Ignore-this: 10d60bdf29789790a666b6231575f1b1 > > Fails on ghc-7.8 thusly: > [ 83 of 182] Compiling Fixer.VMap ( src/Fixer/VMap.hs, src/Fixer/VMap.o ) > > src/Fixer/VMap.hs:29:28: > Ambiguous occurrence 'Proxy' > It could refer to either 'Fixer.VMap.Proxy', > defined at src/Fixer/VMap.hs:33:1 > or 'Data.Typeable.Proxy', > imported from 'Data.Typeable' at src/Fixer/VMap.hs:16:1-20 > (and originally defined in 'Data.Proxy') > ] hunk ./src/Fixer/VMap.hs 16 > )where > > import Data.Monoid(Monoid(..)) > -import Data.Typeable > +import qualified Data.Typeable as T -- qualified to avoid clashing with T.Proxy > import List(intersperse) > import qualified Data.Map as Map > import qualified Data.Set as Set > hunk ./src/Fixer/VMap.hs 31 > vmapArgs :: Map.Map (n,Int) (VMap p n), > vmapNodes :: Either (Proxy p) (Set.Set n) > } > - deriving(Typeable) > + deriving(T.Typeable) > > data Proxy p = Proxy p | DepthExceeded > hunk ./src/Fixer/VMap.hs 34 > - deriving(Eq,Ord,Typeable) > + deriving(Eq,Ord,T.Typeable) > > instance Show p => Show (Proxy p) where > showsPrec n (Proxy p) = showsPrec n p > [Util.Interact: fix build failure against readline > Sergei Trofimovich <slyfox(a)community.haskell.org>**20140512072114 > Ignore-this: b064847e105d135da3358607654de267 > > On ghc with both readline and editline enabled fails thusly: > [ 84 of 182] Compiling Util.Interact ( src/Util/Interact.hs, src/Util/Interact.o ) > > src/Util/Interact.hs:41:5: > Not in scope: 'setCompletionEntryFunction' > > src/Util/Interact.hs:42:10: > Not in scope: 'readline' > Perhaps you meant one of these: > 'readLine' (line 40), 'readFile' (imported from IO) > > src/Util/Interact.hs:46:19: Not in scope: 'addHistory' > src/Util/Interact.hs:154:29: Not in scope: 'addHistory' > src/Util/Interact.hs:188:19: Not in scope: 'addHistory' > ] hunk ./src/Util/Interact.hs 26 > import IO > #if USE_EDITLINE > ;import System.Console.Editline.Readline > -#elif USE_NOLINE > +#elif USE_READLINE > ;import System.Console.Readline > #endif > > > -- John Meacham - http://notanumber.net/

1 0

Re: [jhc] [Haskell] ANNOUNCE: jhc-0.8.1
by John Meacham 11 May '14

11 May '14

On Sun, May 11, 2014 at 1:26 PM, Henning Thielemann <schlepptop(a)henning-thielemann.de> wrote: > Could you clarify the current relation between jhc and ajhc. Are they > independent from each other, or does ajhc still pull all features from jhc? I try to pull what I can back from ajhc, I had to take a break from developing jhc for a bit (grumble) so it was easier for kiwamu to branch on his own. As long as we don't diverge too much, there shouldn't be an issue sharing any patches between them. I don't see us diverging much as kiwamu is working mainly on the embedded targets, I'm in the process of revamping the intermediate representation to allow faster/better/easier optimizations and fixing some warts on the type system with the powers of hindsight and some inspiring papers by SPJ :) John

2 1

ANNOUNCE: jhc-0.8.1
by John Meacham 11 May '14

11 May '14

After a hiatus, jhc 0.8.1 is released. http://repetae.net/computer/jhc - New license, jhc is now released under a permissive BSD style licence rather than the GPL. The license is compatible with that of ghc allowing code mixing between them. - New library layout based around the standards, there are now haskell98 and haskell2010 packages that are guarenteed to be future proof strictly compatible with the respective standards. A package haskell-extras contains the additonal libraries from ghc's base. - Native support for complex and vector SIMD primitives, exposed via type functions. for instance 'foo :: Complex_ Float32_' for hardware accelerated complex 32 bit floats for instance. These are unboxed only for now, full library Num support in the works. - support for android as a target, you must install the android NDK to use this. - Support for embedded ARM architectures imported from Kiwamu Okabe's branch allowing targeting bare hardware with no OS. - user defined kinds, introduced with the 'kind' keyword otherwise looking like 'type' declarations. - export/import lists now allow namespace qualifiers kind, class, type, or data to explicitly only import or export the specific named entity. As an extension allowed by this, classes and types no longer are in the same namespace and can share names. - ForeignPtr's now have working finalizers when collected by the RTS. - CTYPE pragma to allow promoting arbitrary C types to FFIable entities.

2 1

Re: [jhc] [Haskell-cafe] Rewrite NetBSD kernel driver using Ajhc Haskell compiler
by Kiwamu Okabe 20 Feb '14

20 Feb '14

Hi Johnny, On Thu, Feb 20, 2014 at 5:37 PM, Johnny Billquist <bqt(a)update.uu.se> wrote: > Are you saying that you essentially avoid GC by creating a large fresh heap > every time you call something written in Haskell, and then delete the heap > when the Haskell function returns? And that the current piece of code > running in Haskell is short enough that GC never is done? No, does not delete. Pool it. See following code compiled by Ajhc. Ajhc compile Haskell code into C code. https://gist.github.com/master-q/9109334 Please note auichIntr() function that is entry point C => Haskell. https://gist.github.com/master-q/9109334#file-hsmain-c-L2051 int auichIntr(HsPtr x272) { arena_t arena; gc_t gc; gc = NULL; arena = NULL; jhc_alloc_init(&gc,&arena); jhc_hs_init(gc,arena); int x273 = ((int)fFE$__CCall_auichIntr(gc,arena,(uintptr_t)x272)); jhc_alloc_fini(gc,arena); return x273; } The code post-calls jhc_alloc_fini() that pool Haskell heap (named megablock) into free_megablocks. https://github.com/ajhc/ajhc/blob/d93468e34f4514209048d4a92b1549e079ccd3fb/… void jhc_alloc_fini(gc_t gc,arena_t arena) { -- snip -- SLIST_FOREACH(pg, &arena->monolithic_blocks, link) { SLIST_INSERT_HEAD(&free_monolithic_blocks, pg, link); } SLIST_FOREACH(mb, &arena->megablocks, next) { SLIST_INSERT_HEAD(&free_megablocks, mb, next); } if(arena->current_megablock) { SLIST_INSERT_HEAD(&free_megablocks, arena->current_megablock, next); } Also s_alloc(), Haskell heap allocator, try to get Haskell heap from the pool. If not found, it posix_memalign new megablock. https://github.com/ajhc/ajhc/blob/d93468e34f4514209048d4a92b1549e079ccd3fb/… struct s_megablock * s_new_megablock(arena_t arena) { jhc_rts_lock(); struct s_megablock *mb = SLIST_FIRST(&free_megablocks); if (mb) { SLIST_REMOVE(&free_megablocks, mb, s_megablock, next); } else { mb = malloc(sizeof(*mb)); #ifdef _JHC_JGC_LIMITED_NUM_MEGABLOCK static int count = 0; if (count >= _JHC_JGC_LIMITED_NUM_MEGABLOCK) { abort(); } mb->base = aligned_megablock + (MEGABLOCK_SIZE) * count; count++; #else mb->base = jhc_aligned_alloc(MEGABLOCK_SIZE); #endif Regards, -- Kiwamu Okabe

1 0

Re: [jhc] [Haskell-cafe] Rewrite NetBSD kernel driver using Ajhc Haskell compiler
by Kiwamu Okabe 20 Feb '14

20 Feb '14

Hi Mike, On Thu, Feb 20, 2014 at 8:34 AM, Mike Meyer <mwm(a)mired.org> wrote: >> Running a simple logic in the kernel, it doesn't call GC. > > Having looked over the source, I couldn't get much of a feel for it - > it mostly seemed to be FFI & type declarations. Which does make sense > since the goal is to provide strong type checking in the kernel. Maybe > I'm looking in the wrong place in that rather large repository? You are right. It's just "exercise". I would like to prove that can write code with functional language in interrupt context. > My question is how much does coding to meet the requirements for a > device driver - not doing GC being one of them - warp the resulting > Haskell code? Is it still pretty much idiomatic Haskell, or would it > be easier for a Haskell programmer to figure out the C it replaced? > Most of the time I've seen people try and get a modern language to > meet such requirements (me included), you might as well have stuck > with C as far as code improvement goes. This exercise has logic code at following. https://github.com/metasepi/netbsd-arafura-s1/blob/arafura-s1/metasepi/sys/… https://github.com/metasepi/netbsd-arafura-s1/blob/arafura-s1/metasepi/sys/… https://github.com/metasepi/netbsd-arafura-s1/blob/arafura-s1/metasepi/sys/… I re-write these from NetBSD's implementation, for a month. But now can get more speed with our new tool, convert C language API definition into Haskell API definition semi-automatically. https://github.com/ajhc/struct2hs Following is usage of the tool. $ struct2hs $HOME/src/netbsd-arafura-s1/obj/tooldir/bin/i486--netbsdelf-gcc "-Di386 -I$HOME/src/netbsd-arafura-s1/sys/arch/i386/compile/obj/GENERIC_HS ... sys/dev/pci/hdaudio/hdaudio.c | tail -15 newtype {-# CTYPE "struct pdevinit" #-} Pdevinit = Pdevinit () foreign import primitive "const.sizeof(struct pdevinit)" sizeOf_Pdevinit :: Int foreign import primitive "const.offsetof(struct pdevinit, pdev_attach)" offsetOf_Pdevinit_pdev_attach :: Int p_Pdevinit_pdev_attach :: Ptr Pdevinit -> IO (Ptr (Ptr (FunPtr (Int -> IO ())))) p_Pdevinit_pdev_attach p = return $ plusPtr p $ offsetOf_Pdevinit_pdev_attach foreign import ccall "dynamic" call_Pdevinit_pdev_attach :: FunPtr (Int -> IO ()) -> Int -> IO () foreign import primitive "const.offsetof(struct pdevinit, pdev_count)" offsetOf_Pdevinit_pdev_count :: Int p_Pdevinit_pdev_count :: Ptr Pdevinit -> IO (Ptr Int) p_Pdevinit_pdev_count p = return $ plusPtr p $ offsetOf_Pdevinit_pdev_count > One of the advantages C has in the kernel - the BSD kernels, anyway, > reading Linux kernel makes me queasy - is that it isn't that different > from C in userland. And the kernel groups have been working on > reducing over the differences. I hope so... But, I think Ajhc is not good for real kernel products, after this hard challenge. ATS language is much betther than Ajhc. Hongwei, as ATS author, says following. I perfectly agree his opinion. http://metasepi.org/posts/2013-12-24-jats-ug.html#%E4%B8%80%E9%80%9A%E3%81%… Regards, -- Kiwamu Okabe

1 0

Re: [jhc] [Haskell-cafe] Rewrite NetBSD kernel driver using Ajhc Haskell compiler
by Kiwamu Okabe 19 Feb '14

19 Feb '14

Hi Johnny, On Wed, Feb 19, 2014 at 11:57 PM, Johnny Billquist <bqt(a)update.uu.se> wrote: > Maybe someone with more insight could explain to an idiot like me how > Haskell garbage collection is handled when running in the kernel? First, s_alloc() is Ajhc Haskell compiler's allocator, and gc_perform_gc() is GC runner. https://github.com/ajhc/ajhc/blob/6c053b940812689fe22d2dbe2b7ad835dab8a3c7/… https://github.com/ajhc/ajhc/blob/6c053b940812689fe22d2dbe2b7ad835dab8a3c7/… The s_alloc() try to find free area. But if not, it runs GC. https://github.com/ajhc/ajhc/blob/6c053b940812689fe22d2dbe2b7ad835dab8a3c7/… By the way, where from s_alloc() get a memory chunk? Now using kern_malloc(9). https://github.com/metasepi/netbsd-arafura-s1/blob/arafura-s1/metasepi/sys/… Regards, -- Kiwamu Okabe

1 1

Rewrite NetBSD kernel driver using Ajhc Haskell compiler
by Kiwamu Okabe 19 Feb '14

19 Feb '14

Hi all, NetBSD kernel's HD Audio sound driver has interrupt handler. The interrupt handler of the demo is re-written by Haskell language using Ajhc Haskell Compiler http://ajhc.metasepi.org/. Demo movie could be found at following link. http://www.youtube.com/watch?v=XEYcR5RG5cA At the demo, run following operations. First, set breakpoint at the interrupt of finding headphone, and see Haskell function names on backtrace. Second, set breakpoint s_alloc() function, that allocate area in Haskell heap. Make sure of calling the function while anytime running kernel. Nevertheless, playing wav file does not break up. The source code is found at https://github.com/metasepi/netbsd-arafura-s1. And a picture of the architecture is also at http://www.flickr.com/photos/masterq/12616929055/. Thank's, -- Kiwamu Okabe

1 0

ANNOUNCE: Ajhc Haskell Compiler 0.8.0.10 Release
by Kiwamu Okabe 18 Dec '13

18 Dec '13

We are happy to announce Ajhc 0.8.0.10 as Christmas release! You can get Ajhc using "cabal install drift && cabal install ajhc" command. The usage is found at Ajhc's project web site http://ajhc.metasepi.org/. The source code at https://github.com/ajhc/ajhc. Welcome sending any bugs or your ideas to https://github.com/ajhc/ajhc/issues. ## News ### Android demo Android demo application using Haskell is available at Google Play. https://play.google.com/store/apps/details?id=org.metasepi.ajhc.android.cube ### Clear license notification * Runtime: [MIT License](https://github.com/ajhc/ajhc/blob/master/rts/LICENSE) * Haskell libraries: [MIT License](https://github.com/ajhc/ajhc/blob/master/lib/LICENSE) * The others: [GPLv2 or Later](https://github.com/ajhc/ajhc/blob/arafura/COPYING) ## Other changes * Depend on DrIFT again / Do not need derive * Fix GC root BUG * Use findExecutable instead of the raw `which` * Come back bytestring * And fix other BUGs Enjoy! :) - - - Metasepi team

1 0

Lista de emails email lista gratis marketing email
by Ed Soares 24 Nov '13

24 Nov '13

Lista de emails email lista gratis marketing email endereco de email compreendendo lista de emails, programa para enviar e mail envio de emails: http://www.maladiretaemails.com todos entendem que email marketing gratis, é benéfico para muitas pessoas. mala direta em casa cadastro email incluindo lista de emails, lista de mail mailing, a intenção de nosso website. Se você está procurando envio de emails, programa para enviar e mail e também envio de emails: http://www.maladiretaemails.com é bom emails de empresas também contendo listas de email, mala direta em casa lista emails gratis. é muito legal newsletter e, além disso e-mail marketing o que é. lista de emails gratis list mail, enderecos de email. hoje em dia listas email também Enviar email, lista com emails é um maravilhoso. será o propósito de nosso Site: programa para enviar e mail, Enviar email, e bem como emails de empresas. o perfeito em listas email emails de empresas, Enviar email gratis.

1 0