 bringert
|
b569d80d50
|
Fixed conflict from Aarne's ATK path changes. Added NOILINE pragma to ATK initialized variable.
|
2005-12-16 09:54:31 +00:00 |
|
|
bringert
|
d284e54aed
|
Use ATK_HOME variable to find resources.
|
2005-12-14 15:11:26 +00:00 |
|
|
aarne
|
a470831560
|
mp3 example
|
2005-12-14 16:28:57 +00:00 |
|
|
bringert
|
b1543ab8bd
|
Fixed arguments of NoSpeechInput.recognizeSpeech so that GF compiles without ATK.
|
2005-12-14 14:53:28 +00:00 |
|
|
bringert
|
8bb1df23a8
|
Added explicit type signature to GF.System.NoSpeechInput.recognizeSpeech.
|
2005-12-13 21:09:29 +00:00 |
|
|
bringert
|
18a57aa56a
|
Added semi-working speech_input command.
|
2005-12-13 21:03:56 +00:00 |
|
|
aarne
|
c2dde4e80f
|
float parsing fixed
|
2005-12-11 17:48:55 +00:00 |
|
|
aarne
|
5889b3f7db
|
gfdoc for tags
|
2005-12-09 14:18:32 +00:00 |
|
|
bringert
|
bb545d2faa
|
Use tags in SLF generation to get out a parsable string.
|
2005-12-09 13:35:50 +00:00 |
|
|
bringert
|
deb9e3f482
|
Transfer compiler: rename variables before doing any substitutions.
|
2005-12-09 13:06:05 +00:00 |
|
|
bringert
|
6b137b54ba
|
Transfer: changed syntax to remove the mandatory type annotation in let.
|
2005-12-09 11:45:57 +00:00 |
|
|
bringert
|
a35dbbeeb8
|
SLF generation: make sure that there is only one final node, and that it is actually final.
|
2005-12-08 16:01:13 +00:00 |
|
|
bringert
|
d6fb8d218b
|
Transfer: fixed bug in prelude partition. Fixed naming of tuple field names, made it 1-based as in docs, instead of 0-based as before.
|
2005-12-08 09:45:17 +00:00 |
|
|
bringert
|
900a8f1142
|
Transfer: Changed transfer program file extension from .tr to .tra to avoid collision with Troff file extension.
|
2005-12-06 16:33:40 +00:00 |
|
|
bringert
|
8b379e4421
|
Transfer: Fixed BNFC's layout resolver to not insert semicolon at end of line if there is one already.
|
2005-12-06 16:19:29 +00:00 |
|
|
bringert
|
ed23b9d8d8
|
Transfer: Changed BNFC's layout syntax resolver to add a semicolon at EOF if using top-level layout sytax. Changed transfer syntax to use this to force semicolon after imports when pretty printing transfer. transfer grammar printer now produces Transfer syntax, not core. It also imports prelude and includes Eq and Compos instances.
|
2005-12-06 15:57:43 +00:00 |
|
|
aarne
|
fc0ec0c0cd
|
opers in cnc
|
2005-12-06 12:39:36 +00:00 |
|
|
aarne
|
09659e86eb
|
bug fix in Shell commands at, wt
|
2005-12-06 11:46:35 +00:00 |
|
|
aarne
|
7a7252223f
|
multimodal resource recreated for new API
|
2005-12-05 18:31:15 +00:00 |
|
|
bringert
|
ccb780361f
|
Added tuple expressions and patterns.
|
2005-12-05 16:44:56 +00:00 |
|
|
aarne
|
18986bfdd4
|
tidy up res; bug fix in ShellState.addTransfer
|
2005-12-05 16:14:12 +00:00 |
|
|
bringert
|
3442d42d3b
|
Transfer: fixed Eq derivation to at least work for GF-generated Tree types.
|
2005-12-05 14:14:19 +00:00 |
|
|
bringert
|
ece605f887
|
Transfer added guards and Eq derivation.
|
2005-12-02 18:33:08 +00:00 |
|
|
aarne
|
ef504a4cbe
|
floats in GF and GFC (parsing user input still doesn't work)
|
2005-12-02 13:13:14 +00:00 |
|
|
bringert
|
f59a16876a
|
Make words in SLF language models upper case.
|
2005-12-02 12:55:24 +00:00 |
|
|
bringert
|
a7af7bc384
|
Added list patterns. Added som simple prelude functions.
|
2005-12-01 17:27:06 +00:00 |
|
|
aarne
|
e1d8b9c535
|
EInteger
|
2005-12-02 08:46:30 +00:00 |
|
|
aarne
|
8c918d9516
|
making apply_transfer work
|
2005-12-01 17:58:31 +00:00 |
|
|
bringert
|
df1e92e837
|
Transfer: Added Double type.
|
2005-12-01 16:55:57 +00:00 |
|
|
bringert
|
12d4bc020d
|
Transfer: added support for disjunctive patterns.
|
2005-12-01 15:37:47 +00:00 |
|
|
bringert
|
f91a36aaff
|
Fixed layout stop word bug.
|
2005-11-30 21:30:36 +00:00 |
|
|
bringert
|
e762f85933
|
Added bind operators, do-notation, a cons operator and list sytnax.
|
2005-11-30 20:27:01 +00:00 |
|
|
bringert
|
8460fbef67
|
Transfer: derive instances, not functions.
|
2005-11-30 18:42:45 +00:00 |
|
|
bringert
|
997bc8c745
|
Transfer: reimplement operators with type classes.
|
2005-11-30 17:40:32 +00:00 |
|
|
bringert
|
8cec5d5d1a
|
Transfer compiler: don't load the same module twice.
|
2005-11-30 17:40:11 +00:00 |
|
|
bringert
|
60ed11c321
|
Transfer compiler now has a search path. Use -ipath to add to the path. Created CompilerAPI.
|
2005-11-30 16:32:13 +00:00 |
|
|
bringert
|
47ad17e78d
|
Moved class stuff to prelude.
|
2005-11-30 15:51:43 +00:00 |
|
|
bringert
|
34bdfd066c
|
Remove more useless pattern matching and variable bindings in transfer compilation.
|
2005-11-30 12:04:21 +00:00 |
|
|
aarne
|
33b28b19e9
|
added transfer cases
|
2005-11-30 09:14:07 +00:00 |
|
|
aarne
|
591f931900
|
transfer added to GF command interpreter[D[
|
2005-11-30 09:04:45 +00:00 |
|
|
bringert
|
bb5f9dc312
|
Use rec and sig for records.
|
2005-11-29 18:16:33 +00:00 |
|
|
bringert
|
9d56a5f9b2
|
Transfer: let expressions caused non-termination due to excessive strictness, fixed.
|
2005-11-29 17:40:43 +00:00 |
|
|
bringert
|
eebe62ec19
|
Transfer: added derive composFold
|
2005-11-29 17:08:43 +00:00 |
|
|
bringert
|
e561f6398b
|
Transfer: support printing meta variable values.
|
2005-11-29 17:08:08 +00:00 |
|
|
bringert
|
cd5e3e6744
|
Transfer: don't eta-expand overshadowed constructors.
|
2005-11-29 17:07:17 +00:00 |
|
|
bringert
|
dba03132b5
|
Fixed type argument to recursive call in generated composOp.
|
2005-11-29 16:10:52 +00:00 |
|
|
bringert
|
cffaff9588
|
In transfer beta reduction optimization: reduce bottom-up instead of top-down.
|
2005-11-29 15:56:35 +00:00 |
|
|
bringert
|
8a1efe2ce5
|
Added meta variables to transfer front-end and core.
|
2005-11-29 15:48:13 +00:00 |
|
|
bringert
|
3cd1317bda
|
Transfer generation: cat constructors should not have tree types.
|
2005-11-29 14:55:45 +00:00 |
|
|
bringert
|
e60754e612
|
Transfer data type generation now uses the Tree type constructor for data constructor types.
|
2005-11-29 13:59:27 +00:00 |
|