manuth/zhaw-fup
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Add support for printing constants

Browse source
This commit is contained in:
Manuel Thalmann 2024-06-17 00:26:34 +02:00
parent bfb920ca74
commit 08ed943d56
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Exercises/exercise-7/Lambda.hs
View file

@ -1,3 +1,4 @@
import Data.Set (Set)
-------------------- --------------------
-- Slides -- Slides
-------------------- --------------------
@ -14,6 +15,7 @@ pretty x = case x of
(Inv func param) -> "(" ++ pretty func ++ " " ++ pretty param ++ ")" (Inv func param) -> "(" ++ pretty func ++ " " ++ pretty param ++ ")"
(Var name) -> name (Var name) -> name
Add -> "Add" Add -> "Add"
Nat value -> show value
-- example -- example
-- >>> pretty (Abs "x" $ Abs "y" $ Inv (Inv Add (Var "x")) (Var "y")) -- >>> pretty (Abs "x" $ Abs "y" $ Inv (Inv Add (Var "x")) (Var "y"))