- jhc - Haskell.org

darcs patch: parse SPECIALIZE instance pragmas (and 2 more)
by John Meacham 04 Mar '09

04 Mar '09

Wed Mar 4 03:18:05 PST 2009 John Meacham <john(a)repetae.net> * parse SPECIALIZE instance pragmas Wed Mar 4 03:18:31 PST 2009 John Meacham <john(a)repetae.net> * add 'containers' package to distributed packages Wed Mar 4 03:22:34 PST 2009 John Meacham <john(a)repetae.net> * fix name of Read class

1 0

darcs patch: major clean ups to Desugar module, remov... (and 2 more)
by John Meacham 01 Mar '09

01 Mar '09

Fri Feb 27 20:52:44 PST 2009 John Meacham <john(a)repetae.net> * major clean ups to Desugar module, remove almost 200 lines of code inherited from hatchet Fri Feb 27 21:07:36 PST 2009 John Meacham <john(a)repetae.net> * add Eq and Ord istances for ForeignPtr Fri Feb 27 21:28:50 PST 2009 John Meacham <john(a)repetae.net> * add hIsEOF and hWaitForInput to standard library

1 0

darcs patch: thread options into the renamer and simp... (and 4 more)
by John Meacham 01 Mar '09

01 Mar '09

Fri Feb 27 18:14:01 PST 2009 John Meacham <john(a)repetae.net> * thread options into the renamer and simplify renamer some by leaving wrapping of constructors to the type checker Fri Feb 27 18:37:28 PST 2009 John Meacham <john(a)repetae.net> * added HsLet, HsDo, and HsLocated to syntax traversal code Fri Feb 27 19:45:20 PST 2009 John Meacham <john(a)repetae.net> * don't desugar list comprehensions until after renaming has occured, always bind to the prelude functions in list comprehension expansion Fri Feb 27 20:15:35 PST 2009 John Meacham <john(a)repetae.net> * clean up some old cruft dealing with names Fri Feb 27 20:23:30 PST 2009 John Meacham <john(a)repetae.net> * don't desugar do bindings until after renaming

1 0

darcs patch: various library fixes, added minusPtr, o... (and 2 more)
by John Meacham 01 Mar '09

01 Mar '09

Fri Feb 27 06:25:45 PST 2009 John Meacham <john(a)repetae.net> * various library fixes, added minusPtr, openBinaryFile, hGetLine, fixed type for C finalizers Fri Feb 27 06:26:07 PST 2009 John Meacham <john(a)repetae.net> * allow foreign import specification parameters to appear in arbitrary order Fri Feb 27 06:30:40 PST 2009 John Meacham <john(a)repetae.net> * clean up old renaming code for HsExp

1 0

darcs patch: allow foreign exporting functions with u... (and 5 more)
by John Meacham 01 Mar '09

01 Mar '09

Fri Feb 27 00:31:38 PST 2009 John Meacham <john(a)repetae.net> * allow foreign exporting functions with unboxed arguments and return values Fri Feb 27 01:03:27 PST 2009 John Meacham <john(a)repetae.net> * clean up code some, add Addr_ and FunAddr_ unboxed newtypes for when you need to use a specific calling convention with foreign code Fri Feb 27 02:42:45 PST 2009 John Meacham <john(a)repetae.net> * add stub typeable library Fri Feb 27 02:50:42 PST 2009 John Meacham <john(a)repetae.net> * fix creation of complicated conjured type names, don't print built in data table entries unless requested Fri Feb 27 04:39:45 PST 2009 John Meacham <john(a)repetae.net> * add ffi export and import regression test Fri Feb 27 04:42:54 PST 2009 John Meacham <john(a)repetae.net> * add System.Environment

1 0

darcs patch: allow foreign exporting functions with u... (and 5 more)
by John Meacham 01 Mar '09

01 Mar '09

Fri Feb 27 00:31:38 PST 2009 John Meacham <john(a)repetae.net> * allow foreign exporting functions with unboxed arguments and return values Fri Feb 27 01:03:27 PST 2009 John Meacham <john(a)repetae.net> * clean up code some, add Addr_ and FunAddr_ unboxed newtypes for when you need to use a specific calling convention with foreign code Fri Feb 27 02:42:45 PST 2009 John Meacham <john(a)repetae.net> * add stub typeable library Fri Feb 27 02:50:42 PST 2009 John Meacham <john(a)repetae.net> * fix creation of complicated conjured type names, don't print built in data table entries unless requested Fri Feb 27 04:39:45 PST 2009 John Meacham <john(a)repetae.net> * add ffi export and import regression test Fri Feb 27 04:42:54 PST 2009 John Meacham <john(a)repetae.net> * add System.Environment

1 0

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