 krasimir
|
36d025877b
|
for 'lincat C = T' the typechecker should check that T is a valid type
|
2009-11-13 10:25:31 +00:00 |
|
|
krasimir
|
2a22325678
|
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-07 15:30:57 +00:00 |
|
|
krasimir
|
c330cac1db
|
check for cyclic parameters, operations and dependent types
|
2009-10-28 17:44:50 +00:00 |
|
|
krasimir
|
980844a4ad
|
restructure ResParam and ResValue
|
2009-10-28 16:47:01 +00:00 |
|
|
krasimir
|
f2e5281602
|
bugfix in GF.Compile.CheckGrammar
|
2009-10-28 09:10:58 +00:00 |
|
|
krasimir
|
d63be8ac72
|
small refactoring in GF.Compile.CheckGrammar
|
2009-10-25 15:20:44 +00:00 |
|
|
krasimir
|
8a0db59798
|
split the abstract syntax specific and the concrete syntax specific modules in different subfolders in GF.Compile
|
2009-10-24 17:42:02 +00:00 |
|
|
krasimir
|
f1e39b52d1
|
fix the error message for overload resolution
|
2009-10-06 14:59:02 +00:00 |
|
|
krasimir
|
d64419f2f2
|
refactor GF.Infra.CheckM and use the CheckM monad in the renamer as well
|
2009-10-02 22:52:14 +00:00 |
|
|
krasimir
|
af831e01a7
|
refactoring in GF.Grammar.Macros
|
2009-09-21 06:56:39 +00:00 |
|
|
krasimir
|
96786c1136
|
syntax for implicit arguments in GF
|
2009-09-20 13:47:08 +00:00 |
|
|
krasimir
|
bd2f46583c
|
remove the transfer modules. We don't need anything special, a transfer module is module without concrete syntax
|
2009-09-17 14:32:20 +00:00 |
|
|
krasimir
|
9f3534b3bb
|
Use GF.Grammar.Printer everywhere instead of PrGrammar
|
2009-09-14 15:13:11 +00:00 |
|
|
krasimir
|
4426120eff
|
fix typo in CheckGrammar
|
2009-09-14 12:34:46 +00:00 |
|
|
krasimir
|
62ef772a2c
|
CheckGrammar is now using the printer in GF.Grammar.Printer. Fixed bug that was hiding the warnings
|
2009-09-14 12:16:02 +00:00 |
|
|
aarne
|
3049b59b35
|
cleaning up overshadow failure to warning, after testing resource compilation
|
2009-06-22 14:51:58 +00:00 |
|
|
aarne
|
f8fdaa7acc
|
fixed warnings in present compilation of resource, esp. unreached patterns
|
2009-06-22 14:30:55 +00:00 |
|
|
aarne
|
beb8cad7d8
|
the construct lin C t now replaces lock fields (in source code; still tempor used internally); lock fields removed from english resource as an example
|
2009-06-20 13:50:34 +00:00 |
|
|
krasimir
|
41b263cf6a
|
some work on evaluation with abstract expressions in PGF
|
2009-05-22 18:54:51 +00:00 |
|
|
krasimir
|
a7900bfbc8
|
fix the handling of wildcards
|
2009-05-22 21:47:32 +00:00 |
|
|
krasimir
|
7db4b641ce
|
refactor the PGF.Expr type and the evaluation of abstract expressions
|
2009-05-20 21:03:56 +00:00 |
|
|
krasimir
|
6de94f5300
|
fix the generation of warnings in CheckGrammar. They are printed even in quiet mode and the prefix "Warning" is added automatically
|
2009-05-20 17:05:58 +00:00 |
|
|
aarne
|
7508fa5785
|
pattern macros: oper f : pattern T = # p ; used as #f in patterns
|
2009-05-18 15:01:18 +00:00 |
|
|
krasimir
|
110d436e85
|
the check for lincat C = <> is made more robust
|
2009-05-15 11:27:26 +00:00 |
|
|
krasimir
|
0dad868f34
|
if the lincat is empty record the linearizations are derived automatically
|
2009-05-15 09:34:06 +00:00 |
|
|
aarne
|
c7376c78a9
|
warning for overshadowed patterns, temporal solution
|
2009-04-06 14:07:22 +00:00 |
|
|
krasimir
|
a391c69fd3
|
use new parser which supports the syntax in GF.Grammar.Grammar directly
|
2009-03-16 14:10:30 +00:00 |
|
|
krasimir
|
3afe18dc57
|
code cleanup in the typechecker
|
2009-03-15 17:33:14 +00:00 |
|
|
krasimir
|
01fef5109c
|
Perhaps -> Maybe refactoring and better error message for conflicts during module update
|
2009-02-23 12:42:44 +00:00 |
|
|
krasimir
|
db9a1acaeb
|
merge Lookup and LookAbs and move some lookup functions from PrGrammar to Lookup
|
2009-01-31 22:08:12 +00:00 |
|
|
krasimir
|
d95ca4a103
|
refactor the GF.Grammar.Grammar syntax. The obsolete constructions are removed
|
2009-01-19 13:23:03 +00:00 |
|
|
aarne
|
de8bea8d69
|
data structures for param values with number, preparing optimized pattern matching in grammar compilation
|
2008-12-08 07:15:19 +00:00 |
|
|
aarne
|
21aa3cfa17
|
forced checking def definitions; accept pgf with no concretes
|
2008-10-05 15:21:08 +00:00 |
|
|
aarne
|
27de3c0e7b
|
print full types instead of lock field heuristics in overload resolution if the heuristic is misleading
|
2008-10-03 18:18:21 +00:00 |
|
|
aarne
|
4c08128503
|
return error on undefined opers in instance and resource
|
2008-10-03 16:16:45 +00:00 |
|
|
aarne
|
e7106b6181
|
better error msg for missing record labels
|
2008-09-09 19:43:33 +00:00 |
|
|
aarne
|
74373394a6
|
alternative prtType to help debugging overload resolution errors
|
2008-08-20 06:44:58 +00:00 |
|
|
aarne
|
0ce04f1a6e
|
forgiving names in concrete that are not in abstract, with a warning (no warning guaranteed if this is because restricted inheritance)
|
2008-08-14 20:25:52 +00:00 |
|
|
aarne
|
e9e80fc389
|
changed names of resource-1.3; added a note on homepage on release
|
2008-06-25 16:54:35 +00:00 |
|
|
aarne
|
b96b36f43d
|
removed src for 2.9
|
2008-06-25 16:43:48 +00:00 |
|
|
aarne
|
d550049873
|
finalizing experiments with Finnish nouns
|
2008-01-04 15:54:40 +00:00 |
|
|
aarne
|
7551c70db6
|
restored Int size and last ; added lib/prelude to be the last in any grammar path
|
2007-12-16 22:24:36 +00:00 |
|
|
aarne
|
5e0e82250e
|
partial check of dependencies with restricted inheritance
|
2007-11-08 23:34:45 +00:00 |
|
|
aarne
|
a9472f91e5
|
the lincat of Int simplified to SS again (Linear,Lookup,CheckGrammar by commenting out)
|
2007-10-21 10:01:14 +00:00 |
|
|
aarne
|
1fb749a5ec
|
removing a trace
|
2007-10-12 08:42:52 +00:00 |
|
|
aarne
|
cf3fcbf582
|
check circularity in param
|
2007-10-12 08:37:57 +00:00 |
|
|
aarne
|
63f060dcf6
|
hacky solution to name resolution warnings
|
2007-07-05 14:08:58 +00:00 |
|
|
aarne
|
c7f488b11e
|
contravariance in forgiving lock fields
|
2007-07-02 11:53:04 +00:00 |
|
|
aarne
|
c212633be8
|
fixed the mysterious "file..gfc" error
|
2007-06-18 21:21:13 +00:00 |
|
|
aarne
|
76268417db
|
overload checking and messages; resource.txt modifs
|
2007-05-31 09:58:38 +00:00 |
|