Ignore-this: a632d730fd781015a46010bd2dd6f6eb

darcs-hash:20101221080317-dcabc-d35cdf796a690fc1c562b013a287f4a0d318cd06.gz

Ignore-this: c19584b83a23bd18c4f50e10b7c81678
- Needed as GADT pattern matches need to be rigid in the
  result type, too, in the new type checker.

darcs-hash:20101221143707-6295e-fdeb3e84694c533a663d504622b94a524bbc9c8d.gz

Ignore-this: ca4a8bf538e6a87f15db830e0fddb099
- Array computations embedded in scalar expressions by 'shape',
  'size' and '(!)' operations are now also shared.
- Also fixed a bug in the previous sharing code that could lead
  bindings in let cascades being in the wrong order.
- The sharing code for functions is a kludge and the whole
  sharing recover needs to be re-factored and cleaned up.

darcs-hash:20101220103409-6295e-51e249bd5bad0913f59bd211640d2497fbd73e0d.gz

Ignore-this: 16c81cb7e0dfaf638451e0161719c86a

dumpHtmlAST now writes out stylesheet too.

darcs-hash:20101214224340-4e826-35e0ec14925bd6e25b570ffa0cc4f12dea1ac104.gz

Ignore-this: eabbd8085d8c2763ee802324c7242f56

Generalised the traversal of the AST. Next up, converting Graphviz
pretty printing to use this generalised traversal.

darcs-hash:20101214224226-4e826-6abbe0f8c731a41d4aeb10a1f59d5ca060fda56c.gz

Ignore-this: 1114be712550a760fefbf1026cc2150

darcs-hash:20101214224133-4e826-79bcfadd8e28e2b89328cc85461fe766365d82a7.gz

Ignore-this: ed67c4625c2f724e90eae8f795b66ba8

darcs-hash:20101214224110-4e826-3eba77563af77f63bb45fbdd8ac57598fcb27178.gz

Ignore-this: 8fd4b7310f7a73c9180a9ff41f69507c

The main function is dumpAcc which, given an Acc,
tries to write a PS file using the dot command line tool.
If the dot tool cannot be found in the path it outputs a
DOT file instead.

darcs-hash:20101214224035-4e826-65a658b0bc220aab234427b71e444e769fc6e782.gz

Ignore-this: 1b33d3285fa848e3a633d89a8bbabfbe

Moved the HughesPJ style pretty printing functions into
D.A.A.Pretty.Print. Show instances are still in D.A.A.Pretty

We will be putting other pretty printing modules under D.A.A.Pretty.
e.g. for GraphViz.

darcs-hash:20101214223901-4e826-e107968d658c58ba36c6fca6630ef29f2a8125f1.gz

Ignore-this: 74f8f17299e954e2e3e8ca9f7cc5ccbe

darcs-hash:20101214065211-dcabc-83d69154c1c5e3835f8a9eac6ecd545c172edcf0.gz

Ignore-this: 56889b2717e95e8d2a0a95157dc27e12

darcs-hash:20101214063930-dcabc-f4bc59c3a0fc11f46136dd27f391833185240ba9.gz

Ignore-this: e7423b432b0016a56687963244abe4cd

darcs-hash:20101214061450-dcabc-b34d1599e2420210a1e0fc21868cb7fb73f2df87.gz

Ignore-this: 2b9d383b6b65fa2252b8708499ffed8a

darcs-hash:20101214061045-dcabc-93f24940ca859fc4f69426d70a83957ee64c89ef.gz

Ignore-this: ad455cd23033d1f13daf77d58b054e17

darcs-hash:20101210074424-6e86c-12d642c804122b14b2006a06c1ee25f3af99078e.gz

Ignore-this: e82bceb304e437ee24db5eb310b46e44

darcs-hash:20101213052706-dcabc-0a88b41c6c76bf40ba5107e6002d4e13ffae78dc.gz

Ignore-this: cca00f4652e9fb37a152b1fe179b3c09

darcs-hash:20101208233453-4e826-edb865992e70d64c65d3350edb00567714757930.gz

Ignore-this: 74760f23a39a16b52034fb85a3f3f874

darcs-hash:20101213041819-dcabc-9b14a9d33f24a209d282b06f824734e22f5d06c5.gz

Ignore-this: 29b2d124475b5b77f346782d615ecb7d

darcs-hash:20101213025328-dcabc-4865659ff702d79f8c5f70f461871ec43a198bca.gz

Ignore-this: e509a1335198c6baa77f7ec5212c29a1
- one warp per innermost projection
- direct index calculations and aligned memory access

darcs-hash:20101210043945-dcabc-afeb47c538cdc11e6405d1410221a4ff244a5d07.gz

Ignore-this: 2275f715e3565c7fbc0f32013eb92a5c
- use templates so that some methods can be defined inductively

darcs-hash:20101210040528-dcabc-0cc6bb78ffa3803be5a2cc40bd38f378f9d4248f.gz

Ignore-this: 609a2408dd40fee4b8ee436f92450de7

darcs-hash:20101210030018-dcabc-cf16b6a001f7a6b1c089e0312c03b8b9834c179e.gz

Ignore-this: c10719a234096c96349d89e041ae3231

darcs-hash:20101209054333-dcabc-e8daae5e7fbf1669718081f9a28097b670003770.gz

Ignore-this: cf60ee0fb6dffee14dae6c1da62523fc

darcs-hash:20101209051947-dcabc-1feadd85a1d2f7fc6e682fdf86826edc2faf14c3.gz

Ignore-this: 5a1ae103145d7403eb2d5db065a1bec4
- specifically, we need arrays to be declared volatile to inhibit certain memory
  optimisations and ensure results are actually written to [shared] memory. This
  was previously only apparent on Fermi architectures (Trac:27) but the CUDA-3.2
  release seems to be more sensitive (or aggressive).
- due to the way type synonyms are used for skeletons with associative operators
  (such as fold) the input arrays in this case are also marked volatile. This
  shouldn't be too problematic...
- alternatively, create a new set of types for use only with shared memory,
  together with conversion functions.

darcs-hash:20101209050449-dcabc-d1626d9a542910d2aac776111efadf51e48fed3e.gz

Ignore-this: e666505767443e6f30bc82f829839190
- 'Lift' and 'Unlist' provide 'lift' and 'unlift' that replace
  the previous tuple/untuple and index/unindex functions.
- The new functions are more flexible as they can lift from
  vanilla Haskell types as well as from constructors around
  scalar Accelerate expressions (unlift naturally only works
  for the latter).
- For the moment tuple/untuple and index/unindex are still
  available, though deprecated and as aliases for lift/unlift

darcs-hash:20101209045330-6295e-17b3b862c2209771c392079c0d12ebca8e5ece0e.gz

Ignore-this: 14bdc9d91f54044aebc5b5e1947d704c

darcs-hash:20101208085956-dcabc-443e9a37c7f55edeb126343c081718a9d05c1165.gz

Ignore-this: 19d37c2db8386a412e2b7a692dbc38f0

darcs-hash:20101208080146-dcabc-223f4c3fe94244959b7eccc37b78fadc02225cfe.gz

Ignore-this: 3034d666b1fbb018f6a7b4105ca85336
- warps should now be coalesced _and_ aligned

darcs-hash:20101206041325-dcabc-d274f4bc61ba973a416b5203992ab41e76457fb5.gz

Ignore-this: e854e8544e1edf52a2edc3acce24107e

darcs-hash:20101203073615-dcabc-83733547a69ffd832cecc418ac6a815718b05580.gz

Ignore-this: 3889a10b286245bcac278916edf1cf6c

darcs-hash:20101203060922-dcabc-38c6a49fcf893773e7294b22d2a045a0deeace32.gz

Ignore-this: f601acd24b764a7d7a65ea4f2625293b

darcs-hash:20101202124822-6295e-5aaebebd1495fe155d828d48721d689017da3059.gz

Ignore-this: ad71872abee0be0f4b9b41f0a4b0debe
- one block of threads per projection along an innermost dimension (warp?)
- may be able to optimise by incrementing the array indexes directly rather than
  conversion to/from multidimensional form

darcs-hash:20101203024853-dcabc-cb5b5cd7727da537c0e69eb0dd39e73d78bc33b1.gz

Ignore-this: ceced4b9bab0248690be372f1afd8f53

darcs-hash:20101201123749-6295e-d8014d7afd2a35f2bb5350d5f30cb5f2c2992fa9.gz

Ignore-this: a7986713598bff4296bcf90186aaa676

darcs-hash:20101130092823-dcabc-fde2fe7b2264f4200e874f2862758b9e4ee90683.gz

Ignore-this: c567b2d4cd7a3e32c4738cc06cd2aeb9

darcs-hash:20101130092605-dcabc-d9fa752265af9ebf69bb5360575573731b3106eb.gz

Ignore-this: 79cbd0c0bb05745f17dccb3cd095edc2

darcs-hash:20101130091559-dcabc-77ee4d7bab44e9003143f1a99e11e63a30d42825.gz

Ignore-this: 20d8ec9675a353e1bf4b5b0601b83e1c
- 'Elem'     -> 'Elt'
- 'Ix'       -> 'Shape'
- 'SliceIx'  -> 'Slice'
- 'Slice'    -> 'SliceShape'
- 'SliceDim' -> 'SliceShape'
- 'CoSlice'  -> 'CoSliceShape'

darcs-hash:20101129110746-6295e-8b969dbdc383db44882862b9223788b7cc1ea4e8.gz

Ignore-this: 2827782057fc3340fc62ae363f9fc097

darcs-hash:20101129035252-6295e-7e67feaaa4dde5b68a5ee3ca1b709553d532bc64.gz

Ignore-this: 2c523799441e20055f7c670a385968f3

darcs-hash:20101129044627-dcabc-06e3f66569bbbe5003696e6fa2fef8413a51225b.gz

Ignore-this: 8e823de869ee1f43355b077b2bb49105

darcs-hash:20101129040752-dcabc-a951fff1b2d30e6406c15b59b21a0f6bbc034cba.gz