869 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
bringert	f2e0c40f5b	Remove more useless pattern matching and variable bindings in transfer compilation.	2005-11-30 12:04:21 +00:00
bringert	afffb0367b	Transfer: removed some fixed TODOs.	2005-11-29 19:43:57 +00:00
aarne	68d4cc143f	added transfer cases	2005-11-30 09:14:07 +00:00
aarne	ac08470c22	transfer added to GF command interpreter[	2005-11-30 09:04:45 +00:00
bringert	9db05c57f8	Added example of composOp overloading to overload.tr.	2005-11-29 19:43:00 +00:00
bringert	d0d110ed6a	Added patterns with guards to transfer TODO.	2005-11-29 19:42:43 +00:00
bringert	9a2dea46d1	Use rec and sig for records.	2005-11-29 18:16:33 +00:00
bringert	5b9249a422	Split widesnake example. Changed examples to use rec and sig keywords.	2005-11-29 18:15:15 +00:00
bringert	f6159d4bff	Added stoneage transfer example.	2005-11-29 17:42:43 +00:00
bringert	9cc9a1fa8b	Transfer: let expressions caused non-termination due to excessive strictness, fixed.	2005-11-29 17:40:43 +00:00
bringert	f85a51515d	Transfer: added derive composFold	2005-11-29 17:08:43 +00:00
bringert	3374034bbf	Transfer: support printing meta variable values.	2005-11-29 17:08:08 +00:00
bringert	c756b75ad8	Transfer: don't eta-expand overshadowed constructors.	2005-11-29 17:07:17 +00:00
bringert	68411f04f9	Fixed type argument to recursive call in generated composOp.	2005-11-29 16:10:52 +00:00
bringert	0d0c7e5b2d	Added numerals example.	2005-11-29 16:00:52 +00:00
bringert	bc2c57f5dc	Made layout test example more compilcated.	2005-11-29 15:57:51 +00:00
bringert	ba9461090e	In transfer beta reduction optimization: reduce bottom-up instead of top-down.	2005-11-29 15:56:35 +00:00
bringert	eef20fa404	Added meta variables to transfer front-end and core.	2005-11-29 15:48:13 +00:00
bringert	2be80a7e3b	Transfer generation: cat constructors should not have tree types.	2005-11-29 14:55:45 +00:00
bringert	dc06abd643	Transfer data type generation now uses the Tree type constructor for data constructor types.	2005-11-29 13:59:27 +00:00
bringert	3564aa406b	Added GrammarToTransfer. It works, except that the constructor types are missing Tree here and there.	2005-11-29 12:22:40 +00:00
bringert	19f052723f	Added TODO about layout bug.	2005-11-28 23:03:22 +00:00
bringert	967891cfd7	Transfer compiler: extended variable removal to variables bound in case expressions.	2005-11-28 23:02:04 +00:00
bringert	884055566e	Transfer compilation: Change varibles which are not used to wildcards.	2005-11-28 22:39:53 +00:00
bringert	cb6f3088b5	Fixed transfer composOp generation to support tree types that don't take a single type argument.	2005-11-28 22:31:09 +00:00
bringert	5d7bcac1e5	Changed precedence of projection to be higher than application.	2005-11-28 21:45:58 +00:00
bringert	02c23401a7	Changed all example programs to use layout syntax.	2005-11-28 21:45:22 +00:00
bringert	5a82068ddc	Regenerated transfer layout syntax module with bug-fixed BNFC. Fixed printing of tokens in correct positions in the layout test program.	2005-11-28 21:25:03 +00:00
bringert	2455b73559	Changed exp.tr to use layout syntax and the Cat type.	2005-11-28 21:24:31 +00:00
bringert	8535445a81	Removed interpreter API TODO.	2005-11-28 19:15:27 +00:00
bringert	9fe010ce58	Removed BNFC layout fix from transfer TODO.	2005-11-28 19:12:50 +00:00
bringert	101f43dcd4	Cleaned up closure stuff in the transfer interpreter.	2005-11-28 19:12:15 +00:00
bringert	e74fc3a3b5	Add instructions about compressing patches.	2005-11-26 01:36:32 +00:00
bringert	2f5ee5b6ef	Added evaluateExp and builtin to InterpreterAPI. Check for EOF in interactive transfer interpreter mode.	2005-11-25 18:02:36 +00:00
aarne	fe1fdf3afd	questions and transfer in shell state	2005-11-25 17:40:51 +00:00
bringert	dbe8e61acc	Move transfer into the GF repo.	2005-11-25 16:36:19 +00:00
bringert	fe2731e5f8	Added note about read-write access on Windows.	2005-11-24 16:27:43 +00:00
bringert	bb573d016c	Document ControlMaster problem in Cygwin.	2005-11-24 15:34:49 +00:00
bringert	4e39769f07	Include darcs-cm wrapper.	2005-11-24 13:05:27 +00:00
bringert	853bcef7b9	Include darcs-cm script.	2005-11-24 12:59:28 +00:00
bringert	b71cf25c86	Mention what the ssh -M session looks like.	2005-11-24 10:43:56 +00:00