Commit 090b00d6 authored by John van Groningen's avatar John van Groningen Committed by Camil Staps

use newtypes for OBJECT and FIELD

parent ad561156
......@@ -10,10 +10,10 @@ bimapId :: Bimap .a .a
:: PAIR a b = PAIR a b
// for constructor information
:: OBJECT a = OBJECT a // object marking
:: OBJECT a =: OBJECT a // object marking
:: CONS a = CONS a // constructor marking
:: RECORD a = RECORD a // record marking
:: FIELD a = FIELD a // record field marking
:: FIELD a =: FIELD a // record field marking
:: GenericTypeDefDescriptor =
{ gtd_name :: String
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment