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 |
|
Rob Rix
|
b888ff3d9e
|
Generalize runReturn & runLoopControl.
|
2018-05-28 09:45:40 -04:00 |
|
Rob Rix
|
015b74cf41
|
Give Value a term type parameter once more.
|
2018-05-28 09:35:42 -04:00 |
|
Rob Rix
|
a2135fda74
|
Don’t use overloaded lists.
|
2018-05-28 09:35:03 -04:00 |
|