cdaf3dc2f4
commands ss to show source, and sd to show the dependencies of a constant
2011-09-21 08:12:14 +00:00
1fc37fc9b4
module for analysing source grammars
2011-09-20 16:00:56 +00:00
9cbe3982bd
command ss to show source (including gfo) in text; to be extended
2011-09-20 14:58:27 +00:00
55538c2b7e
GF.Grammar.Macros: simplify composOp and composSafeOp
2011-09-07 17:11:52 +00:00
539c49c23b
GF.Grammar.*: generalized the type of some functions that can not fail from the Err monad to arbitrary monads
2011-09-01 16:35:53 +00:00
38db834a65
GF.Infra.Modules: minor tweaks
...
Still keeping the modules both in a list and in a finite map. The overhead is
smaller than I initially thought.
2011-08-31 11:18:16 +00:00
0325f7264d
GF.Infra.Modules: keep the modules of a grammar in a finite map instead of a list
...
This speeds up the compilation of PhrasebookFin.pgf by 12%, mosly by speeding
up calls to lookupModule in calls from lookupParamValues, in calls
from allParamValues.
The invariant "modules are stored in dependency order" is no longer respected!
But the type MGrammar is now abstract, making it easier to maintain this or
other invariants in the future.
2011-08-30 18:54:50 +00:00
109c55e2fb
GF.Grammar.Lookup: added function lookupQIdentInfo
...
+ Avoids some code duplication by combinging lookupModule and lookupIdentInfo.
+ Also removed lookupIdentInfo from export list, since it is not used anywhere
else.
2011-08-30 14:53:11 +00:00
9a4f3cec9c
PatternMatch.hs: commented out suspicious unused function varsOfPatt
2011-08-30 12:13:50 +00:00
9023382c31
GenIP, GenRP in Extra and any_Quant in ExtraEng
2011-07-21 08:25:04 +00:00
7d3949a270
Predef functions toUpper, toLower, isUpper
2011-06-02 16:10:46 +00:00
afbfbaa73a
make it possible to override opers defined in an interface by syntax 'instance Foo of Bar - [f,g,h]'
2011-03-12 11:24:14 +00:00
9b26957785
overloaded opers included in sorting of judgements
2011-03-03 15:10:31 +00:00
a786f1c809
the command show_operations to inspect opers in scope
2011-02-28 13:31:04 +00:00
22e50ae31c
option cc -list added
2010-12-14 17:42:42 +00:00
7b9e55650b
preparing resource api for multilingual documentation
2010-12-10 08:48:26 +00:00
60a401057f
bugfix for the abstract operations
2010-11-15 09:38:31 +00:00
fe1205059b
operations in the abstract syntax
2010-11-12 19:37:19 +00:00
11bfee735d
restored the .ebnf grammar format
2010-09-24 12:39:49 +00:00
e92151caf8
redesign the open-literals API
2010-07-01 08:51:59 +00:00
7fa1963cc4
GF.Grammar.Printer: print expressions with lincat and lin
2010-06-21 15:23:49 +00:00
2069d9c9eb
Yay!! Direct generation of PMCFG from GF grammar
2010-06-18 12:55:58 +00:00
b9b19b6334
rename GF.Grammar.Predef.isPredefCat to isLiteralCat
2010-06-17 15:08:12 +00:00
faceaffe79
GF.Grammar.Lookup.allParamValues now works for table types as well
2010-06-17 09:51:10 +00:00
142cdc306d
revert change in GF.Grammar.Printer that was intended for debugging only
2010-06-08 09:53:13 +00:00
4f1f8b6308
refactoring in GF.Grammar.Grammar
2010-05-28 14:15:15 +00:00
e4442d1328
composOp should iterate under ImplArg
2010-05-28 12:19:04 +00:00
38e04d0872
bugfix in GF.Grammar.Printer
2010-05-28 09:43:58 +00:00
0b6b30d4a8
use the native unicode support from GHC 6.12
2010-04-19 09:38:36 +00:00
5d75073313
fixed a deep bug in TypeCheck due to swap of arguments; print empty record as <> instead of {} to distinguish from empty record type
2010-03-31 22:05:12 +00:00
20d25c23cd
fix checkInfoType in Parser.y
2010-03-22 23:49:15 +00:00
d3a84f994b
store and propagate the exact source location for all judgements in the grammar. It may not be used accurately in the error messages yet
2010-03-22 21:15:29 +00:00
b2c785edfa
fix the precedence for patterns ~, - and @
2010-03-18 19:52:45 +00:00
0c2944fa7f
syntax for inaccessible patterns in GF
2010-03-18 19:34:30 +00:00
46c04f4c91
rule for pretty printing implicit arguments
2010-02-22 20:09:28 +00:00
e876fad3fa
add pretty printing rule for implicit patterns
2010-02-22 20:02:53 +00:00
899ed163a1
no need to keep the list of constructors per category in .gfo
2010-02-16 09:34:02 +00:00
8c4fd9de9b
allow negative integers in the grammar syntax
2010-02-08 12:59:22 +00:00
e33447aadd
fix the tabular printing when there is a V constructor
2010-02-03 17:33:55 +00:00
4485e97181
refactor GF.Infra.Modules for better error messages
2010-01-31 15:54:25 +00:00
c92f9d1c0c
reorganize the directories under src, and rescue the JavaScript interpreter from deprecated
2009-12-13 18:50:29 +00:00
aarne