gf-core.git/src/compiler/GF/Compile/Rename.hs, branch master Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=master 2021-07-07T07:40:41+00:00 Replace tabs for whitespace in source code 2021-07-07T07:40:41+00:00 John J. Camilleri john@digitalgrammars.com 2021-07-07T07:40:41+00:00 urn:sha1:f2e52d6f2c2bc90febceebdea0268b40ea37476c Merge pull request #57 from inariksit/cc-bugfix-rgl-only 2021-07-02T08:11:35+00:00 Inari Listenmaa inari.listenmaa@gmail.com 2021-07-02T08:11:35+00:00 urn:sha1:09d772046e78f9bab6c8c75035b812985d18d0f7 Hotfix for #56 (cc doesn't work for many RGL languages) Hotfix for https://github.com/GrammaticalFramework/gf-core/issues/56 2020-06-06T09:35:05+00:00 Inari Listenmaa inari.listenmaa@gmail.com 2020-06-06T09:35:05+00:00 urn:sha1:bfcab16de603a33ffef7f3da1174844f0ab11daa Add clarification to "Pattern is not linear" error msg. 2020-06-04T17:56:31+00:00 Inari Listenmaa inari.listenmaa@gmail.com 2020-06-04T17:56:31+00:00 urn:sha1:a4e3bce6bba915ea9dba0c1a34519f9cde9d243e remove obsolete code 2019-09-20T08:37:50+00:00 krangelov kr.angelov@gmail.com 2019-09-20T08:37:50+00:00 urn:sha1:4d79aa8b198f411d0ab6d66d76d9f77dfd3f922f ModuleName and Ident are now distinct types 2014-10-21T19:20:31+00:00 hallgren hallgren@chalmers.se 2014-10-21T19:20:31+00:00 urn:sha1:391b301881bee7de9580f2c6d819144161e6a51d This makes the documentation clearer, and can potentially catch more programming mistakes. Introducing GF.Text.Pretty for more concise pretty printers and GF.Infra.Location for modularity 2014-07-27T22:06:23+00:00 hallgren hallgren@chalmers.se 2014-07-27T22:06:23+00:00 urn:sha1:30cda5151651e712803527b6ab4e5abc07536f2c GF.Text.Pretty provides the class Pretty and overloaded versions of the pretty printing combinators in Text.PrettyPrint, allowing pretty printable values to be used directly instead of first having to convert them to Doc with functions like text, int, char and ppIdent. Some modules have been converted to use GF.Text.Pretty, but not all. Precedences could be added to simplify the pretty printers for terms and patterns. GF.Infra.Location contains the types Location and L, factored out from GF.Grammar.Grammar, and the class HasSourcePath. This allowed the import of GF.Grammar.Grammar to be removed from GF.Infra.CheckM, making it more like a pure library module. disabled ad hoc overloading, as it still causes mysterious errors. It is just a few lines in Rename.hs 2014-02-09T19:55:17+00:00 aarne aarne@chalmers.se 2014-02-09T19:55:17+00:00 urn:sha1:6faaa795c5f7954ae66f55b29f822e30a4aae64b ad hoc overloading: a new way to deal with name resolution conflicts. Previously the renamer warned if there was e.g. an unqualified reference to mkAdv, which could come from either Syntax or Paradigms. The renamer picked randomly one of the alternatives, which then often failed in type checking. Now, all candidates are collected into a new structure AdHocOverload [Term], which is accessed by the type checker to make the choice based on the type of the constant. This eliminates some of the warnings and some of the error due to wrong choices. In some rare cases, the inherited constants have the same type, which cannot be resolved by overloading. In such cases, the type checker does the same as the renamer did before: pick the "first" option (i.e. the one that happens to be the first in the list returned by the renamer) and issues a warning. In this patch, only a couple of lines are changed. The typechecker (RConcrete) has more substantial changes, and will be recorded as the next patch. 2014-02-01T13:10:36+00:00 aarne aarne@chalmers.se 2014-02-01T13:10:36+00:00 urn:sha1:6dba4e6f1e363162b887efff3336fec258e8737d Show relative file paths in error messages 2013-12-06T15:43:34+00:00 hallgren hallgren@chalmers.se 2013-12-06T15:43:34+00:00 urn:sha1:a98f4aa4be7b72a310a8b5826e3cc82c7edb8f40 This is to avoid one trivial reason for failures in the test suite.