gf-core.git/src/GF/Compile/CheckGrammar.hs, branch optimize Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=optimize 2009-12-13T18:50:29+00:00 reorganize the directories under src, and rescue the JavaScript interpreter from deprecated 2009-12-13T18:50:29+00:00 krasimir krasimir@chalmers.se 2009-12-13T18:50:29+00:00 urn:sha1:f85232947e74ee7ef8c7b0ad2338212e7e68f1be for 'lincat C = T' the typechecker should check that T is a valid type 2009-11-13T10:25:31+00:00 krasimir krasimir@chalmers.se 2009-11-13T10:25:31+00:00 urn:sha1:36d025877bc94cfbe400935f306b11315527a0e8 check grammar should process the definitions in dependency order. This also ensures that the list of parameters for some parameter type is complete 2009-11-07T15:30:57+00:00 krasimir krasimir@chalmers.se 2009-11-07T15:30:57+00:00 urn:sha1:2a22325678bac22d16ece1c357e9a9858dc66897 check for cyclic parameters, operations and dependent types 2009-10-28T17:44:50+00:00 krasimir krasimir@chalmers.se 2009-10-28T17:44:50+00:00 urn:sha1:c330cac1db47bbf5d90fbfbb215797c1dda186ae restructure ResParam and ResValue 2009-10-28T16:47:01+00:00 krasimir krasimir@chalmers.se 2009-10-28T16:47:01+00:00 urn:sha1:980844a4ad13c0423a3223f0e89e43d6e9be1ba3 bugfix in GF.Compile.CheckGrammar 2009-10-28T09:10:58+00:00 krasimir krasimir@chalmers.se 2009-10-28T09:10:58+00:00 urn:sha1:f2e5281602516e1c0eb4a2f69d64e6c075fb79da small refactoring in GF.Compile.CheckGrammar 2009-10-25T15:20:44+00:00 krasimir krasimir@chalmers.se 2009-10-25T15:20:44+00:00 urn:sha1:d63be8ac7287a7c220f62701cb5b200ba57fbbeb split the abstract syntax specific and the concrete syntax specific modules in different subfolders in GF.Compile 2009-10-24T17:42:02+00:00 krasimir krasimir@chalmers.se 2009-10-24T17:42:02+00:00 urn:sha1:8a0db597989642ed11b2fad8d272bb2778587ac5 fix the error message for overload resolution 2009-10-06T14:59:02+00:00 krasimir krasimir@chalmers.se 2009-10-06T14:59:02+00:00 urn:sha1:f1e39b52d123bbf9801614f051c63860e7132bd7 refactor GF.Infra.CheckM and use the CheckM monad in the renamer as well 2009-10-02T22:52:14+00:00 krasimir krasimir@chalmers.se 2009-10-02T22:52:14+00:00 urn:sha1:d64419f2f25f0fb5a28bddf198dce6ac26b75296