22568 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	c92e6cf005	Define an AbstractHole instance for Hole.	2018-05-28 15:19:01 -04:00
Rob Rix	9feb1fe4a5	Define an Addressable instance for Hole.	2018-05-28 15:17:55 -04:00
Rob Rix	f9d7eb4677	Generalize relocate.	2018-05-28 15:16:36 -04:00
Rob Rix	4d2b235fc6	Stub in a datatype for holes.	2018-05-28 15:12:40 -04:00
Rob Rix	b26c9babbc	Move AbstractHole into its own module.	2018-05-28 15:09:49 -04:00
Rob Rix	484b956ce7	Add a module for holes.	2018-05-28 15:09:10 -04:00
Rob Rix	d08802f688	Spacing.	2018-05-28 14:53:20 -04:00
Rob Rix	f0c220906a	Partially apply Eff in the tests.	2018-05-28 14:48:00 -04:00
Rob Rix	cc02cfd8eb	AbstractIntro is pure.	2018-05-28 14:47:42 -04:00
Rob Rix	89b90496b7	Don’t qualify this name.	2018-05-28 14:47:20 -04:00
Rob Rix	b3b47a34df	🔥 Goto.	2018-05-28 14:42:46 -04:00
Rob Rix	4843b03186	Merge pull request #1892 from github/values-as-ordinary-adt ... Values as ordinary ADT	2018-05-28 14:38:37 -04:00
Rob Rix	c3999b6acf	🔥 the Gotos effect in evaluatePackageWith.	2018-05-28 14:12:48 -04:00
Rob Rix	282c02fbbd	Embed the evaluating action into the closure body.	2018-05-28 14:11:08 -04:00
Rob Rix	60ea60f67b	🔥 evaluatingWithHoles.	2018-05-28 13:48:58 -04:00
Rob Rix	02d38ca076	Only import what we need from Text.Show.Pretty.	2018-05-28 13:48:49 -04:00
Rob Rix	0de3bb8ccc	🔥 a redundant effect.	2018-05-28 13:45:24 -04:00
Rob Rix	471a732e78	AbstractIntro methods are all pure.	2018-05-28 12:36:49 -04:00
Rob Rix	bc14bf10b5	Move most of the value introduction forms into a new AbstractIntro typeclass.	2018-05-28 12:22:56 -04:00
Rob Rix	fb3f6fdc76	Rename the ClosureBody constructor.	2018-05-28 11:59:31 -04:00
Rob Rix	99e0bcc9c3	ClosureBody takes the location parameter.	2018-05-28 11:58:55 -04:00
Rob Rix	b0ef2ddd66	Generalize runValueError.	2018-05-28 11:58:12 -04:00
Rob Rix	301f84a7cf	Rename the body parameter across the board.	2018-05-28 11:57:30 -04:00
Rob Rix	88d651da7f	ClosureBody receives the body parameter.	2018-05-28 11:56:17 -04:00
Rob Rix	6f0570c828	Rename the term parameter to body.	2018-05-28 11:55:46 -04:00
Rob Rix	385882faae	Sort this deriving clause too.	2018-05-28 11:54:34 -04:00
Rob Rix	4406c84ba0	Define an Ord instance for SomeBuiltin.	2018-05-28 11:52:58 -04:00
Rob Rix	71c1e50c0b	Define an Eq instance for SomeBuiltin.	2018-05-28 11:52:31 -04:00
Rob Rix	5116d52da7	Define an existential abstraction over Builtin.	2018-05-28 11:52:05 -04:00
Rob Rix	d0e07f76b8	Sort the deriving clause.	2018-05-28 11:51:26 -04:00
Rob Rix	517c9305ec	Use ClosureBody to define Closure.	2018-05-28 11:49:09 -04:00
Rob Rix	916a325d85	Define a ClosureBody datatype.	2018-05-28 11:47:14 -04:00
Rob Rix	e9d9ebe466	Correct some alignment.	2018-05-28 11:23:10 -04:00
Rob Rix	ef9ef17c3b	defineBuiltins wraps the Prim effect.	2018-05-28 11:22:32 -04:00
Rob Rix	20f918e7f7	evaluatePackageBody provides a Primitive effect.	2018-05-28 11:16:51 -04:00
Rob Rix	0d034f5ddc	Builtins are indexed by their argument/return types.	2018-05-28 11:14:01 -04:00
Rob Rix	22e01c9ed3	Define builtin behaviours in runPrimitive.	2018-05-28 10:58:27 -04:00
Rob Rix	54988fa3df	lambda assumes no free variables.	2018-05-28 10:52:29 -04:00
Rob Rix	3fcdae3ac8	📝 prim.	2018-05-28 10:51:24 -04:00
Rob Rix	9d36699682	Primitive requests take parameters.	2018-05-28 10:48:17 -04:00
Rob Rix	116f64eb75	Define a smart constructor for Primitive requests.	2018-05-28 10:44:07 -04:00
Rob Rix	aea17bb2ec	Define a handler for Primitive effects.	2018-05-28 10:43:00 -04:00
Rob Rix	fc5600e23c	Define a Primitive effect.	2018-05-28 10:40:44 -04:00
Rob Rix	cb10c3decf	Derive Bounded & Enum instances for Builtin.	2018-05-28 10:09:30 -04:00
Rob Rix	fd548475cf	Define builtins using Builtin.	2018-05-28 10:09:11 -04:00
Rob Rix	46d871a98a	Define a helper to derive printable names from Builtins.	2018-05-28 10:08:36 -04:00
Rob Rix	d7cc70ec06	Define a datatype naming builtins.	2018-05-28 10:04:53 -04:00
Rob Rix	a01e723b31	Run ValueErrors in TermEvaluator.	2018-05-28 09:55:01 -04:00
Rob Rix	49de5d3357	Generalize runGoto.	2018-05-28 09:51:58 -04:00
Rob Rix	ed8127d23d	Generalize runAllocator.	2018-05-28 09:49:45 -04:00