Skip to content

Commit 0fa3a7a

Browse files
committed
Add toRecovered util for unifying parse results
1 parent 4a04fe1 commit 0fa3a7a

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

src/PureScript/CST.purs

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,9 +9,11 @@ module PureScript.CST
99
, parseType
1010
, parseBinder
1111
, printModule
12+
, toRecovered
1213
) where
1314

1415
import Prelude
16+
import Prim hiding (Type)
1517

1618
import Data.Array.NonEmpty (NonEmptyArray)
1719
import Data.Array.NonEmpty as NonEmptyArray
@@ -21,7 +23,6 @@ import Data.Lazy as Z
2123
import Data.Maybe (Maybe(..))
2224
import Data.Newtype (unwrap)
2325
import Data.Tuple (Tuple(..))
24-
import Prim hiding (Type)
2526
import PureScript.CST.Lexer (lex)
2627
import PureScript.CST.Parser (Recovered, parseModuleBody, parseModuleHeader)
2728
import PureScript.CST.Parser as Parser
@@ -50,6 +51,9 @@ toRecoveredParserResult = case _ of
5051
Left err ->
5152
ParseFailed err
5253

54+
toRecovered :: forall f. f Void -> Recovered f
55+
toRecovered = unsafeCoerce
56+
5357
runRecoveredParser :: forall a. Parser (Recovered a) -> String -> RecoveredParserResult a
5458
runRecoveredParser p = toRecoveredParserResult <<< flip runParser p <<< lex
5559

0 commit comments

Comments
 (0)