0ba1daf5eb
when faced with hard unification problem the type checker should just postpone the decision instead of failing immediately. added test case as well
2010-10-25 15:47:33 +00:00
aa6b07afdb
when we print the bracketed string it is useful to print the attached metavariables as well
2010-10-25 12:21:12 +00:00
822a70cf7a
change the TcM monad to continuation passing style. The old monad caused stack overflow for large search spaces
2010-10-21 15:01:52 +00:00
82edf7bebb
support for proof search with high-order functions
2010-10-21 12:47:26 +00:00
2991b7acef
bugfix in the term generation
2010-10-20 13:36:39 +00:00
d45b4ae426
fixed typo which broke the parsing with -openclass
2010-10-20 09:04:48 +00:00
4ac1cf4970
in the type checker monad we should use lazy pattern matching because otherwise we force the exhaustive tree generation to be strict
2010-10-19 13:04:41 +00:00
775e59dabe
added explicit depth parameter to the parsing API and the corresponding command in the shell
2010-10-18 16:51:25 +00:00
205ac48ac3
typo in PGF.TypeCheck which spoiled the previous patch
2010-10-18 16:50:55 +00:00
702b4aad3b
now we use the GF reasoner to fillin meta variables in the abstract trees generated from the parser
2010-10-18 15:55:14 +00:00
57f0124f2a
minibar.html: add a <noscript> element with a note that the page doesn't work unless JavaScript is enabled
2010-10-23 14:56:10 +00:00
d803d2a925
minibar.js: show the type error messages that can occur for grammars with dependent types
2010-10-18 12:15:30 +00:00
26da60d0a9
minibar.js: add an option to enable/disable the Random button
2010-10-17 16:48:21 +00:00
05a52d6937
now since the type checking monad TcM is nondeterministic we can use the same monad in PGF.Forest.getAbsTrees
2010-10-14 14:28:40 +00:00
7fc638e030
bugfix in PGF.VisualizeTree for handling trees with implicit arguments
2010-10-13 13:32:48 +00:00
09ce38742c
fix PGF.Generate.restart. The restart should be done only if there are some solutions found
2010-10-13 12:38:51 +00:00
de0354f991
the exhaustive/random generator now knows how to handle computable functions in the types
2010-10-11 17:18:28 +00:00
f305587a62
now the generation from template with meta-variables respects the dependent types
2010-10-11 09:59:57 +00:00
7200244605
backtracking for random generation is not enough. we must restart the search after each solution
2010-10-02 13:34:58 +00:00
cb8795c222
refactor the API for random generation again. Now PGF contains probabilities in the abstract syntax
2010-10-02 13:03:57 +00:00
8b7d27fe4c
minibar: work on adding back support for typing multiple words without pressing enter in between
...
It mostly works now, but some minor issues still need to be fixed.
2010-09-29 13:03:40 +00:00
66672d8af1
minibar: update about.html with description of recent changes
2010-09-28 11:46:32 +00:00
1ac7a8bd7c
minibar/about.html: fix typos and formatting
2010-09-24 12:57:16 +00:00
72fe93a8c4
minibar.html: specify charset, move initialization
...
Added a meta tag to specify that the file is in UTF-8. This makes the browser
(at least Firefox) assume that the JavaScript files are also in UTF-8, it seems.
Moved the call to start_minibar() from the <body onload="..."> to the end of
the file. The onload action is not executed until all images in the document
has been loaded, while javascipt at the end of the file is executed as soon
as the HTML file has been loaded. (Calling start_minibar() from the head of
the document would be too soon, since it refers to elements in the body,
which hasn't been loaded yet.)
2010-09-24 12:47:18 +00:00
617ce3cce6
the first revision of exhaustive and random generation with dependent types. Still not quite stable.
2010-09-22 15:49:16 +00:00
1c9305e7a3
cleanup and export the Probabilistic API from PGF
2010-09-22 09:06:19 +00:00
d09f62b0b1
bugfix in PGF.Type.pType: Agda style types like {x : A} -> B should not be supported in GF
2010-09-12 12:26:38 +00:00
1b6d9ee29d
minibar.js: server API code cleanup
2010-09-14 17:15:37 +00:00
1f06415774
minibar.js: bug fix: the current word should be accepted when you press enter if it matches one of the possible completions exactly
...
The current word is also accepted if there is only one remaining possible
completion.
2010-09-14 16:48:20 +00:00
7581451852
minibar.js: add access keys to some of the buttons
2010-09-14 16:45:48 +00:00
17cf4e1276
support.js: create buttons with access keys
2010-09-10 12:20:07 +00:00
e13e47be8a
minibar: default input language is now the user's preferred language, if possible
...
This is implemented using the userLanguage field in the grammar info output by
pgf-server.
2010-09-10 11:03:46 +00:00
46da64cc72
minibar: use AJAX instead of JSONP when possible
...
Using AJAX instead of JSONP can give better caching in the browser, since the
URL doesn't need to contain a (dynamically generated) callback function name.
But because of the same origin policy in JavaScript, AJAX can only be used when
the HTML file is served from the same server as the PGF. The new function
http_get_json in support.js uses AJAX if this is the case, and falls back to
JSONP otherwise.
2010-09-10 08:38:11 +00:00
5290659c2c
Minibar: PGF server API: pass callback functions directly instead of passing function names as strings.
2010-09-05 18:06:45 +00:00
c85c1e1c11
minibar: fix broken link to brushed-metal background
...
Solution: include a local copy of brushed-metal.png
2010-09-05 18:01:44 +00:00
ab9d27f995
PGF.Expr.normalForm does variable renaming
2010-08-30 07:37:12 +00:00
509ccb0db0
Adapt minibar.js to the current GF web service API
...
Quick fix. More work needed for correct behaviour when multiple words are
entered at once.
2010-08-27 16:46:14 +00:00
b0e110cf4f
native representation for HOAS in PMCFG and incremental type checking of the parse forest
2010-08-09 10:10:08 +00:00
d3a6866277
more advanced complete function in the PGFService
2010-08-24 15:58:22 +00:00
94bd76df72
two new functions in the PGF API: mkAbs, unAbs
2010-07-31 16:40:16 +00:00
067d908aa3
now the meta id of the meta variables is accessible via the PGF API
2010-07-31 12:52:20 +00:00
b351c9d9dd
added function unType in PGF
2010-07-31 12:47:10 +00:00
712b113c9a
fix the algorithm for items cutting in the partial parser
2010-07-15 14:01:51 +00:00
3ca0b6a976
fix the loopchecking in PGF.Forest.bracketedTokn
2010-07-13 12:04:06 +00:00
a2fa22ed74
Add missing <td> tags in the HTML constructed by functio show_groupedtranslations
2010-07-13 11:54:42 +00:00
2e2d190fd4
Bug fix in minibar.js: no translations where shown when using option show_grouped_translations: false
...
This affected minibar.html but not phrasebook.html and was
caused by accidental shadowing of function tr in function show_translations.
2010-07-13 11:35:28 +00:00
d0954d2f20
Make minibar.js work again after backwards incompatible changes to the data structures output by pgf-server.
...
The canParse field was removed without notice.
2010-07-13 10:22:03 +00:00
647b5ffff2
bugfix in the decoding of literals in PGF.Binary
2010-07-13 08:24:03 +00:00
027c14dcbb
FridgeApp and TranslateApp now show the type errors
2010-07-08 07:57:36 +00:00
95f1d40c56
report type errors in the shell from command "p"
2010-07-07 12:23:21 +00:00
krasimir