7110 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
bringert	cec34b7924	Transfer: fixed syntax error in prelude definition of partition.	2005-12-06 15:59:43 +00:00
bringert	5be879dd54	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
bringert	54b8d70443	Transfer: moved pair stuff to prelude. Added partition function.	2005-12-06 12:39:11 +00:00
aarne	a6dc944356	opers in cnc	2005-12-06 12:39:36 +00:00
bringert	54671579f5	After suggestion from Jordi: note that darcs pull should be done inside the local repository.	2005-12-06 12:23:54 +00:00
aarne	66caf2aa65	bug fix in Shell commands at, wt	2005-12-06 11:46:35 +00:00
aarne	9db6f69d0a	multimodal resource recreated for new API	2005-12-05 18:31:15 +00:00
bringert	6c9b2bf6df	Added beginnings of a transfer language reference.	2005-12-05 18:01:59 +00:00
bringert	71349c1c5b	Removed variable for the type argument of List.	2005-12-05 17:35:32 +00:00
bringert	f4a28c94aa	Renamed transfer compiler and interpreter.	2005-12-05 16:53:27 +00:00
bringert	56e9e45171	Changed test.tr to run a fibNat test.	2005-12-05 16:52:56 +00:00
bringert	7c24fcb38f	Added aggregation example.	2005-12-05 16:45:11 +00:00
bringert	747271941a	Added tuple expressions and patterns.	2005-12-05 16:44:56 +00:00
aarne	066d5bb0a9	tidy up res; bug fix in ShellState.addTransfer	2005-12-05 16:14:12 +00:00
bringert	ddc8d5d0cc	Transfer: fixed Eq derivation to at least work for GF-generated Tree types.	2005-12-05 14:14:19 +00:00
bringert	983aef132b	Transfer added guards and Eq derivation.	2005-12-02 18:33:08 +00:00
aarne	dea5158cbf	floats in GF and GFC (parsing user input still doesn't work)	2005-12-02 13:13:14 +00:00
bringert	50ddb387f4	Added some differences between Cayenne and Transfer to transfer README	2005-12-02 13:05:02 +00:00
bringert	6cba6eb004	Make words in SLF language models upper case.	2005-12-02 12:55:24 +00:00
bringert	6b536cf07a	Transfer: removed list syntax from TODO.	2005-12-01 17:28:50 +00:00
bringert	396cc63cfc	Added list patterns. Added som simple prelude functions.	2005-12-01 17:27:06 +00:00
aarne	8de44f741e	EInteger	2005-12-02 08:46:30 +00:00
aarne	b1f6099025	rearranging resource-1.0	2005-12-01 21:18:42 +00:00
aarne	d3e74d9aa9	document update	2005-12-01 20:38:22 +00:00
aarne	9fcef260a1	updating documentation	2005-12-01 20:31:25 +00:00
aarne	13855da238	history link	2005-12-01 18:01:22 +00:00
aarne	da22eac180	making apply_transfer work	2005-12-01 17:58:31 +00:00
bringert	56f62f31d8	Transfer: Added Double type.	2005-12-01 16:55:57 +00:00
bringert	d15acf44b6	Transfer: remove disjunctive patterns from TODO.	2005-12-01 16:19:43 +00:00
bringert	635845eed8	Transfer: added support for disjunctive patterns.	2005-12-01 15:37:47 +00:00
bringert	30bb51372f	Added binary numeral grammars.	2005-12-01 13:11:01 +00:00
bringert	bb82938d72	Transfer: removed some fixed TODOs.	2005-12-01 11:32:09 +00:00
bringert	4a40cf9861	Transfer: moved stuff around in prelude. Added some new simple instances.	2005-12-01 11:30:15 +00:00
bringert	01028ce52d	Transfer: Added Add instance for lists.	2005-12-01 11:18:05 +00:00
bringert	938318d72b	Fixed layout stop word bug.	2005-11-30 21:30:36 +00:00
bringert	71fb2c16cd	Transfer: added example which makes the layout resolver go wrong. Added binary conversion from numerals.	2005-11-30 21:02:44 +00:00
bringert	7dfa184285	Added bind operators, do-notation, a cons operator and list sytnax.	2005-11-30 20:27:01 +00:00
bringert	d92a26fc9b	Added monad isntances for List and Maybe.	2005-11-30 18:57:23 +00:00
bringert	12ca29b32b	Transfer: derive instances, not functions.	2005-11-30 18:42:45 +00:00
bringert	01d1715994	Transfer: added monad class. fixed Compos class types.	2005-11-30 18:40:29 +00:00
bringert	a68cd282cb	Transfer: reimplement operators with type classes.	2005-11-30 17:40:32 +00:00
bringert	94b99219b8	Transfer compiler: don't load the same module twice.	2005-11-30 17:40:11 +00:00
bringert	3139bd2a2e	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	cba2fcb9b1	Moved transfer libraries to transfer/lib	2005-11-30 16:00:06 +00:00
bringert	86df2a69b1	Moved class stuff to prelude.	2005-11-30 15:51:43 +00:00
bringert	48b70b2d9b	darcs.txt: mention that several patches can be sent at once.	2005-11-30 13:27:53 +00:00
bringert	eaf65c4e6a	Transfer: Ord extends Eq.	2005-11-30 13:20:04 +00:00
bringert	b6ee983432	Fixed typo in overload.tr.	2005-11-30 13:18:43 +00:00
bringert	b846b4c4fd	Transfer: fleshed out overloading examples.	2005-11-30 12:34:14 +00:00
bringert	71b77a5481	Added transfer Maybe module.	2005-11-30 12:28:50 +00:00