]> Git — Sourcephile - haskell/symantic.git/log
haskell/symantic.git
7 years agoBump versions.
Julien Moutinho [Fri, 18 Aug 2017 20:21:21 +0000 (22:21 +0200)]
Bump versions.

7 years agoRename grammar rules.
Julien Moutinho [Fri, 18 Aug 2017 20:18:36 +0000 (22:18 +0200)]
Rename grammar rules.

7 years agoAdd TyApp pattern synonyms (:$) and (:@).
Julien Moutinho [Wed, 16 Aug 2017 19:48:05 +0000 (21:48 +0200)]
Add TyApp pattern synonyms (:$) and (:@).

7 years agoRemove need for space after infix operator.
Julien Moutinho [Wed, 16 Aug 2017 19:46:48 +0000 (21:46 +0200)]
Remove need for space after infix operator.

7 years agoAdd term Function.($).
Julien Moutinho [Tue, 15 Aug 2017 19:02:03 +0000 (21:02 +0200)]
Add term Function.($).

7 years agoBump stack resolver to lts-9.0.
Julien Moutinho [Tue, 15 Aug 2017 18:18:52 +0000 (20:18 +0200)]
Bump stack resolver to lts-9.0.

7 years agoFix skipMany -> manySkip renaming.
Julien Moutinho [Tue, 15 Aug 2017 18:17:49 +0000 (20:17 +0200)]
Fix skipMany -> manySkip renaming.

7 years agoMake stack flags customizable in GNUmakefile.
Julien Moutinho [Tue, 15 Aug 2017 18:11:39 +0000 (20:11 +0200)]
Make stack flags customizable in GNUmakefile.

7 years agoBump symantic version.
Julien Moutinho [Mon, 7 Aug 2017 16:33:52 +0000 (18:33 +0200)]
Bump symantic version.

7 years agoAdd tar GNUmakefile target.
Julien Moutinho [Mon, 7 Aug 2017 16:33:09 +0000 (18:33 +0200)]
Add tar GNUmakefile target.

7 years agoFix typo in comments.
Julien Moutinho [Wed, 2 Aug 2017 17:52:49 +0000 (19:52 +0200)]
Fix typo in comments.

7 years agoFix README.md location.
Julien Moutinho [Wed, 2 Aug 2017 17:52:41 +0000 (19:52 +0200)]
Fix README.md location.

7 years agoFix many and some.
Julien Moutinho [Sun, 9 Jul 2017 08:51:53 +0000 (10:51 +0200)]
Fix many and some.

7 years agoAdd newly discovered acknowledgements.
Julien Moutinho [Fri, 7 Jul 2017 02:46:16 +0000 (04:46 +0200)]
Add newly discovered acknowledgements.

7 years agoAdd README.md to extra-doc-files.
Julien Moutinho [Mon, 3 Jul 2017 16:10:09 +0000 (18:10 +0200)]
Add README.md to extra-doc-files.

7 years agoBump versions.
Julien Moutinho [Mon, 3 Jul 2017 15:39:27 +0000 (17:39 +0200)]
Bump versions.

7 years agoDirectly parse types to TypeTLen, not Mod NameTy.
Julien Moutinho [Mon, 3 Jul 2017 08:20:13 +0000 (10:20 +0200)]
Directly parse types to TypeTLen, not Mod NameTy.

7 years agoRemove dependency on ghc-prim.
Julien Moutinho [Sun, 2 Jul 2017 14:26:48 +0000 (16:26 +0200)]
Remove dependency on ghc-prim.

7 years agoBump versions.
Julien Moutinho [Sun, 2 Jul 2017 14:11:44 +0000 (16:11 +0200)]
Bump versions.

7 years agoMove the Cabal description to Markdown.
Julien Moutinho [Sun, 2 Jul 2017 14:10:27 +0000 (16:10 +0200)]
Move the Cabal description to Markdown.

7 years agoIntegrate types to the module system.
Julien Moutinho [Sun, 2 Jul 2017 14:09:38 +0000 (16:09 +0200)]
Integrate types to the module system.

7 years agoRemove unused GHC extensions.
Julien Moutinho [Wed, 28 Jun 2017 07:35:49 +0000 (09:35 +0200)]
Remove unused GHC extensions.

7 years agoRename inj_* -> *Inj.
Julien Moutinho [Tue, 27 Jun 2017 15:25:32 +0000 (17:25 +0200)]
Rename inj_* -> *Inj.

7 years agoRename source -> withSource, and g_*.
Julien Moutinho [Tue, 27 Jun 2017 06:27:09 +0000 (08:27 +0200)]
Rename source -> withSource, and g_*.

7 years agoPolish comments.
Julien Moutinho [Sat, 24 Jun 2017 21:45:42 +0000 (23:45 +0200)]
Polish comments.

7 years agoRemove Proxy in Sym instances.
Julien Moutinho [Sat, 24 Jun 2017 21:16:26 +0000 (23:16 +0200)]
Remove Proxy in Sym instances.

7 years agoPolish for publication.
Julien Moutinho [Fri, 23 Jun 2017 14:09:06 +0000 (16:09 +0200)]
Polish for publication.

7 years agoAdd make target %/fast.
Julien Moutinho [Fri, 23 Jun 2017 14:04:22 +0000 (16:04 +0200)]
Add make target %/fast.

7 years agoAdd display exception for the list type [].
Julien Moutinho [Fri, 23 Jun 2017 13:31:25 +0000 (15:31 +0200)]
Add display exception for the list type [].

7 years agoFix Dim.
Julien Moutinho [Fri, 23 Jun 2017 11:20:54 +0000 (13:20 +0200)]
Fix Dim.

7 years agoUse symantic-document to write docType.
Julien Moutinho [Fri, 23 Jun 2017 00:11:11 +0000 (02:11 +0200)]
Use symantic-document to write docType.

7 years agoAdd replicate.
Julien Moutinho [Thu, 22 Jun 2017 22:12:58 +0000 (00:12 +0200)]
Add replicate.

7 years agoFix handling of Fixity in showType.
Julien Moutinho [Thu, 22 Jun 2017 21:06:42 +0000 (23:06 +0200)]
Fix handling of Fixity in showType.

7 years agoAdd Config_showType.
Julien Moutinho [Thu, 22 Jun 2017 20:40:40 +0000 (22:40 +0200)]
Add Config_showType.

7 years agoUse AllowAmbiguousTypes to avoid Proxy uses.
Julien Moutinho [Thu, 22 Jun 2017 16:13:27 +0000 (18:13 +0200)]
Use AllowAmbiguousTypes to avoid Proxy uses.

7 years agoChange Term to be a GADT, to avoid type applications and allow TypeOf Term.
Julien Moutinho [Thu, 22 Jun 2017 15:48:44 +0000 (17:48 +0200)]
Change Term to be a GADT, to avoid type applications and allow TypeOf Term.

7 years agoFix symantic-lib tests.
Julien Moutinho [Thu, 22 Jun 2017 14:32:25 +0000 (16:32 +0200)]
Fix symantic-lib tests.

7 years agoFix symantic-grammar test.
Julien Moutinho [Thu, 22 Jun 2017 14:28:03 +0000 (16:28 +0200)]
Fix symantic-grammar test.

7 years agoPut symantic-document before symantic and symantic-lib.
Julien Moutinho [Thu, 22 Jun 2017 14:08:45 +0000 (16:08 +0200)]
Put symantic-document before symantic and symantic-lib.

7 years agoRemove debugging entry map_f.
Julien Moutinho [Thu, 22 Jun 2017 14:07:23 +0000 (16:07 +0200)]
Remove debugging entry map_f.

7 years agoFix description.
Julien Moutinho [Wed, 21 Jun 2017 22:01:37 +0000 (00:01 +0200)]
Fix description.

7 years agoBump versions.
Julien Moutinho [Wed, 21 Jun 2017 19:57:43 +0000 (21:57 +0200)]
Bump versions.

7 years agoAdd symantic-document.
Julien Moutinho [Wed, 21 Jun 2017 19:57:00 +0000 (21:57 +0200)]
Add symantic-document.

7 years agoAdd some Eq and Show instances.
Julien Moutinho [Sun, 18 Jun 2017 22:52:03 +0000 (00:52 +0200)]
Add some Eq and Show instances.

7 years agoImprove dynamic insertion of terms (via CtxTy or Modules).
Julien Moutinho [Sun, 18 Jun 2017 20:25:33 +0000 (22:25 +0200)]
Improve dynamic insertion of terms (via CtxTy or Modules).

7 years agoClarification : Megaparsec integration.
Julien Moutinho [Fri, 16 Jun 2017 10:22:03 +0000 (12:22 +0200)]
Clarification : Megaparsec integration.

7 years agoClarification : eqKi -> eqKind.
Julien Moutinho [Thu, 15 Jun 2017 23:59:51 +0000 (01:59 +0200)]
Clarification : eqKi -> eqKind.

7 years agoImprove the module system.
Julien Moutinho [Thu, 15 Jun 2017 23:49:30 +0000 (01:49 +0200)]
Improve the module system.

7 years agoImprove handling of metadata in grammars.
Julien Moutinho [Tue, 13 Jun 2017 14:57:26 +0000 (16:57 +0200)]
Improve handling of metadata in grammars.

7 years agoSupport directories as targets in GNUmakefile.
Julien Moutinho [Sun, 11 Jun 2017 19:06:35 +0000 (21:06 +0200)]
Support directories as targets in GNUmakefile.

7 years agoMassive rewrite to better support rank-1 polymorphic types.
Julien Moutinho [Sun, 11 Jun 2017 19:05:51 +0000 (21:05 +0200)]
Massive rewrite to better support rank-1 polymorphic types.

7 years agoTry the new Type and Term design against the actual needs.
Julien Moutinho [Thu, 11 May 2017 14:34:29 +0000 (16:34 +0200)]
Try the new Type and Term design against the actual needs.

7 years agoImprove Show of Type.
Julien Moutinho [Mon, 1 May 2017 23:02:35 +0000 (01:02 +0200)]
Improve Show of Type.

7 years agoArchive old attempt to remove proto tokens without polymorphic types.
Julien Moutinho [Sun, 30 Apr 2017 21:53:57 +0000 (23:53 +0200)]
Archive old attempt to remove proto tokens without polymorphic types.

7 years agoCleanup dead-end attempts.
Julien Moutinho [Sun, 30 Apr 2017 21:32:35 +0000 (23:32 +0200)]
Cleanup dead-end attempts.

7 years agoComplexify the type system to support rank-1 polymorphic types and terms.
Julien Moutinho [Sun, 30 Apr 2017 20:51:07 +0000 (22:51 +0200)]
Complexify the type system to support rank-1 polymorphic types and terms.

With polymorphic types now expressible,
the proto token workaround should be removable,
since every token should now be able to directly have a Type/Term,
thus no longer needing to be applied to a few others before having it.

As a consequence of merging Type and Term,
the symantic machinery will have to be moved to TeSym,
and thus also carried by Type. WIP.

7 years agoTry to implement polymorphic types.
Julien Moutinho [Sat, 22 Apr 2017 01:28:48 +0000 (03:28 +0200)]
Try to implement polymorphic types.

7 years agoFix prefix/postfix operators wrt. term application.
Julien Moutinho [Wed, 19 Apr 2017 10:08:37 +0000 (12:08 +0200)]
Fix prefix/postfix operators wrt. term application.

7 years agoAdd compileWithTyCtx.
Julien Moutinho [Sat, 8 Apr 2017 17:37:33 +0000 (19:37 +0200)]
Add compileWithTyCtx.

7 years agoAdd support for (>=>).
Julien Moutinho [Sat, 1 Apr 2017 22:34:49 +0000 (00:34 +0200)]
Add support for (>=>).

7 years agoAdd GNUmakefile rule : tag.
Julien Moutinho [Sat, 1 Apr 2017 15:19:47 +0000 (17:19 +0200)]
Add GNUmakefile rule : tag.

7 years agoFix Mono{Foldable,Functor} and {Semi,Is}Sequence constraints.
Julien Moutinho [Sat, 1 Apr 2017 14:49:13 +0000 (16:49 +0200)]
Fix Mono{Foldable,Functor} and {Semi,Is}Sequence constraints.

Cleaner to support the constraints
in the various data types' Proj_TyConC
instead of the constraints'.
For instance, this avoids to require the IO TyConst
when using MonoFunctor.

7 years agoAdd withContext.
Julien Moutinho [Fri, 31 Mar 2017 13:00:40 +0000 (15:00 +0200)]
Add withContext.

7 years agoFix stack clean.
Julien Moutinho [Fri, 24 Mar 2017 00:31:44 +0000 (01:31 +0100)]
Fix stack clean.

7 years agoRename grammar rules, prefixing them with g_.
Julien Moutinho [Fri, 24 Mar 2017 00:15:22 +0000 (01:15 +0100)]
Rename grammar rules, prefixing them with g_.

7 years agoRename Term_Name -> TeName
Julien Moutinho [Thu, 23 Mar 2017 23:36:34 +0000 (00:36 +0100)]
Rename Term_Name -> TeName

7 years agoAdd IsString instances.
Julien Moutinho [Thu, 23 Mar 2017 23:30:31 +0000 (00:30 +0100)]
Add IsString instances.

7 years agoFix time&space explosion of GHC's typechecker.
Julien Moutinho [Tue, 14 Mar 2017 14:48:21 +0000 (15:48 +0100)]
Fix time&space explosion of GHC's typechecker.

7 years agoAdd Lib.{Bounded,Enum,Ratio,Rational,Real,Semigroup}.
Julien Moutinho [Mon, 13 Mar 2017 09:14:51 +0000 (10:14 +0100)]
Add Lib.{Bounded,Enum,Ratio,Rational,Real,Semigroup}.

7 years agoFix comment typo.
Julien Moutinho [Sat, 11 Mar 2017 02:59:27 +0000 (03:59 +0100)]
Fix comment typo.

7 years agoFix lexeme to progress over indented lines.
Julien Moutinho [Fri, 10 Mar 2017 00:27:57 +0000 (01:27 +0100)]
Fix lexeme to progress over indented lines.

7 years agoRenaming Constants -> TyConsts.
Julien Moutinho [Fri, 10 Mar 2017 00:25:50 +0000 (01:25 +0100)]
Renaming Constants -> TyConsts.

7 years agoCosmetic cleanup of GHC flags.
Julien Moutinho [Fri, 10 Mar 2017 00:20:04 +0000 (01:20 +0100)]
Cosmetic cleanup of GHC flags.

7 years agoAdd GNUmakefile.
Julien Moutinho [Wed, 8 Mar 2017 06:21:32 +0000 (07:21 +0100)]
Add GNUmakefile.

7 years agoCosmetic cleanup.
Julien Moutinho [Wed, 8 Mar 2017 06:15:53 +0000 (07:15 +0100)]
Cosmetic cleanup.

7 years agoFix Inj_ConstP -> Inj_TyConstP.
Julien Moutinho [Wed, 8 Mar 2017 04:23:17 +0000 (05:23 +0100)]
Fix Inj_ConstP -> Inj_TyConstP.

7 years agoUse AllowAmbiguousTypes to avoid using Proxy.
Julien Moutinho [Tue, 7 Mar 2017 02:57:26 +0000 (03:57 +0100)]
Use AllowAmbiguousTypes to avoid using Proxy.

7 years agoCosmetic cleanup.
Julien Moutinho [Mon, 6 Mar 2017 22:32:24 +0000 (23:32 +0100)]
Cosmetic cleanup.

7 years agoFix empty and eoi.
Julien Moutinho [Mon, 6 Mar 2017 22:31:37 +0000 (23:31 +0100)]
Fix empty and eoi.

7 years agoBacktrack (try) the grammar only when necessary to get better error messages.
Julien Moutinho [Mon, 6 Mar 2017 22:30:09 +0000 (23:30 +0100)]
Backtrack (try) the grammar only when necessary to get better error messages.

7 years agoGather type declarations and infix declarations.
Julien Moutinho [Sun, 5 Mar 2017 19:12:39 +0000 (20:12 +0100)]
Gather type declarations and infix declarations.

7 years agoReduce compile time of tests with -O0 -fmax-simplifier-iterations=0.
Julien Moutinho [Sun, 5 Mar 2017 02:29:20 +0000 (03:29 +0100)]
Reduce compile time of tests with -O0 -fmax-simplifier-iterations=0.

7 years agoSplit into symantic{,-grammar,-lib}.
Julien Moutinho [Fri, 10 Feb 2017 10:39:14 +0000 (11:39 +0100)]
Split into symantic{,-grammar,-lib}.

7 years agoBump version.
Julien Moutinho [Wed, 8 Feb 2017 19:18:08 +0000 (20:18 +0100)]
Bump version.

7 years agoRenames.
Julien Moutinho [Wed, 8 Feb 2017 19:01:57 +0000 (20:01 +0100)]
Renames.

7 years agoPolish doc.
Julien Moutinho [Wed, 8 Feb 2017 16:05:07 +0000 (17:05 +0100)]
Polish doc.

7 years agoAdd optional.
Julien Moutinho [Wed, 8 Feb 2017 16:04:33 +0000 (17:04 +0100)]
Add optional.

7 years agoAdd stack.yaml.
Julien Moutinho [Mon, 6 Feb 2017 15:16:31 +0000 (16:16 +0100)]
Add stack.yaml.

7 years agoUpdate doc.
Julien Moutinho [Mon, 6 Feb 2017 11:30:50 +0000 (12:30 +0100)]
Update doc.

7 years agoFix Lib.Ord : Ordering.
Julien Moutinho [Sat, 4 Feb 2017 07:10:18 +0000 (08:10 +0100)]
Fix Lib.Ord : Ordering.

7 years agoFix module including.
Julien Moutinho [Sat, 4 Feb 2017 05:29:48 +0000 (06:29 +0100)]
Fix module including.

7 years agoUse more TypeApplications.
Julien Moutinho [Fri, 3 Feb 2017 06:25:40 +0000 (07:25 +0100)]
Use more TypeApplications.

7 years agoRemove Alternative uses in grammars.
Julien Moutinho [Fri, 3 Feb 2017 06:18:28 +0000 (07:18 +0100)]
Remove Alternative uses in grammars.

7 years agoFix Lib.Text.
Julien Moutinho [Fri, 3 Feb 2017 03:34:56 +0000 (04:34 +0100)]
Fix Lib.Text.

7 years agoMove libraries in Lib.
Julien Moutinho [Thu, 2 Feb 2017 03:14:08 +0000 (04:14 +0100)]
Move libraries in Lib.

7 years agoAdd Gram_Term.
Julien Moutinho [Mon, 23 Jan 2017 13:31:20 +0000 (14:31 +0100)]
Add Gram_Term.

7 years agoAdd Parsing.Grammar.
Julien Moutinho [Wed, 11 Jan 2017 01:18:47 +0000 (02:18 +0100)]
Add Parsing.Grammar.

7 years agoFix comment typo.
Julien Moutinho [Fri, 6 Jan 2017 18:48:29 +0000 (19:48 +0100)]
Fix comment typo.

7 years agoAdd Compiling.Alternative.
Julien Moutinho [Thu, 5 Jan 2017 19:49:19 +0000 (20:49 +0100)]
Add Compiling.Alternative.

7 years agoRenaming textI_app* to textI*.
Julien Moutinho [Thu, 5 Jan 2017 19:48:43 +0000 (20:48 +0100)]
Renaming textI_app* to textI*.