Commit 023b27000887911013f570d45ab1a0133b50b88c - Fountain

A little bit more polymorphic. Chris Pressey 1 year, 4 months ago

2 changed file(s) with 2 addition(s) and 4 deletion(s). Raw diff Collapse all Expand all

-3

src/Language/Fountain/Constraint.hs less more

0	0	module Language.Fountain.Constraint where
1
2		import Language.Fountain.Value
3	1
4	2
5	3	data Variable = Var String

7	5
8	6	-- A "c-expr" is a simple expression appearing inside a constraint.
9	7	data CExpr a = CVar Variable
10		\| CVal Value
	8	\| CVal a
11	9	deriving (Show, Ord, Eq)
12	10
13	11	data Constraint a = UnifyConst Variable a

-1

src/Language/Fountain/Store.hs less more

48	48	in
49	49	updateStore sourceKeys destKeys sourceStore destStore'
50	50
51		ceval :: CExpr Value -> Store Value -> Maybe Value
	51	ceval :: CExpr a -> Store a -> Maybe a
52	52	ceval (CVal val) _ = Just val
53	53	ceval (CVar v) st = fetch v st
54	54