22734 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	0f3c7df8d1	These are probably integers.	2018-05-28 16:05:03 -04:00
Rob Rix	8dce61ab3f	Whoops.	2018-05-28 16:04:21 -04:00
Rob Rix	bc15f318ad	This had been down one.	2018-05-28 15:56:24 -04:00
Rob Rix	e7d07d54c1	Merge branch 'master' into closures-without-higher-order-effects	2018-05-28 15:53:42 -04:00
Rob Rix	e516836d1c	Move array back up.	2018-05-28 15:53:35 -04:00
Rob Rix	ddc1cc1c77	Restore builtins to their original simplicity.	2018-05-28 15:50:58 -04:00
Rob Rix	fe05553440	🔥 the Primitive machinery & redefine Builtin as plain old data.	2018-05-28 15:49:20 -04:00
Rob Rix	038d3d07eb	Test the return values	2018-05-28 15:44:48 -04:00
Rob Rix	7b02e3e64f	Correct the EnvironmentError application.	2018-05-28 15:30:19 -04:00
Rob Rix	0354dc5330	Resume EnvironmentError at location, not value.	2018-05-28 15:29:24 -04:00
Rob Rix	d0e8b8eae3	Define a helper to convert Holes to Maybes.	2018-05-28 15:27:02 -04:00
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