Git — Sourcephile - haskell/symantic.git/commit

]> Git — Sourcephile - haskell/symantic.git/commit

sourcephile / git / haskell / symantic.git / commit

author	Julien Moutinho <julm+symantic@autogeree.net>
	Sun, 11 Jun 2017 19:05:51 +0000 (21:05 +0200)
committer	Julien Moutinho <julm+symantic@autogeree.net>
	Mon, 12 Jun 2017 17:19:19 +0000 (19:19 +0200)
commit	d80d4b729bdf6dd349888a302a46f93ce1b89e02
tree	30983bb1485ade6e6018ec2b12c066114e1e718c	tree \| snapshot
parent	f2e44adb46c2fa14521f0d9aced72dc24983f219	commit \| diff

Massive rewrite to better support rank-1 polymorphic types.

111 files changed:

.gitignore		diff \| blob \| history
symantic-grammar/Language/Symantic/Grammar.hs		diff \| blob \| history
symantic-grammar/Language/Symantic/Grammar/BinTree.hs	[new file with mode: 0644]	blob
symantic-grammar/Language/Symantic/Grammar/ContextFree.hs		diff \| blob \| history
symantic-grammar/Language/Symantic/Grammar/EBNF.hs		diff \| blob \| history
symantic-grammar/Language/Symantic/Grammar/Error.hs	[new file with mode: 0644]	blob
symantic-grammar/Language/Symantic/Grammar/Fixity.hs	[new file with mode: 0644]	blob
symantic-grammar/Language/Symantic/Grammar/Operators.hs		diff \| blob \| history
symantic-grammar/Language/Symantic/Grammar/Regular.hs		diff \| blob \| history
symantic-grammar/Language/Symantic/Grammar/Source.hs	[new file with mode: 0644]	blob
symantic-grammar/Language/Symantic/Grammar/Terminal.hs		diff \| blob \| history
symantic-grammar/Language/Symantic/Grammar/Test.hs		diff \| blob \| history
symantic-grammar/symantic-grammar.cabal		diff \| blob \| history
symantic-lib/Language/Symantic/Compiling/Term/Test.hs	[deleted file]	blob \| history
symantic-lib/Language/Symantic/Compiling/Test.hs	[new file with mode: 0644]	blob
symantic-lib/Language/Symantic/Grammar/EBNF.hs	[new file with mode: 0644]	blob
symantic-lib/Language/Symantic/Grammar/HLint.hs	[moved from symantic-lib/Language/Symantic/Compiling/Term/HLint.hs with 100% similarity]	blob \| history
symantic-lib/Language/Symantic/Grammar/MegaParsec.hs	[moved from symantic-lib/Language/Symantic/Parsing/Test.hs with 84% similarity]	diff \| blob \| history
symantic-lib/Language/Symantic/Lib.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Alternative.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Applicative.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Applicative/Test.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Bool.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Bool/Test.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Bounded.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Char.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Either.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Enum.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Eq.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Foldable.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Foldable/Test.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Function.hs	[new file with mode: 0644]	blob
symantic-lib/Language/Symantic/Lib/Functor.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Functor/Test.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/IO.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/If.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Int.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Integer.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Integral.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Lambda.hs	[deleted file]	blob \| history
symantic-lib/Language/Symantic/Lib/List.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Map.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Map/HLint.hs	[moved from symantic-lib/Language/Symantic/Helper/Data/HLint.hs with 100% similarity]	blob \| history
symantic-lib/Language/Symantic/Lib/Map/Test.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Maybe.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Monad.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/MonoFoldable.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/MonoFunctor.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/MonoFunctor/Test.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Monoid.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/NonNull.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Num.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Num/Test.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Ord.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Ratio.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Real.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Semigroup.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Sequences.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Show.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Test.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Text.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Traversable.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Tuple2.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Tuple2/Test.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Unit.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Parsing/EBNF.hs	[deleted file]	blob \| history
symantic-lib/Language/Symantic/Parsing/HLint.hs	[deleted symlink]	blob \| history
symantic-lib/Language/Symantic/Transforming/HLint.hs	[moved from symantic-lib/Language/Symantic/Helper/Data/Type/HLint.hs with 100% similarity]	blob \| history
symantic-lib/Language/Symantic/Typing/Test.hs		diff \| blob \| history
symantic-lib/symantic-lib.cabal		diff \| blob \| history
symantic/Language/Symantic.hs		diff \| blob \| history
symantic/Language/Symantic/Compiling.hs		diff \| blob \| history
symantic/Language/Symantic/Compiling/Beta.hs	[new file with mode: 0644]	blob
symantic/Language/Symantic/Compiling/Grammar.hs	[new file with mode: 0644]	blob
symantic/Language/Symantic/Compiling/Read.hs	[new file with mode: 0644]	blob
symantic/Language/Symantic/Compiling/Term.hs		diff \| blob \| history
symantic/Language/Symantic/Compiling/Term/Grammar.hs	[deleted file]	blob \| history
symantic/Language/Symantic/Compiling/Term/HLint.hs	[deleted symlink]	blob \| history
symantic/Language/Symantic/Helper/Data/HLint.hs	[deleted symlink]	blob \| history
symantic/Language/Symantic/Helper/Data/Type/Equality.hs	[deleted file]	blob \| history
symantic/Language/Symantic/Helper/Data/Type/HLint.hs	[deleted symlink]	blob \| history
symantic/Language/Symantic/Helper/HLint.hs	[deleted symlink]	blob \| history
symantic/Language/Symantic/Interpreting.hs		diff \| blob \| history
symantic/Language/Symantic/Interpreting/Dup.hs		diff \| blob \| history
symantic/Language/Symantic/Interpreting/Eval.hs	[new file with mode: 0644]	blob
symantic/Language/Symantic/Interpreting/Host.hs	[deleted file]	blob \| history
symantic/Language/Symantic/Interpreting/Text.hs	[deleted file]	blob \| history
symantic/Language/Symantic/Interpreting/View.hs	[new file with mode: 0644]	blob
symantic/Language/Symantic/Lib.hs	[deleted file]	blob \| history
symantic/Language/Symantic/Parsing.hs	[deleted file]	blob \| history
symantic/Language/Symantic/Parsing/Token.hs		diff \| blob \| history
symantic/Language/Symantic/Transforming.hs		diff \| blob \| history
symantic/Language/Symantic/Transforming/Beta.hs	[new file with mode: 0644]	blob
symantic/Language/Symantic/Transforming/HLint.hs	[moved from symantic-lib/Language/Symantic/Helper/HLint.hs with 100% similarity]	blob \| history
symantic/Language/Symantic/Transforming/Trans.hs		diff \| blob \| history
symantic/Language/Symantic/Typing.hs		diff \| blob \| history
symantic/Language/Symantic/Typing/Constant.hs	[deleted file]	blob \| history
symantic/Language/Symantic/Typing/Constraint.hs	[deleted file]	blob \| history
symantic/Language/Symantic/Typing/Family.hs	[deleted file]	blob \| history
symantic/Language/Symantic/Typing/Grammar.hs		diff \| blob \| history
symantic/Language/Symantic/Typing/Kind.hs		diff \| blob \| history
symantic/Language/Symantic/Typing/List.hs	[moved from symantic/Language/Symantic/Helper/Data/Type/List.hs with 55% similarity]	diff \| blob \| history
symantic/Language/Symantic/Typing/Peano.hs	[moved from symantic/Language/Symantic/Helper/Data/Type/Peano.hs with 72% similarity]	diff \| blob \| history
symantic/Language/Symantic/Typing/Quantification.hs	[deleted file]	blob \| history
symantic/Language/Symantic/Typing/Read.hs		diff \| blob \| history
symantic/Language/Symantic/Typing/Show.hs		diff \| blob \| history
symantic/Language/Symantic/Typing/Term.hs	[deleted file]	blob \| history
symantic/Language/Symantic/Typing/Type.hs		diff \| blob \| history
symantic/Language/Symantic/Typing/Unify.hs	[new file with mode: 0644]	blob
symantic/Language/Symantic/Typing/Variable.hs	[new file with mode: 0644]	blob
symantic/symantic.cabal		diff \| blob \| history

Library for Typed Tagless-Final Higher-Order Composable DSL

RSS Atom