From 4ba55277a99542d245568da989b5217b04262f26 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 1 Feb 2023 21:22:23 +0100
Subject: Remove ambiguity from function definition syntax: Type (x y) could
 have Type as kind *->*, or (x y) could be the rhs

---
 snug-clean/src/Snug/Parse.icl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'snug-clean')

diff --git a/snug-clean/src/Snug/Parse.icl b/snug-clean/src/Snug/Parse.icl
index 64331c5..9d58f23 100644
--- a/snug-clean/src/Snug/Parse.icl
+++ b/snug-clean/src/Snug/Parse.icl
@@ -42,7 +42,7 @@ where
 			(pToken (TIdent "fun") *> symbolIdent)
 			(simpleList (parenthesized typedArgument))
 			(pToken TColon *> type)
-			simpleOrParenthesizedExpression
+			(pToken TColon *> expression)
 
 	simpleConstructorDef = liftM2 ConstructorDef constructorIdent (pure [])
 	constructorDef = liftM2 ConstructorDef constructorIdent (many simpleOrParenthesizedType)
-- 
cgit v1.2.3