Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Initial LSP Server (Linting, Parsing, Typecheck) #8

Closed
wants to merge 18 commits into from
Closed

Initial LSP Server (Linting, Parsing, Typecheck) #8

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
2d21d6b
wip new parser structures
jmcardon Mar 1, 2023
8342436
desugar compiling
jmcardon Mar 2, 2023
bc76a1a
bindings, objects
jmcardon Mar 8, 2023
6e0812f
fix type parsing
jmcardon Mar 10, 2023
06c67d4
Mostly fix parser
jmcardon Mar 11, 2023
91c30e9
fix parser and tests
rsoeldner Mar 16, 2023
c81f37f
fix desugar to emit errors
jmcardon Mar 17, 2023
cf0991b
remove TokenTy*
rsoeldner Mar 17, 2023
ed78b02
use span information
rsoeldner Mar 20, 2023
854422d
fix combineSpan
rsoeldner Mar 20, 2023
b6a4266
wip
rsoeldner Mar 20, 2023
e37963d
Address review comments, fix `object` pretty instance
rsoeldner Mar 22, 2023
cbbe1c9
Merge pull request #7 from kadena-io/rsoeldner/fix-parser
jmcardon Mar 23, 2023
a976836
wip
rsoeldner Mar 27, 2023
6bbc873
add lexer and parser diagnostic
rsoeldner Mar 27, 2023
f34cff5
wip compile pipe
rsoeldner Mar 28, 2023
c673200
wip
rsoeldner Mar 29, 2023
ad2f34c
add completion context
rsoeldner Mar 31, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
wip new parser structures
  • Loading branch information
@jmcardon
jmcardon committed Mar 1, 2023
commit 2d21d6b0e4e0d55f8adc217d3fc75ceaca4bb70d
3 changes: 0 additions & 3 deletions pact-core.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -94,9 +94,6 @@ library
Pact.Core.PactValue
Pact.Core.Debug

-- Common syntax
Pact.Core.Syntax.Common

-- Syntax modules
Pact.Core.Syntax.Lisp.ParseTree
Pact.Core.Syntax.Lisp.Lexer
Expand Down
186 changes: 0 additions & 186 deletions pact-core/Pact/Core/Syntax/Common.hs
View file
Open in desktop

This file was deleted.

16 changes: 8 additions & 8 deletions pact-core/Pact/Core/Syntax/Lisp/LexUtils.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -25,18 +25,17 @@ import qualified Data.Text as T
import Pact.Core.Info
import Pact.Core.Errors
import Pact.Core.Pretty (Pretty(..))
import Pact.Core.Syntax.Common
import Pact.Core.Syntax.Lisp.ParseTree

type ParserT = Either PactErrorI
type ParsedExpr = Expr LineInfo
type ParsedDefun = Defun ParsedExpr LineInfo
type ParsedDef = Def ParsedExpr LineInfo
type ParsedDefConst = DefConst ParsedExpr LineInfo
type ParsedModule = Module ParsedExpr LineInfo
type ParsedTopLevel = TopLevel ParsedExpr LineInfo
type ParsedIfDef = IfDef ParsedExpr LineInfo
type ParsedInterface = Interface ParsedExpr LineInfo
type ParsedDefun = Defun LineInfo
type ParsedDef = Def LineInfo
type ParsedDefConst = DefConst LineInfo
type ParsedModule = Module LineInfo
type ParsedTopLevel = TopLevel LineInfo
type ParsedIfDef = IfDef LineInfo
type ParsedInterface = Interface LineInfo
type ParsedReplTopLevel = ReplTopLevel LineInfo

data PosToken =
Expand All @@ -57,6 +56,7 @@ data Token
| TokenCapGov
| TokenInterface
| TokenImport
-- Def keyowrds
| TokenDefun
| TokenDefConst
| TokenDefCap
Expand Down
Loading