diff options
| author | Josh Rahm <joshuarahm@gmail.com> | 2024-08-21 17:18:35 -0600 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2024-08-21 17:18:35 -0600 |
| commit | 21f879cf2ac5f51f827fe76c55915e56edc113b8 (patch) | |
| tree | 78adb4cb69fec285cbb2fd82191596c97e3f18c9 /src/Language/Fiddle/Parser.hs | |
| parent | d6fae8c7de4bc952ba88f0c86cad9e8141eaf3df (diff) | |
| download | fiddle-21f879cf2ac5f51f827fe76c55915e56edc113b8.tar.gz fiddle-21f879cf2ac5f51f827fe76c55915e56edc113b8.tar.bz2 fiddle-21f879cf2ac5f51f827fe76c55915e56edc113b8.zip | |
Fleshed out stage2 and made some big changes.
Delegated behavior of Compile monad to monad transformers MaybeT and
RWS.
Diffstat (limited to 'src/Language/Fiddle/Parser.hs')
| -rw-r--r-- | src/Language/Fiddle/Parser.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Language/Fiddle/Parser.hs b/src/Language/Fiddle/Parser.hs index c9c3c86..dc479d1 100644 --- a/src/Language/Fiddle/Parser.hs +++ b/src/Language/Fiddle/Parser.hs @@ -7,6 +7,7 @@ module Language.Fiddle.Parser ) where +import Data.Kind (Type) import Data.Functor.Identity import Data.Text (Text) import qualified Data.Text @@ -26,7 +27,7 @@ type P = ParsecT S () Identity type A = Commented SourceSpan -type Pa (a :: Stage -> (* -> *) -> * -> *) = P (a 'Stage1 F (Commented SourceSpan)) +type Pa (a :: Stage -> (Type -> Type) -> Type -> Type) = P (a 'Stage1 F (Commented SourceSpan)) comment :: P Comment comment = |