Everything-I-Know-About-Types/bergamot-elm
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Also parse whole programs

Browse Source 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
This commit is contained in:
Danila Fedorin 2023-11-26 11:42:46 -08:00
parent 295c93e38a
commit 95c30b6891
1 changed files with 14 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/Bergamot/Parser.elm
View File

@ -1,7 +1,7 @@
module Bergamot.Parser exposing (..) module Bergamot.Parser exposing (..)
import Bergamot.Syntax exposing (Term(..), Metavariable) import Bergamot.Syntax exposing (Term(..), Metavariable)
import Bergamot.Rules exposing (Rule) import Bergamot.Rules exposing (Rule, RuleEnv)
import Parser exposing (Parser, Trailing(..), (|.), (|=)) import Parser exposing (Parser, Trailing(..), (|.), (|=))
import Set import Set
@ -57,3 +57,16 @@ rule =
, item = term , item = term
, trailing = Forbidden , trailing = Forbidden
} }
program : Parser RuleEnv
program =
Parser.succeed (\rs -> { rules = rs })
|= Parser.sequence
{ start = ""
, separator = ";"
, end = ""
, spaces = Parser.spaces
, item = rule
, trailing = Mandatory
}
|. Parser.end