Agda-2.3.2.2: test/fail/Tabs.agda

module Tabs where

-- Tabs are not treated as white space.

tab:	 : Set₁
tab:	 = Set