X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=expr%2Fclass.dcl;fp=expr%2Fclass.dcl;h=0000000000000000000000000000000000000000;hb=4b62b5d397d86147e393c05b3083af74a3a0c4af;hp=a16f518d68422bea4562a88ea8bf5609cbb7c132;hpb=e5305ee9d4290e1aa803a2e62a14f32e5cd29782;p=clean-tests.git diff --git a/expr/class.dcl b/expr/class.dcl deleted file mode 100644 index a16f518..0000000 --- a/expr/class.dcl +++ /dev/null @@ -1,15 +0,0 @@ -definition module class - -class lit m :: Int -> m -class var m :: String -> m -class (+.) infixl 6 m :: m m -> m - -:: Eval -instance lit Eval -instance var Eval -instance +. Eval - -:: Print -instance lit Print -instance var Print -instance +. Print