Reordered extensions
commit0380bb9978f37f53bfa370b8691823aeb1cb23ad
authoriko <ilyakooo0@gmail.com>
dateWed 18 Mar 2020, 21:26 (7 years ago)
parent3fdadd5
src/Idris/Parser/Stack.hs+1−1
@@ -5,7 +5,7 @@ Description : Idris parser stack and its primitives.
55License : BSD3
66Maintainer : The Idris Community.
77-}
8−{-# LANGUAGE ConstraintKinds, FlexibleContexts, MultiParamTypeClasses, CPP #-}
8+{-# LANGUAGE CPP, ConstraintKinds, FlexibleContexts, MultiParamTypeClasses #-}
99module Idris.Parser.Stack
1010 ( -- * Parsing
1111 Parser(..)