summaryrefslogtreecommitdiff
path: root/compiler/parser/Parser.y.pp
Commit message (Collapse)AuthorAgeFilesLines
...
* Cleanup (re type function parsing)Manuel M T Chakravarty2006-09-151-11/+17
| | | | | Mon Jul 31 17:20:56 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> * Cleanup (re type function parsing)
* Parser support for assoc synonymsManuel M T Chakravarty2006-09-151-24/+61
| | | | | Fri Jul 28 21:52:46 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> * Parser support for assoc synonyms
* Migrate cvs diff from fptools-assoc branchManuel M T Chakravarty2006-09-151-18/+67
| | | | | | | | | Wed Jul 26 17:46:55 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> * Migrate cvs diff from fptools-assoc branch - Syntactic support for associated types - Renamer support for associated types - ATs are only allowed with -fglasgow-exts - Handle ATs in the type and class declaration kinding knot-tying exercise
* Make 'iso' special in the parserManuel M T Chakravarty2006-08-021-0/+1
|
* Added parsing rule for BangPattern in case exprMarkus Lauer2006-09-181-0/+2
|
* Another s/autrijus/audreyt/ in comments.audreyt@audreyt.org2006-09-121-1/+1
|
* fix export/import list parsing (allow (,)), and remove unnecessary reversesSimon Marlow2006-08-211-3/+7
|
* comply with Haskell 98 by not allowing extra commas in import/export listsSimon Marlow2006-08-211-3/+2
|
* Remove old FFI syntaxSimon Marlow2006-08-091-129/+2
| | | | See #815
* Generalise Package SupportSimon Marlow2006-07-251-4/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This patch pushes through one fundamental change: a module is now identified by the pair of its package and module name, whereas previously it was identified by its module name alone. This means that now a program can contain multiple modules with the same name, as long as they belong to different packages. This is a language change - the Haskell report says nothing about packages, but it is now necessary to understand packages in order to understand GHC's module system. For example, a type T from module M in package P is different from a type T from module M in package Q. Previously this wasn't an issue because there could only be a single module M in the program. The "module restriction" on combining packages has therefore been lifted, and a program can contain multiple versions of the same package. Note that none of the proposed syntax changes have yet been implemented, but the architecture is geared towards supporting import declarations qualified by package name, and that is probably the next step. It is now necessary to specify the package name when compiling a package, using the -package-name flag (which has been un-deprecated). Fortunately Cabal still uses -package-name. Certain packages are "wired in". Currently the wired-in packages are: base, haskell98, template-haskell and rts, and are always referred to by these versionless names. Other packages are referred to with full package IDs (eg. "network-1.0"). This is because the compiler needs to refer to entities in the wired-in packages, and we didn't want to bake the version of these packages into the comiler. It's conceivable that someone might want to upgrade the base package independently of GHC. Internal changes: - There are two module-related types: ModuleName just a FastString, the name of a module Module a pair of a PackageId and ModuleName A mapping from ModuleName can be a UniqFM, but a mapping from Module must be a FiniteMap (we provide it as ModuleEnv). - The "HomeModules" type that was passed around the compiler is now gone, replaced in most cases by the current package name which is contained in DynFlags. We can tell whether a Module comes from the current package by comparing its package name against the current package. - While I was here, I changed PrintUnqual to be a little more useful: it now returns the ModuleName that the identifier should be qualified with according to the current scope, rather than its original module. Also, PrintUnqual tells whether to qualify module names with package names (currently unused). Docs to follow.
* the unlifted kindSimon Marlow2006-06-231-1/+2
|
* Remove misleading commentssimonpj@microsoft.com2006-05-191-6/+6
|
* Allow $x, as well as $(x), at top level in THsimonpj@microsoft.com2006-04-141-2/+7
| | | | | | | | | | | | | | | | | Bulat pointed out that in Template Haskell $x is allowed instead of $(x) in expressions, but not at the top level of modules. This commit fixes the omission. Now you can say f x = x $h data T = T and the $h will run Template Haskell just as you'd expect.
* Reorganisation of the source treeSimon Marlow2006-04-071-0/+1607
Most of the other users of the fptools build system have migrated to Cabal, and with the move to darcs we can now flatten the source tree without losing history, so here goes. The main change is that the ghc/ subdir is gone, and most of what it contained is now at the top level. The build system now makes no pretense at being multi-project, it is just the GHC build system. No doubt this will break many things, and there will be a period of instability while we fix the dependencies. A straightforward build should work, but I haven't yet fixed binary/source distributions. Changes to the Building Guide will follow, too.
View Lorry Controller Status