GitLab

wibble

dsExpr: make sure special case for unboxed tuple patterns only
'fire' when the tup. pat. is unboxed.

Print out warnings/errors in the order they occur in the source code.
(Well...almost, warnings are sorted and printed out on a per-pass basis.)

Fixed a couple of bad bugs in the implementation of 'foreign export ccall dynamic'.

Assorted minor Haskell 98 changes:

  * Maximal munch rule for "--" comments
  * _ as lower-case letter, "_" is a reserved id. Prefixing unused
    variable names in patterns with '_' causes the renamer not to
    report such names as being unused.
  * allow empty decls
  * comprehensions are now list comprehensions, not monadic.
  * use Monad.fail to signal pattern matching errors within
    do expressions.
  * remove record punning.
  * empty contexts are now legal  (go wild!)
  * allow records with no fields
  * allow newtypes with a labelled field
  * default default is now (Integer, Double)
  * turn off defaulting mechanism for args & res to a _ccall_.
  * allow LHSs of the form  (a -.- b) x = ...
  * Main.main can now have type (IO a)
  * nuked Void (and its use in the compiler sources.)
  * deriving machinery for Enum now also generate 'succ' and 'pred'
    method bindings.

Another big commit from Simon.  Actually, the last one
didn't all go into the main trunk; because of a CVS glitch it
ended up in the wrong branch.

So this commit includes:

* Scoped type variables
* Warnings for unused variables should work now (they didn't before)
* Simplifier improvements:
	- Much better treatment of strict arguments
	- Better treatment of bottoming Ids
	- No need for w/w split for fns that are merely strict
	- Fewer iterations needed, I hope
* Less gratuitous renaming in interface files and abs C
* OccName is a separate module, and is an abstract data type

I think the whole Prelude and Exts libraries compile correctly.
Something isn't quite right about typechecking existentials though.

Move 4.01 onto the main trunk.

Relax restriction that 'foreign import' has got to be an IO action

avoid uncessary gcc warning

First take at 'foreign label's

- added primops for read&writing StablePtrs to ByteArrays, Adds and FOs
- egcs crashes in odd ways when encountering the typedefs we need to
  produce when compiling 'foreign import dynamic's. To workaround the
  problem, kludgily add a CCallTypedef constructor to AbsCSyn.AbstractC
  which the flattener will produce (at the toplevel) when encountering
  CCallOps inside COptStmts.
- augmented PrimOp.CCallOp to carry a unique when it represents a
  'foreign import dynamic' call. The CoreToStg pass ensures that these
  uniques are exactly that. They're used to eventuall generate (unique)
  typedef names.

Painfully desugaring foreign decls

New untidy function:
	All Parens are puted there

Now strings give error messages only when necesary.
	And you can mix list of chars and strings whitout problems.
Now records give error messages only when necesary.

When generating the InPats to be included in a warning,
make sure that non-simple conpat args have PatParIns
around them.

Don't understand why the warnings return InPats and not
OutPats though.

mk_thing: Added non-overloaded type signature

typo

Undo previous commit

Simons changes while away at Tic/WG2.8

Reorganisation of Id, IdInfo.  Remove StdIdInfo, PragmaInfo; add basicTypes/MkId.lhs

Include srcloc in panic msg

New specialiser; warning: simplifier *may* be broken

Better pattern binding desugaring

Several small fixes to multi-param type classes

- remove unused imports
  - remove dead code

remove more version cruft.

change a few datatypes to newtypes.

The Great Multi-Parameter Type Classes Merge.

Notes from Simon (abridged):

* Multi-parameter type classes are fully implemented.
* Error messages from the type checker should be noticeably improved
* Warnings for unused bindings (-fwarn-unused-names)
* many other minor bug fixes.

Internally there are the following changes

* Removal of Haskell 1.2 compatibility.
* Dramatic clean-up of the PprStyle stuff.
* The type Type has been substantially changed.
* The dictionary for each class is represented by a new
  data type for that purpose, rather than by a tuple.

Renamed -fwarn-overlapped-patterns to -fwarn-overlapping-patterns to match driver (and docs.)

import DsM, seems to be required for ghc-0.29.

New matchExport, changed types for match, matchSimplify, changes related with MatchResult, EquationInfo and a lot or more changes

Deleted old Shadow stuff

Changes related with new types of MatchResult, EquationInfo and matchSimplify

Deleted DsWarnFlavour

Deleted old Warning staff and added new ones

Changes related with the new type of MatchSimply

change match by matchExport and changes related with the new type of MAtchResult

Added matchExport to export list and changes matchSimply and match types

Added matchExport to Match export list

New module; proper lint for patterns

add missing import of Id(..).