February 2009 - jhc - Haskell.org

darcs patch: TAG shlamasfasp (and 20 more)
by John Meacham 26 Feb '09

26 Feb '09

Tue Feb 24 03:43:38 PST 2009 John Meacham <john(a)repetae.net> tagged shlamasfasp Tue Feb 24 03:43:57 PST 2009 John Meacham <john(a)repetae.net> * update datestamp Tue Feb 24 14:21:28 PST 2009 John Meacham <john(a)repetae.net> * include jhc.spec in the generated tarball so rpmbuild -ta will work Tue Feb 24 14:40:37 PST 2009 John Meacham <john(a)repetae.net> * allow empty top level declarations Tue Feb 24 14:52:06 PST 2009 John Meacham <john(a)repetae.net> * add 'nbody' shootout entry to regression test, integrate Kleisli failing case to KindInference test Tue Feb 24 15:00:28 PST 2009 John Meacham <john(a)repetae.net> * clean out environment in regression testing script. only pass '-v' to jhc when -v passed to regression tester Tue Feb 24 17:06:30 PST 2009 John Meacham <john(a)repetae.net> * fix some compile warnings Wed Feb 25 20:48:18 PST 2009 John Meacham <john(a)repetae.net> * simplify id choosing code in E.SSimplify, get rid of some unused exports in Name.Id Wed Feb 25 21:10:15 PST 2009 John Meacham <john(a)repetae.net> * use 'Integer' when printing C types to avoid overflow on 32 bit ghcs Wed Feb 25 22:01:35 PST 2009 John Meacham <john(a)repetae.net> * improve show instance for MetaVar Wed Feb 25 22:11:36 PST 2009 John Meacham <john(a)repetae.net> * add a rountine to quantify over several types at once Wed Feb 25 22:12:50 PST 2009 John Meacham <john(a)repetae.net> * use quantify_n when typing mutually recursive binding groups Thu Feb 26 00:13:53 PST 2009 John Meacham <john(a)repetae.net> * improve printing of CPR annotations, trim annotations to 5 levels deep to avoid slowdown with large amounts of constant data Thu Feb 26 00:23:36 PST 2009 John Meacham <john(a)repetae.net> * various cleanups to E.Demand Thu Feb 26 00:46:03 PST 2009 John Meacham <john(a)repetae.net> * remove some information from demand analysis results to help speed up jhc Thu Feb 26 01:34:04 PST 2009 John Meacham <john(a)repetae.net> * allow empty field patterns Thu Feb 26 02:58:27 PST 2009 John Meacham <john(a)repetae.net> * added some new library modules, Data.Function Control.Monad.Fix Control.Monad.Instances Thu Feb 26 03:15:08 PST 2009 John Meacham <john(a)repetae.net> * improve handling of conversion between the arrow constructor and the arrow function Thu Feb 26 03:35:47 PST 2009 John Meacham <john(a)repetae.net> * bring in Data.Monoid from the ghc libraries for compatability Thu Feb 26 03:45:34 PST 2009 John Meacham <john(a)repetae.net> * add Data.Unique module to library Thu Feb 26 03:53:08 PST 2009 John Meacham <john(a)repetae.net> * add 'applicative' package, which has Control.Applicative, Control.Arrow Control.Category Data.Foldable and Data.Traversable

1 0

darcs patch: TAG hichyodoteut (and 10 more)
by John Meacham 24 Feb '09

24 Feb '09

Sat Feb 21 17:31:17 PST 2009 John Meacham <john(a)repetae.net> tagged hichyodoteut Sat Feb 21 17:55:32 PST 2009 John Meacham <john(a)repetae.net> * improve main web page Sun Feb 22 05:31:19 PST 2009 John Meacham <john(a)repetae.net> * get rid of showId in favor of using Id show instance directly Sun Jan 25 19:40:47 PST 2009 Samuel Bronson <naesten(a)gmail.com> * Error message layout wibble in E.TypeCheck Sun Feb 22 06:04:25 PST 2009 John Meacham <john(a)repetae.net> * clean up use of anonymous ids Mon Feb 23 05:12:24 PST 2009 John Meacham <john(a)repetae.net> * improve documentation on core type system Mon Feb 23 20:27:11 PST 2009 John Meacham <john(a)repetae.net> * use new associative pretty printer Mon Feb 23 21:41:01 PST 2009 John Meacham <john(a)repetae.net> * honor precedence in the type pprint instance Tue Feb 24 00:00:21 PST 2009 John Meacham <john(a)repetae.net> * when matching expressions, look inside newtypes and pull apart literals to match against applications of variables Tue Feb 24 00:37:00 PST 2009 John Meacham <john(a)repetae.net> * when creating instance rules, use true unification to determine how to pass arguments to the rule body in favor of assuming they appear in a certain order Tue Feb 24 02:43:52 PST 2009 John Meacham <john(a)repetae.net> * when devolving grin, iterate until fixpoint is reached when deciding what arguments need to be lifted

1 0

Emitting Optimal C
by Rick R 24 Feb '09

24 Feb '09

I have been looking for a functional language that compiles to efficient C/C++ to fufill two rather odd criteria. 1. To conform to the requirements of the iPhone Developers Program. Code must compile in XCode and be either C/C++/Obj-C. Garbage collection is mostly disallowed. Program size and memory must fit below a threshold. 2. Separately, to perform Naive Bayes computation across huge datasets. What is required is function inlining as well as use of SIMD instructions. I would provide the inlined functions via .h's and compile them in with gcc. I really don't know much about language design and development, so I might be way off base here. For the GC, I guess this would imply that there would be a way to fix the scope of closures and other structures that are referenced/collected. With jhc taking a 'full program' approach to analysis and optimization, I thought that this might be possible. Or perhaps there is a way to use ref counting for objects of an indeterminate lifespan instead of incremental (or whichever) garbage collection. I see that jhc see offers a way to specify unboxed values and tuples. And I'm sure there is a way to manage large native arrays as well. Is there a way to pass that data directly to an inline C function that would be compiled in by gcc? (i.e. not loaded from a library through FFI) I've looked through most of the jhc mailing list archives and haven't found any such discussions. Would this be something that would be achievable somewhere in the jhc roadmap, or at least conceivable with a few hacks? -- We can't solve problems by using the same kind of thinking we used when we created them. - A. Einstein

3 4

darcs patch: add bang pattern strictness annotations (and 3 more)
by John Meacham 22 Feb '09

22 Feb '09

Sat Feb 21 02:52:17 PST 2009 John Meacham <john(a)repetae.net> * add bang pattern strictness annotations Sat Feb 21 06:46:38 PST 2009 John Meacham <john(a)repetae.net> * add some more useful regression tests Sat Feb 21 16:11:05 PST 2009 John Meacham <john(a)repetae.net> * fix warnings Sat Feb 21 17:18:36 PST 2009 John Meacham <john(a)repetae.net> * clean up and commend id system more, close last holes in the ADT, create a more efficient binary representation for Ids

1 1

moving to darcs-2 format
by John Meacham 21 Feb '09

21 Feb '09

I have migrated the repository to the darcs-2 hashed repository format. Jhc has a long history and the more robust format will be helpful in the long run. The repository is still at the same location http://repetae.net/repos/jhc and the old darcs 1 repository at the point of crossover is at http://repetae.net/repos/jhc_old enjoy! John -- John Meacham - ⑆repetae.net⑆john⑈

1 0

darcs patch: fix compatability with ghc 6.10 due to D... (and 1 more)
by John Meacham 19 Feb '09

19 Feb '09

Wed Feb 18 00:08:13 PST 2009 John Meacham <john(a)repetae.net> * fix compatability with ghc 6.10 due to Data.Map.lookup type change Ignore-this: 6383f410fc69c2791a2a1184bea3dd70 Wed Feb 18 00:08:47 PST 2009 John Meacham <john(a)repetae.net> * don't abort if DrIFT is not installed Ignore-this: a1d3ecf56256f5d7164998f8d5a142f2

2 2

darcs patch: support Win32 target. (and 5 more)
by John Meacham 18 Feb '09

18 Feb '09

Wed Feb 18 01:33:23 PST 2009 John Meacham <john(a)repetae.net> * support Win32 target. Wed Feb 18 02:19:48 PST 2009 John Meacham <john(a)repetae.net> * add E/Show.hs-boot to the list of hs-boot files Ignore-this: a4243c6a2209237d7c245f409d19f857 Wed Feb 18 02:36:53 PST 2009 John Meacham <john(a)repetae.net> tagged todthicedal Ignore-this: 20a12b57a2c88ffdf4e31fea33a2a4fc Wed Feb 18 02:36:57 PST 2009 John Meacham <john(a)repetae.net> * update datestamp Ignore-this: 38a19570744139ee668fefb24e83a5be Wed Feb 18 03:27:20 PST 2009 John Meacham <john(a)repetae.net> * update documentation Ignore-this: dbfff88da59670d189f90e599f1fd5a7 Wed Feb 18 04:45:59 PST 2009 John Meacham <john(a)repetae.net> * add --print-hsc-options option to jhc Ignore-this: 40b9055b3a4e599bda630f3cfbdaa958

1 0