From 9621cb1e0cdc000c04b4c4c9ad8e10c8666045df Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Tue, 12 May 2020 06:10:52 +0200
Subject: [PATCH] Add to-do note

---
 src/input/specification.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/input/specification.rs b/src/input/specification.rs
index 7fbdcbc..3f4c4ce 100644
--- a/src/input/specification.rs
+++ b/src/input/specification.rs
@@ -270,6 +270,7 @@ fn input_statement_body<'i>(mut input: &'i str, problem: &crate::Problem)
 		// Parse input constant specifiers
 		else
 		{
+			// TODO: detect conflicting domain specifiers (for example: n -> program, n -> integer)
 			let (domain, remaining_input) = match domain_specifier(input)?
 			{
 				(Some(domain), remaining_input) => (domain, remaining_input),