From e06fcb91abf5ec8403ccf03ba09a6e5ec7d11b8b Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Sun, 18 Jun 2023 21:33:53 +0200 Subject: Add automated tests --- snug-clean/src/Snug/Syntax.dcl | 1 + 1 file changed, 1 insertion(+) (limited to 'snug-clean/src/Snug/Syntax.dcl') diff --git a/snug-clean/src/Snug/Syntax.dcl b/snug-clean/src/Snug/Syntax.dcl index d030df6..865d5f7 100644 --- a/snug-clean/src/Snug/Syntax.dcl +++ b/snug-clean/src/Snug/Syntax.dcl @@ -37,3 +37,4 @@ definition module Snug.Syntax = DataDef !TypeIdent ![TypeVarIdent] ![ConstructorDef] | TypeDef !TypeIdent !Type | FunDef !SymbolIdent ![(SymbolIdent, Type)] !Type !Expression + | TestDef !String !Type !Expression !String -- cgit v1.2.3