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
hallgren