haskell/symantic-parser.git
5 days agostick to ParsleyHaskell's optimizations, except on pattern-matching at the Haskell... master
Julien Moutinho [Sat, 16 Jan 2021 15:40:50 +0000 (16:40 +0100)]
stick to ParsleyHaskell's optimizations, except on pattern-matching at the Haskell.Term level

12 days agotest: save
Julien Moutinho [Sat, 9 Jan 2021 10:29:05 +0000 (11:29 +0100)]
test: save

13 days agotest: save
Julien Moutinho [Fri, 8 Jan 2021 13:32:33 +0000 (14:32 +0100)]
test: save

13 days agotest: save
Julien Moutinho [Fri, 8 Jan 2021 12:54:21 +0000 (13:54 +0100)]
test: save

2 weeks agomachine: rename InstrPure{Haskell => }
Julien Moutinho [Wed, 6 Jan 2021 05:18:53 +0000 (06:18 +0100)]
machine: rename InstrPure{Haskell => }

2 weeks agotest: add Nandlang parser
Julien Moutinho [Wed, 6 Jan 2021 05:14:46 +0000 (06:14 +0100)]
test: add Nandlang parser

2 weeks agotest: add string
Julien Moutinho [Wed, 6 Jan 2021 05:13:53 +0000 (06:13 +0100)]
test: add string

2 weeks agogrammar: rename Parser.{Haskell => Grammar.Pure}
Julien Moutinho [Wed, 6 Jan 2021 05:13:19 +0000 (06:13 +0100)]
grammar: rename Parser.{Haskell => Grammar.Pure}

2 weeks agomachine: add horizon optimization
Julien Moutinho [Mon, 4 Jan 2021 01:57:02 +0000 (02:57 +0100)]
machine: add horizon optimization

2 weeks agoadd missing golden tests in cabal tarball symantic-parser-0.0.0.20210102
Julien Moutinho [Sat, 2 Jan 2021 01:46:31 +0000 (02:46 +0100)]
add missing golden tests in cabal tarball

2 weeks agomove doc in *.md files symantic-parser-0.0.0.20210101
Julien Moutinho [Fri, 1 Jan 2021 07:58:16 +0000 (08:58 +0100)]
move doc in *.md files

2 weeks agopolishing before first publising
Julien Moutinho [Fri, 1 Jan 2021 06:31:43 +0000 (07:31 +0100)]
polishing before first publising

2 weeks agorename cabal flag dump-splice{ => s}
Julien Moutinho [Fri, 1 Jan 2021 06:04:24 +0000 (07:04 +0100)]
rename cabal flag dump-splice{ => s}

2 weeks agoimprove make upload
Julien Moutinho [Fri, 1 Jan 2021 05:54:30 +0000 (06:54 +0100)]
improve make upload

2 weeks agoadd more Nix conveniencies
Julien Moutinho [Fri, 1 Jan 2021 05:33:57 +0000 (06:33 +0100)]
add more Nix conveniencies

2 weeks agofix required GHC version
Julien Moutinho [Fri, 1 Jan 2021 04:53:04 +0000 (05:53 +0100)]
fix required GHC version

2 weeks agoadd make clean
Julien Moutinho [Fri, 1 Jan 2021 04:42:40 +0000 (05:42 +0100)]
add make clean

2 weeks agoremove unneeded dependency
Julien Moutinho [Fri, 1 Jan 2021 04:42:25 +0000 (05:42 +0100)]
remove unneeded dependency

2 weeks agoignore result*
Julien Moutinho [Fri, 1 Jan 2021 04:41:51 +0000 (05:41 +0100)]
ignore result*

2 weeks agoignore dump-core/
Julien Moutinho [Fri, 1 Jan 2021 04:15:07 +0000 (05:15 +0100)]
ignore dump-core/

2 weeks agoset cabal category to Parsing (like megaparsec)
Julien Moutinho [Fri, 1 Jan 2021 04:12:45 +0000 (05:12 +0100)]
set cabal category to Parsing (like megaparsec)

2 weeks agofix make tag
Julien Moutinho [Fri, 1 Jan 2021 04:11:57 +0000 (05:11 +0100)]
fix make tag

2 weeks agorename Parser.{Staging => Haskell}
Julien Moutinho [Fri, 1 Jan 2021 04:03:49 +0000 (05:03 +0100)]
rename Parser.{Staging => Haskell}

2 weeks agoclean up Nix code
Julien Moutinho [Fri, 1 Jan 2021 04:03:25 +0000 (05:03 +0100)]
clean up Nix code

2 weeks agocomment-out unstable golden tests
Julien Moutinho [Fri, 1 Jan 2021 02:59:01 +0000 (03:59 +0100)]
comment-out unstable golden tests

2 weeks agoprepare cabal metadata for hackage upload
Julien Moutinho [Fri, 1 Jan 2021 02:43:15 +0000 (03:43 +0100)]
prepare cabal metadata for hackage upload

2 weeks agofix cabal metadata
Julien Moutinho [Fri, 1 Jan 2021 01:55:48 +0000 (02:55 +0100)]
fix cabal metadata

2 weeks agoadd cabal flag 'dump-core'
Julien Moutinho [Fri, 1 Jan 2021 01:53:41 +0000 (02:53 +0100)]
add cabal flag 'dump-core'

2 weeks agorename Machine.{Gen => Generate}
Julien Moutinho [Fri, 1 Jan 2021 01:53:01 +0000 (02:53 +0100)]
rename Machine.{Gen => Generate}

2 weeks agoadd join-points
Julien Moutinho [Wed, 30 Dec 2020 08:11:55 +0000 (09:11 +0100)]
add join-points

2 weeks agomove runParser to Parser
Julien Moutinho [Wed, 30 Dec 2020 02:10:40 +0000 (03:10 +0100)]
move runParser to Parser

2 weeks agorename Machine.{Eval => Gen}
Julien Moutinho [Wed, 30 Dec 2020 02:05:25 +0000 (03:05 +0100)]
rename Machine.{Eval => Gen}

3 weeks agoremove Hints draft
Julien Moutinho [Wed, 30 Dec 2020 01:31:00 +0000 (02:31 +0100)]
remove Hints draft

3 weeks agorename {Automaton => Machine}
Julien Moutinho [Wed, 30 Dec 2020 01:27:47 +0000 (02:27 +0100)]
rename {Automaton => Machine}

3 weeks agoadd missing tests
Julien Moutinho [Wed, 30 Dec 2020 01:27:08 +0000 (02:27 +0100)]
add missing tests

3 weeks agorename {Label => LetName}
Julien Moutinho [Wed, 30 Dec 2020 00:13:33 +0000 (01:13 +0100)]
rename {Label => LetName}

3 weeks agoadd farthest position heuristic for parsing error messages
Julien Moutinho [Sat, 26 Dec 2020 21:45:01 +0000 (22:45 +0100)]
add farthest position heuristic for parsing error messages

7 weeks agoAdd runParser
Julien Moutinho [Tue, 1 Dec 2020 04:02:50 +0000 (05:02 +0100)]
Add runParser

2 months agoadd Automaton inputs and evaluation
Julien Moutinho [Thu, 12 Nov 2020 23:59:15 +0000 (00:59 +0100)]
add Automaton inputs and evaluation

2 months agobump to ghc-9.0.1 to get a levity-polymorphic CodeQ
Julien Moutinho [Thu, 12 Nov 2020 23:57:50 +0000 (00:57 +0100)]
bump to ghc-9.0.1 to get a levity-polymorphic CodeQ

2 months agoFix DumpInstr
Julien Moutinho [Thu, 22 Oct 2020 23:42:37 +0000 (01:42 +0200)]
Fix DumpInstr

3 months agoAdd first golden tests for the Automaton
Julien Moutinho [Wed, 21 Oct 2020 06:12:43 +0000 (08:12 +0200)]
Add first golden tests for the Automaton

3 months agoPolish code and dumps
Julien Moutinho [Wed, 21 Oct 2020 03:08:48 +0000 (05:08 +0200)]
Polish code and dumps

3 months agoAdd missing file
Julien Moutinho [Wed, 21 Oct 2020 02:30:10 +0000 (04:30 +0200)]
Add missing file

3 months agoReformat comments
Julien Moutinho [Tue, 20 Oct 2020 23:13:06 +0000 (01:13 +0200)]
Reformat comments

3 months agoRemove unused extensions
Julien Moutinho [Tue, 20 Oct 2020 20:21:13 +0000 (22:21 +0200)]
Remove unused extensions

3 months agoAdd a precision in a comment
Julien Moutinho [Tue, 20 Oct 2020 20:17:55 +0000 (22:17 +0200)]
Add a precision in a comment

3 months agoRemove dependency upon symantic-base
Julien Moutinho [Tue, 20 Oct 2020 20:13:02 +0000 (22:13 +0200)]
Remove dependency upon symantic-base

3 months agoRemove old stack config
Julien Moutinho [Tue, 20 Oct 2020 20:07:00 +0000 (22:07 +0200)]
Remove old stack config

3 months agoFix infinite loop in observeSharing
Julien Moutinho [Tue, 20 Oct 2020 20:03:12 +0000 (22:03 +0200)]
Fix infinite loop in observeSharing

3 months agoRename many things and continue Instr interpretation
Julien Moutinho [Thu, 15 Oct 2020 00:58:46 +0000 (02:58 +0200)]
Rename many things and continue Instr interpretation

3 months agoTrace and organize grammar optimizing rules
Julien Moutinho [Wed, 14 Oct 2020 20:35:02 +0000 (22:35 +0200)]
Trace and organize grammar optimizing rules

3 months agoAdd more Comb -> Instr translations
Julien Moutinho [Wed, 14 Oct 2020 04:40:11 +0000 (06:40 +0200)]
Add more Comb -> Instr translations

3 months agoDraft transformation: Grammar -> Automaton
Julien Moutinho [Tue, 13 Oct 2020 04:44:41 +0000 (06:44 +0200)]
Draft transformation: Grammar -> Automaton

3 months agoPolish
Julien Moutinho [Mon, 12 Oct 2020 03:16:45 +0000 (05:16 +0200)]
Polish

3 months agoRename Unlift to Output
Julien Moutinho [Mon, 12 Oct 2020 03:13:05 +0000 (05:13 +0200)]
Rename Unlift to Output

3 months agoGeneralize Liftable with Trans
Julien Moutinho [Mon, 12 Oct 2020 02:59:51 +0000 (04:59 +0200)]
Generalize Liftable with Trans

3 months agoExtract Letable into generic module
Julien Moutinho [Mon, 12 Oct 2020 00:08:21 +0000 (02:08 +0200)]
Extract Letable into generic module

3 months agointroducing def and ref
Julien Moutinho [Sun, 11 Oct 2020 03:14:55 +0000 (05:14 +0200)]
introducing def and ref

3 months agowip
Julien Moutinho [Sat, 10 Oct 2020 21:30:24 +0000 (23:30 +0200)]
wip

3 months agoadd GramDump and migrate to HLS
Julien Moutinho [Sat, 10 Oct 2020 01:48:42 +0000 (03:48 +0200)]
add GramDump and migrate to HLS

3 months agoRemove unsafePerformIO to get StableName-s
Julien Moutinho [Thu, 8 Oct 2020 01:10:08 +0000 (03:10 +0200)]
Remove unsafePerformIO to get StableName-s

3 months agoStart to document grammar combinators
Julien Moutinho [Thu, 8 Oct 2020 01:08:42 +0000 (03:08 +0200)]
Start to document grammar combinators

3 months agoadd .envrc and .gitignore
Julien Moutinho [Wed, 7 Oct 2020 13:34:30 +0000 (15:34 +0200)]
add .envrc and .gitignore

3 months agowip
Julien Moutinho [Tue, 6 Oct 2020 22:49:48 +0000 (00:49 +0200)]
wip

3 months agowip
Julien Moutinho [Tue, 29 Sep 2020 20:16:54 +0000 (22:16 +0200)]
wip

4 months agoinit
Julien Moutinho [Thu, 3 Sep 2020 08:10:11 +0000 (10:10 +0200)]
init