-

[clean-tests.git] / afp / a12 / cashModel.dcl

diff --git a/afp/a12/cashModel.dcl b/afp/a12/cashModel.dcl
deleted file mode 100644 (file)
index 9811e6a..0000000
--- a/afp/a12/cashModel.dcl
+++ /dev/null
@@ -1,26 +0,0 @@
-definition module cashModel
-/*
-       Pieter Koopman, Radboud University, 2017 -2018
-       pieter@cs.ru.nl
-       Advanced programming
-       
-       A simple state model for an automated cash register
-*/
-
-import StdEnv, Data.GenEq
-
-:: Euro = {euro :: Int, cent :: Int}
-:: Product = Pizza | Beer | Cola
-:: Action = Add Product | Rem Product | Pay
-
-class euro a :: a -> Euro
-instance euro Product, Euro
-instance euro Int, (Int, Int), [e] | euro e
-instance + Euro
-instance - Euro
-instance zero Euro
-derive gEq Euro
-instance ~ Euro
-instance == Euro, Product
-
-model :: [Product] Action -> ([Product],[Euro])