Git — Sourcephile - haskell/symantic.git/commit

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

author	Julien Moutinho <julm+symantic@autogeree.net>
	Thu, 22 Jun 2017 15:48:44 +0000 (17:48 +0200)
committer	Julien Moutinho <julm+symantic@autogeree.net>
	Thu, 22 Jun 2017 15:49:51 +0000 (17:49 +0200)
commit	d53c6ea46532e954d3337971320af1e75b500668
tree	802f2ae3286242947649607e9fed40ba1ff589e2	tree \| snapshot
parent	12a9f57812289d1b4cff09623e442fbb21e01b83	commit \| diff

Change Term to be a GADT, to avoid type applications and allow TypeOf Term.

20 files changed:

symantic-lib/Language/Symantic/Lib/Bool.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/Function.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/List.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Map.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Maybe.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/Text.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Tuple2.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Unit.hs		diff \| blob \| history
symantic/Language/Symantic/Compiling/Beta.hs		diff \| blob \| history
symantic/Language/Symantic/Compiling/Read.hs		diff \| blob \| history
symantic/Language/Symantic/Compiling/Term.hs		diff \| blob \| history
symantic/Language/Symantic/Typing/Type.hs		diff \| blob \| history

Library for Typed Tagless-Final Higher-Order Composable DSL