summaryrefslogtreecommitdiff
path: root/compiler/parser
Commit message (Collapse)AuthorAgeFilesLines
...
* | | | Remove comment mentioning the old generic classes.Jose Pedro Magalhaes2011-05-051-2/+1
| | | |
* | | | Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-genericsJose Pedro Magalhaes2011-05-043-41/+26
|\ \ \ \ | | |_|/ | |/| | | | | | | | | | Fixed conflicts: compiler/prelude/PrelNames.lhs
| * | | More on monad-comp; an intermediate state, so don't pullSimon Peyton Jones2011-05-021-1/+1
| | | |
| * | | Simon's hacking on monad-comp; incompleteSimon Peyton Jones2011-04-292-42/+9
| | | |
| * | | Merge remote branch 'origin/master' into monad-compSimon Peyton Jones2011-04-281-21/+21
| |\ \ \ | | | |/ | | |/| | | | | | | | | Conflicts: compiler/main/HscMain.lhs
| * | | Preliminary monad-comprehension patch (Trac #4370)Simon Peyton Jones2011-04-283-4/+22
| | |/ | |/| | | | | | | | | | | | | | | | | | | This is the work of Nils Schweinsberg <mail@n-sch.de> It adds the language extension -XMonadComprehensions, which generalises list comprehension syntax [ e | x <- xs] to work over arbitrary monads.
* | | Remove HsNumTy and TypePati.Jose Pedro Magalhaes2011-05-042-7/+1
| | | | | | | | | | | | They belonged to the old generic deriving mechanism, so they can go. Adapted a lot of code as a consequence.
* | | Add a new flag XDefaultSignatures to enable just the signatures on the ↵Jose Pedro Magalhaes2011-05-041-3/+3
| | | | | | | | | | | | default methods. Redefine the behavior of XGenerics to mean enable XDefaultSignatures and XDeriveRepresentable.
* | | Use 'default' rather than 'generic' for default-method signaturesSimon Peyton Jones2011-04-282-18/+12
| | | | | | | | | | | | | | | | | | Also get rid of the old {| |} brackets in the lexer. Fewer keywords!
* | | Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-genericsJose Pedro Magalhaes2011-04-271-21/+21
|\ \ \ | | |/ | |/|
| * | Formatting fixes in Lexer.xDavid Terei2011-04-261-21/+21
| |/
* | Small fixes to the generics branch to get rid of warnings,unknown2011-04-141-1/+1
| | | | | | | | plus a false ASSERT failure
* | Initial commit for Pedro's new generic default methodssimonpj2011-04-123-9/+19
|/ | | | | (See his Haskell Symposium 2010 paper "A generic deriving mechaism for Haskell")
* Added a VECTORISE pragmaManuel M T Chakravarty2011-02-202-3/+11
| | | | | | | | | | | | | | | - Added a pragma {-# VECTORISE var = exp #-} that prevents the vectoriser from vectorising the definition of 'var'. Instead it uses the binding '$v_var = exp' to vectorise 'var'. The vectoriser checks that the Core type of 'exp' matches the vectorised Core type of 'var'. (It would be quite complicated to perform that check in the type checker as the vectorisation of a type needs the state of the VM monad.) - Added parts of a related VECTORISE SCALAR pragma - Documented -ddump-vect - Added -ddump-vt-trace - Some clean up
* multiline commands in GHCi #4316Vivian McPhail2010-11-051-0/+22
| | | | | | | | | | | | | This patch adds support for multiline commands in GHCi. The first line of input is lexed. If there is an active layout context once the lexer reaches the end of file, the user is prompted for more input. Multiline input is exited by an empty line and can be escaped with a user interrupt. Multiline mode is toggled with `:set +m`
* Tidy up rebindable syntax for MDosimonpj@microsoft.com2010-12-221-1/+3
| | | | | | | | | | | | | | | | | | | | For a long time an 'mdo' expression has had a SyntaxTable attached to it. However, we're busy deprecating SyntaxTables in favour of rebindable syntax attached to individual Stmts, and MDoExpr was totally inconsistent with DoExpr in this regard. This patch tidies it all up. Now there's no SyntaxTable on MDoExpr, and 'modo' is generally handled much more like 'do'. There is resulting small change in behaviour: now MonadFix is required only if you actually *use* recursion in mdo. This seems consistent with the implicit dependency analysis that is done for mdo. Still to do: * Deal with #4148 (this patch is on the way) * Get rid of the last remaining SyntaxTable on HsCmdTop
* Replace uses of the old catch function with the new oneIan Lynagh2010-12-181-1/+2
|
* Remove code that is dead now that we need >= 6.12 to buildIan Lynagh2010-12-151-3/+0
|
* Rename -XPArr to -XParallelArraysBen Lippmeier2010-11-301-8/+8
|
* Remove NewQualifiedOperatorsIan Lynagh2010-12-011-11/+2
| | | | The extension was rejected by Haskell', and deprecated in 7.0.
* Unicide OtherNumber category should be allowed in identifiers (#4373)Simon Marlow2010-11-151-1/+1
|
* Separate NondecreasingIndentation out into its own extensionIan Lynagh2010-11-241-2/+7
|
* Add another GHC layout rule relaxation to RelaxedLayoutIan Lynagh2010-11-241-1/+14
|
* Remove references to Haskell 98Ian Lynagh2010-11-232-5/+6
| | | | | They are no longer right, as we have Haskell' generating new Haskell standards.
* Add an extension for GHC's layout-rule relaxationsIan Lynagh2010-11-201-2/+9
| | | | | Still TODO: Add the other relaxation (#1060) and update the alternative layout rule to use the extension.
* remove -XNoMonomorphismRestrictionSimon Marlow2010-11-172-18/+2
| | | | | This was apparently needed at some point during the new typechecker development, but does not seem to be required now.
* add some {-# LANGUAGE BangPatterns #-} to mollify GHCSimon Marlow2010-11-172-0/+2
|
* More modules that need LANGUAGE BangPatternssimonpj@microsoft.com2010-11-121-0/+1
|
* Warn about top-level bangs (Trac #4477)simonpj@microsoft.com2010-11-121-9/+14
| | | | A simple refactoring in the parser
* Allow the old [$foo| ... |] syntax for quasi-quotessimonpj@microsoft.com2010-11-121-0/+4
| | | | | This is just a backward-compatibility thing, to be removed eventually.
* Add rebindable syntax for if-then-elsesimonpj@microsoft.com2010-10-221-1/+1
| | | | | | | | | | | There are two main changes * New LANGUAGE option RebindableSyntax, which implies NoImplicitPrelude * if-the-else becomes rebindable, with function name "ifThenElse" (but case expressions are unaffected) Thanks to Sam Anklesaria for doing most of the work here
* Interruptible FFI calls with pthread_kill and CancelSynchronousIO. v4Edward Z. Yang2010-09-192-1/+8
| | | | | | | | | | | | | | | | | | | | | | | This is patch that adds support for interruptible FFI calls in the form of a new foreign import keyword 'interruptible', which can be used instead of 'safe' or 'unsafe'. Interruptible FFI calls act like safe FFI calls, except that the worker thread they run on may be interrupted. Internally, it replaces BlockedOnCCall_NoUnblockEx with BlockedOnCCall_Interruptible, and changes the behavior of the RTS to not modify the TSO_ flags on the event of an FFI call from a thread that was interruptible. It also modifies the bytecode format for foreign call, adding an extra Word16 to indicate interruptibility. The semantics of interruption vary from platform to platform, but the intent is that any blocking system calls are aborted with an error code. This is most useful for making function calls to system library functions that support interrupting. There is no support for pre-Vista Windows. There is a partner testsuite patch which adds several tests for this functionality.
* -fwarn-tabs: add "Warning" to the messageSimon Marlow2010-10-021-1/+1
|
* Add separate functions for querying DynFlag and ExtensionFlag optionsIan Lynagh2010-09-182-24/+24
| | | | and remove the temporary DOpt class workaround.
* Allow "INLINEABLE" as a synonymsimonpj@microsoft.com2010-09-151-0/+2
|
* Implement INLINABLE pragma simonpj@microsoft.com2010-09-153-25/+21
| | | | Implements Trac #4299. Documentation to come.
* Super-monster patch implementing the new typechecker -- at lastsimonpj@microsoft.com2010-09-131-2/+2
| | | | | | | | | This major patch implements the new OutsideIn constraint solving algorithm in the typecheker, following our JFP paper "Modular type inference with local assumptions". Done with major help from Dimitrios Vytiniotis and Brent Yorgey.
* Add HsCoreTy to HsTypesimonpj@microsoft.com2010-08-241-1/+2
| | | | | The main thing here is to allow us to provide type signatures for 'deriving' bindings without pain.
* Work around missing type signature in Happysimonpj@microsoft.com2010-07-302-2/+18
| | | | | | | | | | | | | Happy generates notHappyAtAll = error "Blah" without a type signature, and currently the new typechecker doesn't generalise it. This patch says "no monomorphism restriction" which makes it generalise again. Better would be to add a type sig to Happy's template
* Add more info to more parse error messages (#3811)Ian Lynagh2010-08-091-24/+31
|
* Add DoAndIfThenElse supportIan Lynagh2010-08-082-1/+29
|
* Make another parse error more informativeIan Lynagh2010-08-081-1/+1
|
* Make a parse error say what it is failing to parse; part of #3811Ian Lynagh2010-08-081-5/+7
|
* Fix numeric escape sequences parsingAnton Nikishaev2010-07-211-4/+6
| | | | This fixes trac bug #1344
* Make datatype contexts an extension (on by default) (DatatypeContexts)Ian Lynagh2010-07-073-8/+24
|
* Handle haddock headers when looking for LANGUAGE/OPTIONS_GHC pragmasIan Lynagh2010-07-071-1/+1
|
* Make pragState call mkPState, rather than duplicating everythingIan Lynagh2010-07-061-19/+3
| | | | | This also means that extsBitmap gets set, whereas is was just being set to 0 before.
* Make mkPState and pragState take their arguments in the same orderIan Lynagh2010-07-061-3/+4
|
* Remove an out-of-date commentIan Lynagh2010-07-061-1/+0
|
* Remove dead code (standalone deriving flag no longer used in parser)Ian Lynagh2010-07-011-6/+1
|
View Lorry Controller Status